public class StateStorage extends Object
| Modifier and Type | Method and Description |
|---|---|
static StateStorage |
getInstance()
Gets the single instance.
|
ToolState |
retrieveData(ProjectState ps,
String toolId,
File file)
Retrieves data for a file.
|
void |
storeData(ProjectState ps,
String toolId,
File file,
ToolState state)
Stores data for a file.
|
public static StateStorage getInstance()
public ToolState retrieveData(ProjectState ps, String toolId, File file)
toolId - the identifier used to store the data.ps - project state that applies to the retrieval.file - file to which the state applies.public void storeData(ProjectState ps, String toolId, File file, ToolState state)
toolId - an identifier used for retrieving the data.ps - project state under which the tool state was determined.file - file to which the state applies.state - the new state or null to clear the data.