WorkspaceMapping interface
工作区的映射
属性
| definition |
关联的定义的 URI |
| depth | 此映射的深度 |
| local |
定义的本地位置 |
| mapping |
工作区映射的类型 |
| server |
定义的服务器位置 |
| workspace |
工作区的 ID |
属性详细信息
definitionUri
关联的定义的 URI
definitionUri: string属性值
string
depth
此映射的深度
depth: number属性值
number
localItem
定义的本地位置
localItem: string属性值
string
mappingType
serverItem
定义的服务器位置
serverItem: string属性值
string
workspaceId
工作区的 ID
workspaceId: number属性值
number