eu.bandm.tools.d2d2.rt

Class State_perm

java.lang.Object

eu.bandm.tools.d2d2.rt.State

eu.bandm.tools.d2d2.rt.State_perm

All Implemented Interfaces:

Formattable, Cloneable

public class State_perm
extends State

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

Field Summary

Fields

Modifier and Type	Field and Description
protected CheckedSet<Expression>	consumed Generated by umod; model author's documentation MISSING.
protected PermutationGroup	directory Generated by umod; model author's documentation MISSING.
static Function<State_perm,CheckedSet<Expression>>	get_consumed Deprecated. Use new '::' method reference instead.
static Function<State_perm,PermutationGroup>	get_directory Deprecated. Use new '::' method reference instead.
static Function<State_perm,CheckedSet<Expression>>	get_obligates Deprecated. Use new '::' method reference instead.
static Function<State_perm,Perm>	get_rule Deprecated. Use new '::' method reference instead.
protected CheckedSet<Expression>	obligates Generated by umod; model author's documentation MISSING.
protected Perm	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_perm(ResultContainer result, Perm rule, PermutationGroup directory) Synthetic minimal constructor provided by the umod compiler.
State_perm(State predec, ResultContainer result, boolean inxslt, Perm rule, PermutationGroup directory) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method and Description
void	descend_consumed(MATCH_ONLY_00 visitor)
void	descend_obligates(MATCH_ONLY_00 visitor)
State_perm	doclone() Clones this object.
Format	format() Delivers a format object for pretty-printing by inheritance from some ancestor class.
CheckedSet<Expression>	get_consumed() Generated by umod; model author's documentation MISSING.
PermutationGroup	get_directory() Generated by umod; model author's documentation MISSING.
CheckedSet<Expression>	get_obligates() Generated by umod; model author's documentation MISSING.
Perm	get_rule() Generated by umod; model author's documentation MISSING.
State_perm	initFrom(Object o0) Copies values of all common fields from the argument.
boolean	set_consumed(CheckedSet<Expression> val) Generated by umod; model author's documentation MISSING.
boolean	set_directory(PermutationGroup val) Generated by umod; model author's documentation MISSING.
boolean	set_obligates(CheckedSet<Expression> 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 Perm rule

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

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

directory

protected PermutationGroup directory

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

See Also:

get_directory(), set_directory(eu.bandm.tools.d2d2.rt.PermutationGroup)

get_directory

@Deprecated
public static final Function<State_perm,PermutationGroup> get_directory

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

obligates

protected CheckedSet<Expression> obligates

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":67.9-29, cf. this pretty print.)
The type of this field is CheckedSet<Expression(never null)>(never null)
Its value defaults to an empty collection.

See Also:

get_obligates(), set_obligates(eu.bandm.tools.umod.runtime.CheckedSet<eu.bandm.tools.d2d2.model.Expression>)

get_obligates

@Deprecated
public static final Function<State_perm,CheckedSet<Expression>> get_obligates

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

consumed

protected CheckedSet<Expression> consumed

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":68.9-29, cf. this pretty print.)
The type of this field is CheckedSet<Expression(never null)>(never null)
Its value defaults to an empty collection.

See Also:

get_consumed(), set_consumed(eu.bandm.tools.umod.runtime.CheckedSet<eu.bandm.tools.d2d2.model.Expression>)

get_consumed

@Deprecated
public static final Function<State_perm,CheckedSet<Expression>> get_consumed

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

Constructor Detail

State_perm

public State_perm(State predec,
                  ResultContainer result,
                  boolean inxslt,
                  Perm rule,
                  PermutationGroup directory)

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

directory - is copied to field directory

State_perm

public State_perm(ResultContainer result,
                  Perm rule,
                  PermutationGroup directory)

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

directory - is copied to field directory

Method Detail

doclone

public State_perm 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_perm 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 Perm get_rule()

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

Overrides:

get_rule in class State

Returns:

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

Parameters:

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

Returns:

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

See Also:

rule

get_directory

public PermutationGroup get_directory()

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

Returns:

The current field value of type PermutationGroup(never null)

set_directory

public boolean set_directory(PermutationGroup val)

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

Parameters:

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

Returns:

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

See Also:

directory

get_obligates

public CheckedSet<Expression> get_obligates()

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

Returns:

The current field value of type CheckedSet<Expression(never null)>(never null)

set_obligates

public boolean set_obligates(CheckedSet<Expression> val)

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

Parameters:

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

Returns:

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

See Also:

obligates

descend_obligates

public void descend_obligates(MATCH_ONLY_00 visitor)

get_consumed

public CheckedSet<Expression> get_consumed()

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

Returns:

The current field value of type CheckedSet<Expression(never null)>(never null)

set_consumed

public boolean set_consumed(CheckedSet<Expression> val)

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

Parameters:

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

Returns:

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

See Also:

consumed

descend_consumed

public void descend_consumed(MATCH_ONLY_00 visitor)