Package eu.bandm.tools.d2d2.rt

Class PermutationGroup

java.lang.Object

eu.bandm.tools.d2d2.rt.Udom

eu.bandm.tools.d2d2.rt.PermutationGroup

All Implemented Interfaces:

Formattable, Cloneable

@Generated(generator="eu.bandm.tools.umod",
           version="",
           timestamp="2025-01-22_20h52m50")
public class PermutationGroup
extends Udom

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

Field Summary

Fields

Modifier and Type	Field	Description
static final Function<PermutationGroup,Perm>	get_rule	Deprecated. Use new '::' method reference instead.
static final Function<PermutationGroup,CheckedMap_RD<Expression,PermutationSubexpression>>	get_subs	Deprecated. Use new '::' method reference instead.
protected Perm	rule	Generated by umod; model author's documentation MISSING.
protected CheckedMap_RD<Expression,PermutationSubexpression>	subs	Generated by umod; model author's documentation MISSING.

Constructor Summary

Constructors

Constructor	Description
PermutationGroup()
PermutationGroup(Perm rule)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method	Description
boolean	containsKey_subs(Expression key0)	Convenience un-Currying method.
void	descend_0_subs(MATCH_ONLY_00 visitor)	Deprecated.
void	descend_subs(MATCH_ONLY_00 visitor)	Deprecated.
PermutationGroup	doclone()	Clones this object.
Format	format()	Delivers a format object for pretty-printing by inheritance from some ancestor class.
Perm	get_rule()	Generated by umod; model author's documentation MISSING.
static Pattern<PermutationGroup>	get_rule(Pattern<? super Perm> p)	Lifts a pattern which matches the field value to one which matches this whole object.
CheckedMap_RD<Expression,PermutationSubexpression>	get_subs()	Generated by umod; model author's documentation MISSING.
static Pattern<PermutationGroup>	get_subs(Pattern<? super CheckedMap_RD<Expression,PermutationSubexpression>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
PermutationGroup	initFrom(Object o0)	Copies values of all common fields from the argument.
void	put_subs(Expression key0, PermutationSubexpression value)	Convenience un-Currying method.
boolean	set_rule(Perm val)	Generated by umod; model author's documentation MISSING.
boolean	set_subs(CheckedMap_RD<Expression,PermutationSubexpression> val)	Generated by umod; model author's documentation MISSING.

Methods inherited from class java.lang.Object

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

Field Details

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":70.9-72, see 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.Perm)

get_rule

@Deprecated
public static final Function<PermutationGroup,Perm> get_rule

Deprecated.

Use new '::' method reference instead.

subs

protected CheckedMap_RD<Expression,PermutationSubexpression> subs

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

See Also:

• get_subs()
• set_subs(eu.bandm.tools.umod.runtime.CheckedMap_RD<eu.bandm.tools.d2d2.model.Expression, eu.bandm.tools.d2d2.rt.PermutationSubexpression>)

get_subs

@Deprecated
public static final Function<PermutationGroup,CheckedMap_RD<Expression,PermutationSubexpression>> get_subs

Deprecated.

Use new '::' method reference instead.

Constructor Details

PermutationGroup

public PermutationGroup(Perm rule)

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

Parameters:

rule - is copied to field rule

PermutationGroup

PermutationGroup()

Method Details

doclone

public PermutationGroup doclone()

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

Overrides:

doclone in class Udom

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 Udom

Returns:

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

initFrom

public PermutationGroup 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 Udom

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":70.9-72, see this pretty print.)
Generated getter method.

Returns:

The current field value of type Perm(never null)

See Also:

• rule

set_rule

public boolean set_rule(Perm val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":70.9-72, see 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_subs

public CheckedMap_RD<Expression,PermutationSubexpression> get_subs()

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

Returns:

The current field value of type CheckedMap_RD<Expression(never null),PermutationSubexpression(never null)>(never null)

See Also:

• subs

set_subs

public boolean set_subs(CheckedMap_RD<Expression,PermutationSubexpression> val)

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

Parameters:

val - the new value of type CheckedMap_RD<Expression(never null),PermutationSubexpression(never null)>(never null)

Returns:

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

See Also:

• subs

put_subs

public void put_subs(Expression key0,
 PermutationSubexpression value)

Convenience un-Currying method.
Set the value at the given coordinate and automatically generate all intermediate collections, if not yet existing.

Parameters:

value - the new value of type PermutationSubexpression(never null)

See Also:

• subs

containsKey_subs

public boolean containsKey_subs(Expression key0)

Convenience un-Currying method.

Returns:

whether there exists a chain of collection objects to the given co-ordinate.

See Also:

• 


descend_subs

@Deprecated
public void descend_subs(MATCH_ONLY_00 visitor)

Deprecated.

descend_0_subs

@Deprecated
public void descend_0_subs(MATCH_ONLY_00 visitor)

Deprecated.

get_rule

public static Pattern<PermutationGroup> get_rule(Pattern<? super Perm> p)

Lifts a pattern which matches the field value to one which matches this whole object.
More complex pattern methods are generated in the one ancillary class __Patterns.

get_subs

public static Pattern<PermutationGroup> get_subs(Pattern<? super CheckedMap_RD<Expression,PermutationSubexpression>> p)

Lifts a pattern which matches the field value to one which matches this whole object.
More complex pattern methods are generated in the one ancillary class __Patterns.