public class MultiGraphHandler<G extends Graph>
extends org.xml.sax.helpers.DefaultHandler
| Modifier and Type | Class and Description |
|---|---|
static class |
MultiGraphHandler.GraphKeys
Enum of keys supported
DFG = Directly-follows graph
L2L = Length-two loops graph
LD = Long-distance relations graph
|
| Constructor and Description |
|---|
MultiGraphHandler(java.util.HashMap<MultiGraphHandler.GraphKeys,G> graphs)
Initialize the Handler with the provided pool of graphs.
|
MultiGraphHandler(java.util.HashMap<MultiGraphHandler.GraphKeys,G> graphs,
java.lang.String classifier_name,
java.lang.String classifier_keys)
Initialize the Handler with the provided pool of graphs.
|
| Modifier and Type | Method and Description |
|---|---|
void |
characters(char[] ch,
int start,
int length) |
java.util.List<java.lang.String[]> |
getActivitiesTrace()
Return the list of activities of the last trace.
|
java.lang.String |
getContentTag()
Return the content between tags (
|
Graph |
getGraph(MultiGraphHandler.GraphKeys key)
Return a reference to the specified graph
|
java.util.HashMap<MultiGraphHandler.GraphKeys,G> |
getGraphs()
Return a reference to the current pool of graphs
|
java.lang.String[] |
getLastActivity()
Returns the last activity read
|
int |
getNumberActivitiesTrace()
Return the number of activities in the current trace
|
void |
setGraph(MultiGraphHandler.GraphKeys key,
G graph)
Modify the current graph
|
void |
setGraphs(java.util.HashMap<MultiGraphHandler.GraphKeys,G> graphs)
Modify the current graph pool
|
void |
startElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName,
org.xml.sax.Attributes attributes) |
public MultiGraphHandler(java.util.HashMap<MultiGraphHandler.GraphKeys,G> graphs)
graphs - Pool of Graphspublic MultiGraphHandler(java.util.HashMap<MultiGraphHandler.GraphKeys,G> graphs, java.lang.String classifier_name, java.lang.String classifier_keys)
graphs - Pool of graphsclassifier_name - Classifier nameclassifier_keys - Classifier keyspublic void startElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName,
org.xml.sax.Attributes attributes)
throws org.xml.sax.SAXException
startElement in interface org.xml.sax.ContentHandlerstartElement in class org.xml.sax.helpers.DefaultHandlerorg.xml.sax.SAXExceptionpublic void characters(char[] ch,
int start,
int length)
throws org.xml.sax.SAXException
characters in interface org.xml.sax.ContentHandlercharacters in class org.xml.sax.helpers.DefaultHandlerorg.xml.sax.SAXExceptionpublic java.lang.String getContentTag()
public java.util.List<java.lang.String[]> getActivitiesTrace()
public int getNumberActivitiesTrace()
public java.lang.String[] getLastActivity()
public java.util.HashMap<MultiGraphHandler.GraphKeys,G> getGraphs()
public Graph getGraph(MultiGraphHandler.GraphKeys key)
public void setGraphs(java.util.HashMap<MultiGraphHandler.GraphKeys,G> graphs)
graphs - New graph poolpublic void setGraph(MultiGraphHandler.GraphKeys key, G graph)
key - Graph keygraph - New graph