/** * Obtain all of the workspace names specified by this repository, including the {@link #getPredefinedWorkspaceNames() * predefined workspaces} and the {@link #getDefaultWorkspaceName() default workspace}. The result does <i>not</i> contain the * names of any dynamically-created workspaces (e.g., those not specified in the configuration). * * @return the set of all workspace names defined by the configuration; never null */ public Set<String> getAllWorkspaceNames() { Set<String> names = getPredefinedWorkspaceNames(); names.add(getDefaultWorkspaceName()); return names; }
/** * Obtain all of the workspace names specified by this repository, including the {@link #getPredefinedWorkspaceNames() * predefined workspaces} and the {@link #getDefaultWorkspaceName() default workspace}. The result does <i>not</i> contain the * names of any dynamically-created workspaces (e.g., those not specified in the configuration). * * @return the set of all workspace names defined by the configuration; never null */ public Set<String> getAllWorkspaceNames() { Set<String> names = getPredefinedWorkspaceNames(); names.add(getDefaultWorkspaceName()); return names; }
final WritableSessionCache removeSession ) { if (workspaceNames.contains(name)) { if (configuration.getPredefinedWorkspaceNames().contains(name)) { throw new UnsupportedOperationException(JcrI18n.unableToDestroyPredefinedWorkspaceInRepository.text(name, getName()));
final WritableSessionCache removeSession ) { if (workspaceNames.contains(name)) { if (configuration.getPredefinedWorkspaceNames().contains(name)) { throw new UnsupportedOperationException(JcrI18n.unableToDestroyPredefinedWorkspaceInRepository.text(name, getName()));
for (String workspaceName : config.getPredefinedWorkspaceNames()) { this.cache.createWorkspace(workspaceName);
for (String workspaceName : config.getPredefinedWorkspaceNames()) { this.cache.createWorkspace(workspaceName);