Class TsmlOffset

    • Constructor Detail

      • TsmlOffset

        public TsmlOffset()
        Creates a fresh PNML offset.
    • Method Detail

      • importAttributes

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

        protected java.lang.String exportAttributes​(Tsml tsml)
        Exports the dimension.
        Overrides:
        exportAttributes in class TsmlElement
        Returns:
      • checkValidity

        protected void checkValidity​(Tsml tsml)
        Checks validity. Should have both an x and a y attribute.
        Overrides:
        checkValidity in class TsmlElement
      • unmarshall

        public void unmarshall​(org.processmining.models.graphbased.AbstractGraphElement element)
        Sets the offset of the given graph element to this offset.
        Parameters:
        element - The given element.
      • marshall

        public TsmlOffset marshall​(org.processmining.models.graphbased.AbstractGraphElement element)