eu.bandm.tools.d2d2.rt

Class State_sequ

java.lang.Object

eu.bandm.tools.d2d2.rt.State

eu.bandm.tools.d2d2.rt.State_sequ

All Implemented Interfaces:

Formattable, Cloneable

public class State_sequ
extends State

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

Field Summary

Fields

Modifier and Type	Field and Description
static Function<State_sequ,Integer>	get_position Deprecated. Use new '::' method reference instead.
static Function<State_sequ,Seq>	get_rule Deprecated. Use new '::' method reference instead.
protected int	position Generated by umod; model author's documentation MISSING.
protected Seq	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_sequ(ResultContainer result, Seq rule, int position) Synthetic minimal constructor provided by the umod compiler.
State_sequ(State predec, ResultContainer result, boolean inxslt, Seq rule, int position) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

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

rule

protected Seq rule

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

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

position

protected int position

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

See Also:

get_position(), set_position(int)

get_position

@Deprecated
public static final Function<State_sequ,Integer> get_position

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

Constructor Detail

State_sequ

public State_sequ(State predec,
                  ResultContainer result,
                  boolean inxslt,
                  Seq rule,
                  int position)

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

position - is copied to field position

State_sequ

public State_sequ(ResultContainer result,
                  Seq rule,
                  int position)

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

position - is copied to field position

Method Detail

doclone

public State_sequ 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_sequ 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 Seq get_rule()

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

Overrides:

get_rule in class State

Returns:

The current field value of type Seq(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":62.9-49, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

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

Returns:

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

See Also:

rule

get_position

public int get_position()

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

Returns:

The current field value of type int(never null)

set_position

public boolean set_position(int val)

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

Parameters:

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

Returns:

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

See Also:

position