Class PnmlFill


  • public class PnmlFill
    extends PnmlElement
    PNML graphics fill element.
    Author:
    hverbeek
    • Constructor Detail

      • PnmlFill

        protected PnmlFill()
        Creates a fresh fill element.
    • Method Detail

      • importAttributes

        protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp,
                                        Pnml pnml)
        Imports all known attributes.
        Overrides:
        importAttributes in class PnmlElement
      • exportAttributes

        protected java.lang.String exportAttributes​(Pnml pnml)
        Exports all attributes.
        Overrides:
        exportAttributes in class PnmlElement
        Returns:
      • convertToNet

        public void convertToNet​(org.processmining.models.graphbased.AbstractGraphElement element)
        Sets the fill of the given graph element to this fill.
        Parameters:
        element - The given element.
      • convertFromNet

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