eu.bandm.tools.d2d2.rt

Class State

java.lang.Object

eu.bandm.tools.d2d2.rt.State

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

State_perm, State_rep, State_sequ, State_singleton

public abstract class State
extends Object
implements Cloneable, Formattable

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

Field Summary

Fields

Modifier and Type	Field and Description
static Function<State,Boolean>	get_inxslt Deprecated. Use new '::' method reference instead.
static Function<State,State>	get_predec Deprecated. Use new '::' method reference instead.
static Function<State,ResultContainer>	get_result Deprecated. Use new '::' method reference instead.
static Function<State,Expression>	get_rule Deprecated. Use new '::' method reference instead.
protected boolean	inxslt Generated by umod; model author's documentation MISSING.
protected State	predec Generated by umod; model author's documentation MISSING.
protected ResultContainer	result Generated by umod; model author's documentation MISSING.

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

format

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
State	doclone() Clones this object.
Format	format() Delivers a format object for pretty-printing by inheritance from some ancestor class.
boolean	get_inxslt() Generated by umod; model author's documentation MISSING.
State	get_predec() Generated by umod; model author's documentation MISSING.
ResultContainer	get_result() Generated by umod; model author's documentation MISSING.
Expression	get_rule()
State	initFrom(Object o0) Copies values of all common fields from the argument.
boolean	set_inxslt(boolean val) Generated by umod; model author's documentation MISSING.
boolean	set_predec(State val) Generated by umod; model author's documentation MISSING.
boolean	set_result(ResultContainer val) Generated by umod; model author's documentation MISSING.
Expression	set_rule()

Methods inherited from class java.lang.Object

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

Field Detail

predec

protected State predec

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":51.9-49, cf. this pretty print.)
The type of this field is State(maybe null)
Its value defaults to null.

See Also:

get_predec(), set_predec(eu.bandm.tools.d2d2.rt.State)

get_predec

@Deprecated
public static final Function<State,State> get_predec

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

result

protected ResultContainer result

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

See Also:

get_result(), set_result(eu.bandm.tools.d2d2.rt.ResultContainer)

get_result

@Deprecated
public static final Function<State,ResultContainer> get_result

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

get_rule

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

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

inxslt

protected boolean inxslt

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":54.9-49, cf. this pretty print.)
The type of this field is boolean(never null)
Its value defaults to false.

See Also:

get_inxslt(), set_inxslt(boolean)

get_inxslt

@Deprecated
public static final Function<State,Boolean> get_inxslt

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

Constructor Detail

State

public State(State predec,
             ResultContainer result,
             boolean inxslt)

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

Parameters:

predec - is copied to field predec

result - is copied to field result

inxslt - is copied to field inxslt

State

public State(ResultContainer result)

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 result

Method Detail

doclone

public State doclone()

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

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

initFrom

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

get_predec

public State get_predec()

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

Returns:

The current field value of type State(maybe null)

set_predec

public boolean set_predec(State val)

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

Parameters:

val - the new value of type State(maybe null)

Returns:

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

See Also:

predec

get_result

public ResultContainer get_result()

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

Returns:

The current field value of type ResultContainer(never null)

set_result

public boolean set_result(ResultContainer val)

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

Parameters:

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

Returns:

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

See Also:

result

set_rule

public Expression set_rule()

get_rule

public Expression get_rule()

get_inxslt

public boolean get_inxslt()

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

Returns:

The current field value of type boolean(never null)

set_inxslt

public boolean set_inxslt(boolean val)

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

Parameters:

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

Returns:

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

See Also:

inxslt