Class Tsml

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String TAG
      TSML tag.
    • Constructor Summary

      Constructors 
      Constructor Description
      Tsml()
      Creates a fresh default PNML object, that is, a PNML object of type PNML.
    • Constructor Detail

      • Tsml

        public Tsml()
        Creates a fresh default PNML object, that is, a PNML object of type PNML.
    • Method Detail

      • getLabel

        public java.lang.String getLabel()
      • getLog

        public org.deckfour.xes.model.XLog getLog()
      • log

        public void log​(java.lang.String context,
                        int lineNumber,
                        java.lang.String message)
        Adds a log event to the current trace in the log.
        Parameters:
        context - Context of the message, typically the current PNML tag.
        lineNumber - Current line number.
        message - Error message.
      • logNet

        public void logNet​(java.lang.String name)
        Adds a new trace with the given name to the log. This trace is now current.
        Parameters:
        name - The give name.
      • hasErrors

        public boolean hasErrors()
      • 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 TsmlElement
        Returns:
        Whether the start tag was known.
      • exportElements

        protected java.lang.String exportElements​(Tsml tsml)
        Exports the child elements to String.
        Overrides:
        exportElements in class TsmlElement
        Returns:
      • importAttributes

        protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp,
                                        Tsml tsml)
        Imports all known attributes.
        Overrides:
        importAttributes in class TsmlElement
      • exportAttributes

        protected java.lang.String exportAttributes​(Tsml tsml)
        Exports all attributes.
        Overrides:
        exportAttributes in class TsmlElement
        Returns:
      • unmarshall

        public void unmarshall​(TransitionSystem ts,
                               StartStateSet starts,
                               AcceptStateSet accepts,
                               org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
                               org.processmining.models.connections.GraphLayoutConnection graphLayout)
      • marshall

        public Tsml marshall​(TransitionSystem ts,
                             StartStateSet starts,
                             AcceptStateSet accepts,
                             org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
                             org.processmining.models.connections.GraphLayoutConnection graphLayout)
      • setName

        public void setName​(java.lang.String name)