Package eu.bandm.tools.d2d2.rt

Class PermutationSubexpression

java.lang.Object
eu.bandm.tools.d2d2.rt.Udom
eu.bandm.tools.d2d2.rt.ResultContainer
eu.bandm.tools.d2d2.rt.PermutationSubexpression
All Implemented Interfaces:
Formattable, Cloneable
public class PermutationSubexpression extends ResultContainer
Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":39.3-7, see this pretty print.)

  • Constructor Details

    • PermutationSubexpression

      public PermutationSubexpression(Location<String> location)
      Constructor generated according to specification #0
      Constructor defined according to directive "C 0/..".
      Parameters:
      location - is copied to field ResultContainer.location

    • PermutationSubexpression

      PermutationSubexpression()

  • Method Details

    • doclone

      public PermutationSubexpression doclone()
      Clones this object. Method never fails, since Cloneable is known to be implemented.
      Overrides:
      doclone in class ResultContainer
      Returns:
      a fresh copy.

    • format

      public Format format()
      Delivers a format object for pretty-printing by inheritance from some ancestor class.
      Specified by:
      format in interface Formattable
      Overrides:
      format in class ResultContainer
      Returns:
      a format that represents this object in a pretty-printable way

    • initFrom

      public PermutationSubexpression initFrom(Object o0)
      Copies values of all common fields from the argument. All fields of this class definition are copied, iff the argument is of this class. Then the superclass method is invoked with the same argument.
      Overrides:
      initFrom in class ResultContainer