LLJava.Block (BandM metatools API doc)

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
```
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":554.1-561.16, cf. this pretty print.)

Field Summary

Fields
Modifier and Type	Field and 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

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

Constructor Summary

Constructors
Constructor and Description

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

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

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and 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)`
`void`	`descend_dataEnv(LLJava.MATCH_ONLY_00 visitor)`
`void`	`descend_elems(LLJava.MATCH_ONLY_00 visitor)`
`void`	`descend_labels(LLJava.MATCH_ONLY_00 visitor)`
`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 Detail
  - 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":557.9-22, cf. 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":558.9-29, cf. 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":559.9-73, cf. 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":1111.9-32, cf. 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":1112.9-29, cf. 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 Detail
  - 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 Detail
  - 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
  - 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":557.9-22, cf. this pretty print.)
    Generated getter method. @see #labels
    
    Returns:
    
    The current field value of type CheckedList<LLJava.Name(never null)>(never null)
  - 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":557.9-22, cf. 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
```
public void descend_labels(LLJava.MATCH_ONLY_00 visitor)
```
  - 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":558.9-29, cf. this pretty print.)
    Generated getter method. @see #implicit
    
    Returns:
    
    The current field value of type boolean(never null)
  - 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":558.9-29, 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:
    
    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":559.9-73, cf. this pretty print.)
    Generated getter method. @see #elems
    
    Returns:
    
    The current field value of type CheckedList<LLJava.Statement(never null)>(never null)
  - 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":559.9-73, cf. 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
```
public void descend_elems(LLJava.MATCH_ONLY_00 visitor)
```
  - 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":1111.9-32, cf. this pretty print.)
    Generated getter method. @see #controlEnv
    
    Returns:
    
    The current field value of type CheckedMap_RD<LLJava.Name(never null),LLJava.Block(never null)>(never null)
  - 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":1111.9-32, cf. 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:
    
    val - 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:
    
    controlEnv
  - descend_controlEnv
```
public void descend_controlEnv(LLJava.MATCH_ONLY_00 visitor)
```
  - 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":1112.9-29, cf. this pretty print.)
    Generated getter method. @see #dataEnv
    
    Returns:
    
    The current field value of type CheckedMap_RD<LLJava.Name(never null),LLJava.Variable(never null)>(never null)
  - 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":1112.9-29, cf. 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:
    
    val - 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:
    
    dataEnv
  - descend_dataEnv
```
public void descend_dataEnv(LLJava.MATCH_ONLY_00 visitor)
```
  - 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.

Class LLJava.Block

Field Summary

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

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

Constructor Summary

Method Summary

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

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

Methods inherited from class java.lang.Object

Field Detail

labels

implicit

elems

controlEnv

dataEnv

Constructor Detail

Block

Method Detail

doclone

getFormatHint

format

initFrom

get_labels

set_labels

descend_labels

get_implicit

set_implicit

get_elems

set_elems

descend_elems

get_controlEnv

set_controlEnv

put_controlEnv

containsKey_controlEnv

descend_controlEnv

get_dataEnv

set_dataEnv

put_dataEnv

containsKey_dataEnv

descend_dataEnv

get_labels

get_implicit

get_elems

get_controlEnv

get_dataEnv