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.