Class PnmlBasicObject

    • Field Detail

      • name

        protected PnmlName name
        Name element.
      • toolSpecificList

        protected java.util.List<PnmlToolSpecific> toolSpecificList
        ToolSpecifics elements (there may be multiple).
    • Constructor Detail

      • PnmlBasicObject

        protected PnmlBasicObject​(java.lang.String tag)
        Creates a fresh basic PNML object.
        Parameters:
        tag -
    • Method Detail

      • getName

        public java.lang.String getName​(java.lang.String defaultName)
      • 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 all elements.
        Overrides:
        exportElements in class PnmlElement
        Returns:
      • convertToNet

        public void convertToNet​(PetrinetNode node)
      • convertFromNet

        public PnmlBasicObject convertFromNet​(java.lang.String label)