Class PnmlPorts


  • public class PnmlPorts
    extends PnmlElement
    Author:
    hverbeek Pnml ports. Contains just a collection of Pnml ports.
    • Constructor Detail

      • PnmlPorts

        protected PnmlPorts()
        Construct a fresh Pnml port.
    • Method Detail

      • importElements

        protected boolean importElements​(org.xmlpull.v1.XmlPullParser xpp,
                                         Pnml pnml)
        Description copied from class: PnmlElement
        Imports all standard child elements: None. If some subclass has child elements, this method needs to be overruled by it.
        Overrides:
        importElements in class PnmlElement
        Returns:
      • exportElements

        protected java.lang.String exportElements​(Pnml pnml)
        Description copied from class: PnmlElement
        Exports all standard elements: None. If some subclass has child elements, this method needs to be overruled by it.
        Overrides:
        exportElements in class PnmlElement
        Returns:
      • convertToOpenNet

        public void convertToOpenNet​(OpenNet openNet)
        Converts all ports to the given Open net.
        Parameters:
        openNet - The given Open net.
      • convertFromOpenNet

        public PnmlPorts convertFromOpenNet​(OpenNetInterface openNetPorts,
                                            java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,​ExpandableSubNet>,​java.lang.String> map)
        Converts the given collection of ports to Pnml ports.
        Parameters:
        openNetPorts - The given collection of ports.
        map - The id map.
        Returns:
        The Pnml ports.