Class Rt

java.lang.Object
eu.bandm.tools.d2d2.rt.Rt

public class Rt extends Object
Umod main model class:
This is a model for the results of d2d text parsing. ResultingStructure models resulting element contents:
 tag   --> def   // gives element type 
 assoc --> def --> resulting structure  // gives attribute contents
 sequ  --> (ResultingStructure U ResultingChars U PermutationGroup)
 
 PermutationGroup  
expr --> PermutationSubexpression // gives permutation contents

(This definition has been created by UMod from the source at SYSTEM "Rt.umod":1.1-126.5, see this pretty print.)

Created on 2024-09-15_20h25m25
by program bandm/metatools/umod, version 0.17
command line =
java bandm/metatools/umod --visitordebug true --xmlgen false --getterfunctions true --visitoroptimize true --monolithic false --patterns true $(HOME)/metatools/src eu.bandm.tools.d2d2.rt Rt.umod
Cf. the pretty-printed UMod source text.

  • Method Details

    • toFormat

      public static Format toFormat(Object e0)
      Yields a pretty-print format for arbitrary objects.
      Parameters:
      e0 - the object to render.
    • toFormat

      public static Format toFormat(Object e0, Integer mode)
      Yields a pretty-print format for arbitrary objects.
      Parameters:
      e0 - the object to render.
      mode - an integer mode selector read by the $switch$mode.. construct in format definitions. This allows small variants in the generated pretty-print.