public class GraphHandler
extends org.xml.sax.helpers.DefaultHandler
| Constructor and Description |
|---|
GraphHandler()
Initialize the Handler with a new graph.
|
GraphHandler(Graph graph)
Initialize the Handler with the provided graph.
|
GraphHandler(Graph graph,
java.lang.String classifier_name,
java.lang.String classifier_keys)
Initialize the Handler with the provided graph.
|
| 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()
Return a reference to the current graph
|
java.lang.String[] |
getLastActivity()
Returns the last activity read
|
int |
getNumberActivitiesTrace()
Return the number of activities in the current trace
|
void |
setGraph(Graph graph)
Modify the current graph
|
void |
startElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName,
org.xml.sax.Attributes attributes) |
public GraphHandler()
public GraphHandler(Graph graph)
graph - Graphpublic GraphHandler(Graph graph, java.lang.String classifier_name, java.lang.String classifier_keys)
dfg - Directly-follows graphclassifier_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 Graph getGraph()
public void setGraph(Graph graph)
graph - New graph