public class DFGHandlerGeneric extends GraphHandler
| Constructor and Description |
|---|
DFGHandlerGeneric(Graph dfg)
Initialize the Handler with the provided DFG.
|
DFGHandlerGeneric(Graph dfg,
java.lang.String classifier_name,
java.lang.String classifier_keys)
Initialize the Handler with the provided DFG.
|
| Modifier and Type | Method and Description |
|---|---|
void |
endElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName) |
characters, getActivitiesTrace, getContentTag, getGraph, getLastActivity, getNumberActivitiesTrace, setGraph, startElementpublic DFGHandlerGeneric(Graph dfg)
dfg - Directly-follows graphpublic DFGHandlerGeneric(Graph dfg, java.lang.String classifier_name, java.lang.String classifier_keys)
dfg - Directly-follows graphclassifier_name - Classifier nameclassifier_keys - Classifier keyspublic void endElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName)
throws org.xml.sax.SAXException
endElement in interface org.xml.sax.ContentHandlerendElement in class org.xml.sax.helpers.DefaultHandlerorg.xml.sax.SAXException