public class PnmlFont extends PnmlElement
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG
PNML font tag.
|
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlFont()
Creates a fresh PNML font object.
|
Modifier and Type | Method and Description |
---|---|
PnmlFont |
convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element) |
void |
convertToNet(org.processmining.models.graphbased.AbstractGraphElement element)
Sets the font of the given graph element to this font.
|
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports all attributes.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
checkValidity, exportAttribute, exportElement, exportElements, importElement, importElements, importText, setFactory
public static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importAttributes
in class PnmlElement
protected java.lang.String exportAttributes(Pnml pnml)
exportAttributes
in class PnmlElement
public void convertToNet(org.processmining.models.graphbased.AbstractGraphElement element)
element
- The given element.public PnmlFont convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element)