WorkspaceMapping interface
Mapování pracovního prostoru
Vlastnosti
| definition |
Identifikátor URI přidružené definice |
| depth | Hloubka tohoto mapování |
| local |
Lokální umístění definice |
| mapping |
Typ mapování pracovní plochy |
| server |
Umístění definice na serveru |
| workspace |
ID pracovního prostoru |
Podrobnosti vlastnosti
definitionUri
Identifikátor URI přidružené definice
definitionUri: string
Hodnota vlastnosti
string
depth
Hloubka tohoto mapování
depth: number
Hodnota vlastnosti
number
localItem
Lokální umístění definice
localItem: string
Hodnota vlastnosti
string
mappingType
Typ mapování pracovní plochy
mappingType: WorkspaceMappingType
Hodnota vlastnosti
serverItem
Umístění definice na serveru
serverItem: string
Hodnota vlastnosti
string
workspaceId
ID pracovního prostoru
workspaceId: number
Hodnota vlastnosti
number