Class PnmlToolSpecific

    • Field Detail

      • tool

        protected java.lang.String tool
      • version

        protected java.lang.String version
      • activity

        protected java.lang.String activity
      • localNodeID

        protected java.lang.String localNodeID
    • Constructor Detail

      • PnmlToolSpecific

        public PnmlToolSpecific()
    • Method Detail

      • importAttributes

        protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp,
                                        Pnml pnml)
        Description copied from class: PnmlElement
        Imports all standard attributes: None. If some subclass has attributes, this method needs to be overruled by it.
        Overrides:
        importAttributes in class PnmlElement
      • exportAttributes

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

        protected void checkValidity​(Pnml pnml)
        Description copied from class: PnmlElement
        Default check for validity: No action. If some subclass needs to check validity, this method needs to be overruled by it.
        Overrides:
        checkValidity in class PnmlElement
      • convertToNet

        public void convertToNet​(Transition transition)
      • convertToNet

        public void convertToNet​(Place place)
      • convertFromNet

        public void convertFromNet​(Transition transition)
      • convertFromNet

        public void convertFromNet​(Place place)