WorkspaceMapping interface
Zuordnung für einen Arbeitsbereich
Eigenschaften
| definition |
URI der zugeordneten Definition |
| depth | Tiefe dieser Zuordnung |
| local |
lokaler Speicherort der Definition |
| mapping |
Typ der Arbeitsbereichszuordnung |
| server |
Serverspeicherort der Definition |
| workspace |
ID des Arbeitsbereichs |
Details zur Eigenschaft
definitionUri
URI der zugeordneten Definition
definitionUri: string
Eigenschaftswert
string
depth
Tiefe dieser Zuordnung
depth: number
Eigenschaftswert
number
localItem
lokaler Speicherort der Definition
localItem: string
Eigenschaftswert
string
mappingType
Typ der Arbeitsbereichszuordnung
mappingType: WorkspaceMappingType
Eigenschaftswert
serverItem
Serverspeicherort der Definition
serverItem: string
Eigenschaftswert
string
workspaceId
ID des Arbeitsbereichs
workspaceId: number
Eigenschaftswert
number