Package ca.phon.query.history
Class QueryHistoryManager
java.lang.Object
ca.phon.script.params.history.ParamHistoryManager
ca.phon.query.history.QueryHistoryManager
Responsible for loading and saving query history files. Also includes
utility methods for some useful query history functions like adding
to the history.
-
Nested Class Summary
Nested classes/interfaces inherited from class ca.phon.script.params.history.ParamHistoryManager
ParamHistoryManager.EventType, ParamHistoryManager.ParamHistoryEvent, ParamHistoryManager.ParamHistoryListener
-
Field Summary
-
Constructor Summary
ConstructorDescriptionQueryHistoryManager
(ParamHistoryType paramHistory) QueryHistoryManager
(File paramHistoryFile) QueryHistoryManager
(InputStream inputStream) -
Method Summary
Modifier and TypeMethodDescriptionstatic void
static QueryHistoryManager
getCachedInstance
(QueryScript script) Return the cached query history for the given script.static QueryHistoryManager
newInstance
(QueryScript script) static QueryHistoryManager
newInstance
(String scriptName) static File
queryHistoryFile
(QueryScript script) static File
queryHistoryFile
(String name) static void
save
(QueryHistoryManager manager, QueryScript script) Methods inherited from class ca.phon.script.params.history.ParamHistoryManager
addParamHistoryListener, addParamSet, addParamSet, addParamSet, fireParamHistoryEvent, fireParamSetAdded, fireParamSetRemoved, fireParamSetRenamed, fixHashes, getNamedParamSets, getParamHistory, getParamSet, getParamSet, getParamSet, getParamSetByName, getScriptParameters, getUnnamedParamSets, indexOf, indexOfName, loadParamHistoryFromFile, loadParamHistoryFromStream, nameParamSet, nameParamSet, nameParamSet, removeAll, removeAllUnnamedParamSets, removeParamHistoryListener, removeParamSet, removeParamSet, save, saveParamHistory, saveParamHistory, size
-
Field Details
-
QUERY_HISTORY_FOLDER
-
DEFAULT_HISTORY_FOLDER
-
-
Constructor Details
-
QueryHistoryManager
- Throws:
IOException
-
QueryHistoryManager
- Throws:
IOException
-
QueryHistoryManager
-
-
Method Details
-
getCachedInstance
Return the cached query history for the given script. If no history is found in the cache the history is loaded (or created) and stored.- Parameters:
script
-- Returns:
-
clearHistoryCache
public static void clearHistoryCache() -
newInstance
- Throws:
IOException
-
queryHistoryFile
-
queryHistoryFile
-
save
- Throws:
IOException
-
newInstance
- Throws:
IOException
-