| 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)