Class DataStore
java.lang.Object
de.uni_mannheim.informatik.dws.melt.matching_base.DataStore
public class DataStore extends Object
Store accessible to all matchers where variables and results can be persisted in.
Available as local store and as global store.
-
Field Summary
-
Constructor Summary
Constructors Constructor Description DataStore()
Constructor -
Method Summary
Modifier and Type Method Description void
clear()
Delete store.boolean
containsKey(String key)
Check if key exists in store.<T> T
get(String key)
Object
get(String key, Class clazz)
Get an object from the data store using a key.static DataStore
getGlobal()
Get global data store instance.void
put(String key, Object value)
Put an object to the data store.
-
Field Details
-
instance
Singleton instance -
centralStore
Central Store Object
-
-
Constructor Details
-
DataStore
public DataStore()Constructor
-
-
Method Details
-
getGlobal
Get global data store instance.- Returns:
- Instance of the global data store.
-
put
Put an object to the data store.- Parameters:
key
- Keyvalue
- Value
-
get
Get an object from the data store using a key.- Parameters:
key
- Key used to retrieve object.clazz
- The class.- Returns:
- Value stored for key.
-
get
-
containsKey
Check if key exists in store.- Parameters:
key
- Key that shall be looked up.- Returns:
- true if key contained, else false.
-
clear
public void clear()Delete store.
-