eu.bandm.tools.d2d2.rt

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-88.5, cf. this pretty print.)

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

Constructor Summary

Constructors

Constructor and Description
Rt()

Method Summary

Modifier and Type	Method and Description
static Format	toFormat(Object e0) Yields a pretty-print format for arbitrary objects.
static Format	toFormat(Object e0, Integer mode) Yields a pretty-print format for arbitrary objects.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Rt

public Rt()

Method Detail

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.