Class TsmlInscription

    • Constructor Detail

      • TsmlInscription

        public TsmlInscription()
        Creates a fresh inscription.
    • Method Detail

      • importElements

        protected boolean importElements​(org.xmlpull.v1.XmlPullParser xpp,
                                         Tsml tsml)
        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 TsmlAnnotation
        Returns:
        Whether the start tag was known.
      • checkValidity

        protected void checkValidity​(Tsml tsml)
        Description copied from class: TsmlElement
        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 TsmlElement
      • exportElements

        protected java.lang.String exportElements​(Tsml tsml)
        Exports the inscription.
        Overrides:
        exportElements in class TsmlAnnotation
        Returns:
      • getInscription

        public int getInscription()
        Gets the inscription. Returns 1 if not specified.
        Returns:
      • unmarshall

        public void unmarshall​(Transition transition)
        Sets the weight of the given arc in the given net to this inscription.
        Overrides:
        unmarshall in class TsmlAnnotation
        Parameters:
        arc - The given arc.