Свойство | Type | Description | |
---|---|---|---|
ServerWorkspaceID | System.Guid | ||
ServerWorkspacePath | string |
Méthode | Description | |
---|---|---|
Delete ( IWorkspace workspace ) : void |
Deletes the specified workspace from storage.
|
|
Get ( System.Guid workspaceID, bool force = false, bool loadResources = true ) : IWorkspace |
Gets the IWorkspace with the specified ID from storage if it does not exist in the repository.
|
|
GetLatest ( IWorkspace workspace, IList |
Overwrites this workspace with the server versions except for those provided.
|
|
GetWorkspaceGuids ( ) : ICollection |
||
GetWorkspaceID ( System.Security.Principal.WindowsIdentity identity ) : System.Guid | ||
RefreshWorkspaces ( ) : void |
Refreshes all workspaces from storage.
|
|
Save ( IWorkspace workspace ) : void |
Saves the specified workspace to storage.
|
|
WorkspaceRepository ( ) : System | ||
WorkspaceRepository ( IResourceCatalog resourceCatalog ) : System |
Méthode | Description | |
---|---|---|
Delete ( System.Guid workspaceID ) : void | ||
GetFileName ( System.Guid workspaceID ) : string | ||
GetUserMapFileName ( ) : string | ||
Read ( System.Guid workdspaceID ) : IWorkspace | ||
ReadUserMap ( ) : Guid>.ConcurrentDictionary |
||
Write ( IWorkspace workspace ) : void | ||
WriteUserMap ( Guid>.ConcurrentDictionary |
public Delete ( IWorkspace workspace ) : void | ||
workspace | IWorkspace | The workspace to be deleted. |
Résultat | void |
public Get ( System.Guid workspaceID, bool force = false, bool loadResources = true ) : IWorkspace | ||
workspaceID | System.Guid | The workdspace ID to be queried. |
force | bool | true if the workspace should be re-read even it is found; false otherwise. |
loadResources | bool | true if resources should be loaded; false otherwise. |
Résultat | IWorkspace |
public GetLatest ( IWorkspace workspace, IList |
||
workspace | IWorkspace | The workspace to be queried. |
servicesToIgnore | IList |
The services being to be ignored. |
Résultat | void |
public GetWorkspaceID ( System.Security.Principal.WindowsIdentity identity ) : System.Guid | ||
identity | System.Security.Principal.WindowsIdentity | |
Résultat | System.Guid |
public Save ( IWorkspace workspace ) : void | ||
workspace | IWorkspace | The workspace to be saved. |
Résultat | void |
public WorkspaceRepository ( IResourceCatalog resourceCatalog ) : System | ||
resourceCatalog | IResourceCatalog | |
Résultat | System |
public static Guid,System ServerWorkspaceID | ||
Résultat | System.Guid |