public static void InitWorkspace(List <string> typeDirectories, string workspaceDirectory, string cacheDirectory)
{
if (typeDirectories == null)
{
throw new ArgumentNullException("typeDirectories");
}
if (typeDirectories.Count == 0)
{
throw new ArgumentException("List of type directories cannot be empty", "typeDirectories");
}
if (cacheDirectory == null)
{
throw new ArgumentNullException("cacheDirectory");
}
if (cacheDirectory.Length == 0)
{
throw new ArgumentException("m_workspace cache directory must be a valid directory", "cacheDirectory");
}
if (s_workspaceInstance != null)
{
s_workspaceInstance.Dispose();
}
StreamManager manager = StreamManager.CreateNewManager();
s_workspaceInstance = InitWorkspaceInternal(typeDirectories, workspaceDirectory, cacheDirectory, manager);
}
