eu.bandm.tools.d2d2.rt

Class State_singleton

java.lang.Object

eu.bandm.tools.d2d2.rt.State

eu.bandm.tools.d2d2.rt.State_singleton

All Implemented Interfaces:

Formattable, Cloneable

public class State_singleton
extends State

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":55.3-58.49, cf. this pretty print.)

Field Summary

Fields

Modifier and Type	Field and Description
protected Definition	def Generated by umod; model author's documentation MISSING.
static Function<State_singleton,Definition>	get_def Deprecated. Use new '::' method reference instead.
static Function<State_singleton,Reference>	get_ref Deprecated. Use new '::' method reference instead.
static Function<State_singleton,Expression>	get_rule Deprecated. Use new '::' method reference instead.
protected Reference	ref Generated by umod; model author's documentation MISSING.
protected Expression	rule Generated by umod; model author's documentation MISSING.

Fields inherited from class eu.bandm.tools.d2d2.rt.State

get_inxslt, get_predec, get_result, inxslt, predec, result

Fields inherited from interface eu.bandm.tools.format.Formattable

format

Constructor Summary

Constructors

Constructor and Description
State_singleton(ResultContainer result, Reference ref, Definition def, Expression rule) Synthetic minimal constructor provided by the umod compiler.
State_singleton(State predec, ResultContainer result, boolean inxslt, Reference ref, Definition def, Expression rule) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method and Description
State_singleton	doclone() Clones this object.
Format	format() Delivers a format object for pretty-printing by inheritance from some ancestor class.
Definition	get_def() Generated by umod; model author's documentation MISSING.
Reference	get_ref() Generated by umod; model author's documentation MISSING.
Expression	get_rule() Generated by umod; model author's documentation MISSING.
State_singleton	initFrom(Object o0) Copies values of all common fields from the argument.
boolean	set_def(Definition val) Generated by umod; model author's documentation MISSING.
boolean	set_ref(Reference val) Generated by umod; model author's documentation MISSING.
boolean	set_rule(Expression val) Generated by umod; model author's documentation MISSING.

Methods inherited from class eu.bandm.tools.d2d2.rt.State

get_inxslt, get_predec, get_result, set_inxslt, set_predec, set_result, set_rule

Methods inherited from class java.lang.Object

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

Field Detail

ref

protected Reference ref

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":56.9-49, cf. this pretty print.)
The type of this field is Reference(never null)
It is set by every possible constructor.

See Also:

get_ref(), set_ref(eu.bandm.tools.d2d2.model.Reference)

get_ref

@Deprecated
public static final Function<State_singleton,Reference> get_ref

Deprecated. Use new '::' method reference instead.

def

protected Definition def

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":57.9-49, cf. this pretty print.)
The type of this field is Definition(never null)
It is set by every possible constructor.

See Also:

get_def(), set_def(eu.bandm.tools.d2d2.model.Definition)

get_def

@Deprecated
public static final Function<State_singleton,Definition> get_def

Deprecated. Use new '::' method reference instead.

rule

protected Expression rule

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":58.9-49, cf. this pretty print.)
The type of this field is Expression(never null)
It is set by every possible constructor.

See Also:

get_rule(), set_rule(eu.bandm.tools.d2d2.model.Expression)

get_rule

@Deprecated
public static final Function<State_singleton,Expression> get_rule

Deprecated. Use new '::' method reference instead.

Constructor Detail

State_singleton

public State_singleton(State predec,
                       ResultContainer result,
                       boolean inxslt,
                       Reference ref,
                       Definition def,
                       Expression rule)

Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".

Parameters:

predec - is copied to field State.predec

result - is copied to field State.result

inxslt - is copied to field State.inxslt

ref - is copied to field ref

def - is copied to field def

rule - is copied to field rule

State_singleton

public State_singleton(ResultContainer result,
                       Reference ref,
                       Definition def,
                       Expression rule)

Synthetic minimal constructor provided by the umod compiler.
Constructor with minimal set of arguments, supplied automatically by the umod compiler, not explicitly by user.

Parameters:

result - is copied to field State.result

ref - is copied to field ref

def - is copied to field def

rule - is copied to field rule

Method Detail

doclone

public State_singleton doclone()

Clones this object. Method never fails, since Cloneable is known to be implemented.

Overrides:

doclone in class State

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 State

initFrom

public State_singleton 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 State

get_ref

public Reference get_ref()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":56.9-49, cf. this pretty print.)
Generated getter method. @see #ref

Returns:

The current field value of type Reference(never null)

set_ref

public boolean set_ref(Reference val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":56.9-49, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type Reference(never null)

Returns:

whether a change (w.r.t. ==) did actually happen.

See Also:

ref

get_def

public Definition get_def()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":57.9-49, cf. this pretty print.)
Generated getter method. @see #def

Returns:

The current field value of type Definition(never null)

set_def

public boolean set_def(Definition val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":57.9-49, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type Definition(never null)

Returns:

whether a change (w.r.t. ==) did actually happen.

See Also:

def

get_rule

public Expression get_rule()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":58.9-49, cf. this pretty print.)
Generated getter method. @see #rule

Overrides:

get_rule in class State

Returns:

The current field value of type Expression(never null)

set_rule

public boolean set_rule(Expression val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":58.9-49, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type Expression(never null)

Returns:

whether a change (w.r.t. ==) did actually happen.

See Also:

rule