Package eu.bandm.tools.d2d2.rt

Class State_rep

java.lang.Object

eu.bandm.tools.d2d2.rt.State

eu.bandm.tools.d2d2.rt.State_rep

All Implemented Interfaces:

Formattable, Cloneable

public class State_rep
extends State

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

Field Summary

Fields

Modifier and Type	Field	Description
static final Function<State_rep,GrUnary>	get_rule	Deprecated. Use new '::' method reference instead.
protected GrUnary	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

Constructor Summary

Constructors

Constructor	Description
State_rep()
State_rep(ResultContainer result, GrUnary rule)	Synthetic minimal constructor provided by the umod compiler.
State_rep(State predec, ResultContainer result, boolean inxslt, GrUnary rule)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method	Description
State_rep	doclone()	Clones this object.
Format	format()	Delivers a format object for pretty-printing by inheritance from some ancestor class.
GrUnary	get_rule()	Generated by umod; model author's documentation MISSING.
State_rep	initFrom(Object o0)	Copies values of all common fields from the argument.
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_inxslt, get_predec, get_predec, get_result, get_result, get_rule, 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 Details

rule

protected GrUnary rule

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":102.9-49, see this pretty print.)
The type of this field is GrUnary(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_rep,GrUnary> get_rule

Deprecated.

Use new '::' method reference instead.

Constructor Details

State_rep

public State_rep(State predec,
 ResultContainer result,
 boolean inxslt,
 GrUnary 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

rule - is copied to field rule

State_rep

public State_rep(ResultContainer result,
 GrUnary 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

rule - is copied to field rule

State_rep

State_rep()

Method Details

doclone

public State_rep 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

Returns:

a format that represents this object in a pretty-printable way

initFrom

public State_rep 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_rule

public GrUnary get_rule()

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

Overrides:

get_rule in class State

Returns:

The current field value of type GrUnary(never null)

See Also:

• rule

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":102.9-49, see this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

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

Returns:

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

See Also:

• rule