public class Configuration extends java.util.HashMap<java.lang.String,ConfigurationSetting>
| Constructor and Description |
|---|
Configuration() |
| Modifier and Type | Method and Description |
|---|---|
void |
convertFromOpenNet(org.processmining.models.graphbased.directed.opennet.OpenNet net,
org.processmining.models.semantics.petrinet.Marking marking) |
void |
convertToOpenNet(org.processmining.models.graphbased.directed.opennet.OpenNet net,
org.processmining.models.semantics.petrinet.Marking marking) |
<T> T |
getValue(java.lang.String key,
T obj) |
boolean |
hasErrors() |
void |
importElement(ConfigurationStream stream) |
void |
log(java.lang.String context,
int lineNumber,
java.lang.String message) |
void |
logNet(java.lang.String name)
Adds a new trace with the given name to the log.
|
java.lang.String |
toString() |
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, valuespublic <T> T getValue(java.lang.String key,
T obj)
public void importElement(ConfigurationStream stream) throws java.io.IOException
java.io.IOExceptionpublic void log(java.lang.String context,
int lineNumber,
java.lang.String message)
public void logNet(java.lang.String name)
name - The give name.public boolean hasErrors()
public java.lang.String toString()
toString in class java.util.AbstractMap<java.lang.String,ConfigurationSetting>public void convertToOpenNet(org.processmining.models.graphbased.directed.opennet.OpenNet net,
org.processmining.models.semantics.petrinet.Marking marking)
public void convertFromOpenNet(org.processmining.models.graphbased.directed.opennet.OpenNet net,
org.processmining.models.semantics.petrinet.Marking marking)