Modifier and Type | Field and Description |
---|---|
private String |
_baseURI |
private Configuration |
_configuration |
private File |
_location |
private String |
_name |
private Set<String> |
_tags |
private String |
_theme |
private String |
_themeLocation |
private String |
_themeURL |
Constructor and Description |
---|
Workspace(String name,
File location) |
Workspace(String name,
String baseURI) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
configure(Configuration configuration) |
(package private) Configuration |
getConfiguration() |
String |
getEmbededLocation()
Get the workspace base uri if embeded
|
File |
getExternalLocation()
GetThe workspace location if external
|
String |
getName()
Returns this workspace's name.
|
Set<String> |
getTags()
Get the tags of the workspace
|
String |
getThemeLocation()
Get the location of the theme associated to this workspace
|
String |
getThemeName()
Get the name of the theme associated to this workspace
|
String |
getThemeURL()
Get the location of the theme associated to this workspace
|
private Configuration _configuration
private String _themeLocation
public String getEmbededLocation()
public File getExternalLocation()
public String getThemeName()
public String getThemeLocation()
public String getThemeURL()
public Set<String> getTags()
Configuration getConfiguration()
void configure(Configuration configuration)