Class PnmlAnnotationGraphics


  • public class PnmlAnnotationGraphics
    extends PnmlElement
    PNML annotation graphics.
    Author:
    hverbeek
    • Field Detail

      • TAG

        public static final java.lang.String TAG
        PNML annotation graphics tag.
        See Also:
        Constant Field Values
    • Constructor Detail

      • PnmlAnnotationGraphics

        protected PnmlAnnotationGraphics()
        Creates a fresh PNML annotation graphics.
    • Method Detail

      • importElements

        protected boolean importElements​(org.xmlpull.v1.XmlPullParser xpp,
                                         Pnml pnml)
        Checks whether the current start tag is known. If known, it imports the corresponding child element and returns true. Otherwise, it returns false.
        Overrides:
        importElements in class PnmlElement
        Returns:
        Whether the start tag was known.
      • exportElements

        protected java.lang.String exportElements​(Pnml pnml)
        Exports the annotation graphics.
        Overrides:
        exportElements in class PnmlElement
        Returns:
      • checkValidity

        protected void checkValidity​(Pnml pnml)
        Checks validity. Should have an offset element.
        Overrides:
        checkValidity in class PnmlElement
      • convertToNet

        public void convertToNet​(org.processmining.models.graphbased.AbstractGraphElement element)
        Sets the graphics for the given graph element.
        Parameters:
        net - The given net.
        subNet - The given sub net.
        element - The given element.
      • convertFromNet

        public PnmlAnnotationGraphics convertFromNet​(org.processmining.models.graphbased.AbstractGraphElement element)