Package eu.bandm.tools.lljava.absy

Class LLJava.Block

java.lang.Object

eu.bandm.tools.lljava.absy.LLJava.Node

eu.bandm.tools.lljava.absy.LLJava.Statement

eu.bandm.tools.lljava.absy.LLJava.Block

All Implemented Interfaces:

Formattable, Cloneable

Enclosing class:

LLJava

@Generated(generator="eu.bandm.tools.umod",
           version="",
           timestamp="2025-08-17_22h53m35")
public static class LLJava.Block
extends LLJava.Statement

A sequential container for statements.

(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":556.1-563.16, see this pretty print.)

Field Summary

Fields

Modifier and Type	Field	Description
protected CheckedMap_RD<LLJava.Name,LLJava.Block>	controlEnv	Generated by umod; model author's documentation MISSING.
protected CheckedMap_RD<LLJava.Name,LLJava.Variable>	dataEnv	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Statement>	elems	Generated by umod; model author's documentation MISSING.
protected boolean	implicit	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Name>	labels	Generated by umod; model author's documentation MISSING.

Fields inherited from class eu.bandm.tools.lljava.absy.LLJava.Node

location

Constructor Summary

Constructors

Constructor	Description
Block()	Synthetic minimal constructor provided by the umod compiler.

Method Summary

Modifier and Type	Method	Description
boolean	containsKey_controlEnv(LLJava.Name key0)	Convenience un-Currying method.
boolean	containsKey_dataEnv(LLJava.Name key0)	Convenience un-Currying method.
void	descend_controlEnv(LLJava.MATCH_ONLY_00 visitor)	Deprecated.
void	descend_dataEnv(LLJava.MATCH_ONLY_00 visitor)	Deprecated.
void	descend_elems(LLJava.MATCH_ONLY_00 visitor)	Deprecated.
void	descend_labels(LLJava.MATCH_ONLY_00 visitor)	Deprecated.
LLJava.Block	doclone()	Clones this object.
Format	format()	Delivers a format object for pretty-printing, as specified in the umod source.
CheckedMap_RD<LLJava.Name,LLJava.Block>	get_controlEnv()	Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Block>	get_controlEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
CheckedMap_RD<LLJava.Name,LLJava.Variable>	get_dataEnv()	Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Block>	get_dataEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Variable>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
CheckedList<LLJava.Statement>	get_elems()	Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Block>	get_elems(Pattern<? super CheckedList<LLJava.Statement>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
boolean	get_implicit()	Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Block>	get_implicit(Pattern<? super Boolean> p)	Lifts a pattern which matches the field value to one which matches this whole object.
CheckedList<LLJava.Name>	get_labels()	Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Block>	get_labels(Pattern<? super CheckedList<LLJava.Name>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static String	getFormatHint()	Delivers the format specification from the umod source.
LLJava.Block	initFrom(Object o0)	Copies values of all common fields from the argument.
void	put_controlEnv(LLJava.Name key0, LLJava.Block value)	Convenience un-Currying method.
void	put_dataEnv(LLJava.Name key0, LLJava.Variable value)	Convenience un-Currying method.
boolean	set_controlEnv(CheckedMap_RD<LLJava.Name,LLJava.Block> val)	Generated by umod; model author's documentation MISSING.
boolean	set_dataEnv(CheckedMap_RD<LLJava.Name,LLJava.Variable> val)	Generated by umod; model author's documentation MISSING.
boolean	set_elems(CheckedList<LLJava.Statement> val)	Generated by umod; model author's documentation MISSING.
boolean	set_implicit(boolean val)	Generated by umod; model author's documentation MISSING.
boolean	set_labels(CheckedList<LLJava.Name> val)	Generated by umod; model author's documentation MISSING.

Methods inherited from class eu.bandm.tools.lljava.absy.LLJava.Statement

toString

Methods inherited from class eu.bandm.tools.lljava.absy.LLJava.Node

get_location, get_location, set_location

Methods inherited from class java.lang.Object

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

Field Details

labels

protected CheckedList<LLJava.Name> labels

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

See Also:

• get_labels()
• set_labels(eu.bandm.tools.umod.runtime.CheckedList<eu.bandm.tools.lljava.absy.LLJava.Name>)

implicit

protected boolean implicit

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

See Also:

• get_implicit()
• set_implicit(boolean)

elems

protected CheckedList<LLJava.Statement> elems

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

See Also:

• get_elems()
• set_elems(eu.bandm.tools.umod.runtime.CheckedList<eu.bandm.tools.lljava.absy.LLJava.Statement>)

controlEnv

protected CheckedMap_RD<LLJava.Name,LLJava.Block> controlEnv

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

See Also:

• get_controlEnv()
• set_controlEnv(eu.bandm.tools.umod.runtime.CheckedMap_RD<eu.bandm.tools.lljava.absy.LLJava.Name, eu.bandm.tools.lljava.absy.LLJava.Block>)

dataEnv

protected CheckedMap_RD<LLJava.Name,LLJava.Variable> dataEnv

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

See Also:

• get_dataEnv()
• set_dataEnv(eu.bandm.tools.umod.runtime.CheckedMap_RD<eu.bandm.tools.lljava.absy.LLJava.Name, eu.bandm.tools.lljava.absy.LLJava.Variable>)

Constructor Details

Block

public Block()

Synthetic minimal constructor provided by the umod compiler.
Constructor with minimal set of arguments, supplied automatically by the umod compiler, not explicitly by user.
(All object fields are set to their default values.)

Method Details

doclone

public LLJava.Block doclone()

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

Overrides:

doclone in class LLJava.Statement

Returns:

a fresh copy.

getFormatHint

public static String getFormatHint()

Delivers the format specification from the umod source.
The constant return value is ..
labels{$this':'}[/]/$switch implicit{true:elems[/],('{';2>elems[/];'}')}
This can be used e.g. by format code interpreters which process objects of different origin.

format

public Format format()

Delivers a format object for pretty-printing, as specified in the umod source.

Specified by:

format in interface Formattable

Overrides:

format in class LLJava.Statement

Returns:

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

initFrom

public LLJava.Block 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 LLJava.Statement

get_labels

public CheckedList<LLJava.Name> get_labels()

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

Returns:

The current field value of type CheckedList<LLJava.Name(never null)>(never null)

See Also:

• labels

set_labels

public boolean set_labels(CheckedList<LLJava.Name> val)

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

Parameters:

val - the new value of type CheckedList<LLJava.Name(never null)>(never null)

Returns:

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

See Also:

• labels

descend_labels

@Deprecated
public void descend_labels(LLJava.MATCH_ONLY_00 visitor)

Deprecated.

get_implicit

public boolean get_implicit()

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

Returns:

The current field value of type boolean(never null)

See Also:

• implicit

set_implicit

public boolean set_implicit(boolean val)

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

• implicit

get_elems

public CheckedList<LLJava.Statement> get_elems()

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

Returns:

The current field value of type CheckedList<LLJava.Statement(never null)>(never null)

See Also:

• elems

set_elems

public boolean set_elems(CheckedList<LLJava.Statement> val)

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

Parameters:

val - the new value of type CheckedList<LLJava.Statement(never null)>(never null)

Returns:

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

See Also:

• elems

descend_elems

@Deprecated
public void descend_elems(LLJava.MATCH_ONLY_00 visitor)

Deprecated.

get_controlEnv

public CheckedMap_RD<LLJava.Name,LLJava.Block> get_controlEnv()

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

Returns:

The current field value of type CheckedMap_RD<LLJava.Name(never null),LLJava.Block(never null)>(never null)

See Also:

• controlEnv

set_controlEnv

public boolean set_controlEnv(CheckedMap_RD<LLJava.Name,LLJava.Block> val)

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

Parameters:

val - the new value of type CheckedMap_RD<LLJava.Name(never null),LLJava.Block(never null)>(never null)

Returns:

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

See Also:

• controlEnv

put_controlEnv

public void put_controlEnv(LLJava.Name key0,
 LLJava.Block 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 LLJava.Block(never null)

See Also:

• controlEnv

containsKey_controlEnv

public boolean containsKey_controlEnv(LLJava.Name key0)

Convenience un-Currying method.

Returns:

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

See Also:

• 


descend_controlEnv

@Deprecated
public void descend_controlEnv(LLJava.MATCH_ONLY_00 visitor)

Deprecated.

get_dataEnv

public CheckedMap_RD<LLJava.Name,LLJava.Variable> get_dataEnv()

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

Returns:

The current field value of type CheckedMap_RD<LLJava.Name(never null),LLJava.Variable(never null)>(never null)

See Also:

• dataEnv

set_dataEnv

public boolean set_dataEnv(CheckedMap_RD<LLJava.Name,LLJava.Variable> val)

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

Parameters:

val - the new value of type CheckedMap_RD<LLJava.Name(never null),LLJava.Variable(never null)>(never null)

Returns:

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

See Also:

• dataEnv

put_dataEnv

public void put_dataEnv(LLJava.Name key0,
 LLJava.Variable 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 LLJava.Variable(never null)

See Also:

• dataEnv

containsKey_dataEnv

public boolean containsKey_dataEnv(LLJava.Name key0)

Convenience un-Currying method.

Returns:

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

See Also:

• 


descend_dataEnv

@Deprecated
public void descend_dataEnv(LLJava.MATCH_ONLY_00 visitor)

Deprecated.

get_labels

public static Pattern<LLJava.Block> get_labels(Pattern<? super CheckedList<LLJava.Name>> 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 LLJava.__Patterns.

get_implicit

public static Pattern<LLJava.Block> get_implicit(Pattern<? super Boolean> 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 LLJava.__Patterns.

get_elems

public static Pattern<LLJava.Block> get_elems(Pattern<? super CheckedList<LLJava.Statement>> 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 LLJava.__Patterns.

get_controlEnv

public static Pattern<LLJava.Block> get_controlEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> 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 LLJava.__Patterns.

get_dataEnv

public static Pattern<LLJava.Block> get_dataEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Variable>> 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 LLJava.__Patterns.