|
Humboldt Alignment Editor 2.5.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface WorkspaceService
Service for acquiring workspace folders that can be used to store files related to a certain process, e.g. a transformation.
Method Summary | |
---|---|
void |
deleteWorkspace(String id)
Delete the workspace with the given identifier. |
org.joda.time.DateTime |
getLeaseEnd(String workspaceId)
Get the lease end date and time of the workspace with the given identifier. |
Map<String,String> |
getSettings(String workspaceId)
Get the workspace settings. |
File |
getWorkspaceFolder(String id)
Get the workspace folder for the given workspace identifier. |
String |
leaseWorkspace(org.joda.time.ReadableDuration duration)
Lease a workspace folder for the given duration. |
void |
set(String workspaceId,
String setting,
String value)
Change a workspace setting. |
Method Detail |
---|
String leaseWorkspace(org.joda.time.ReadableDuration duration)
duration
- the lease duration
File getWorkspaceFolder(String id) throws FileNotFoundException
id
- the workspace identifier
FileNotFoundException
- if the workspace does not existorg.joda.time.DateTime getLeaseEnd(String workspaceId) throws FileNotFoundException, IOException
workspaceId
- the workspace identifier
FileNotFoundException
- if the workspace does not exist
IOException
- if the workspace configuration file cannot be readMap<String,String> getSettings(String workspaceId) throws FileNotFoundException, IOException
workspaceId
- the workspace identifier
FileNotFoundException
- if the workspace does not exist
IOException
- if the workspace configuration file cannot be readset(String, String, String)
void set(String workspaceId, String setting, String value) throws FileNotFoundException, IOException
workspaceId
- the workspace identifiersetting
- the name of the settingvalue
- the value, null
to remove the setting
FileNotFoundException
- if the workspace does not exist
IOException
- if the workspace configuration file cannot be read or
writtengetSettings(String)
void deleteWorkspace(String id)
id
- the workspace identifier
|
Humboldt Alignment Editor 2.5.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |