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, 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":557.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":558.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":559.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":1111.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":1112.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":557.9-22, see 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, 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":558.9-29, see 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, 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":559.9-73, see 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, 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":1111.9-32, see 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, 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:
  
  controlEnv
- 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":1112.9-29, see 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, 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:
  
  dataEnv
- 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.

Class LLJava.Block

Field Summary

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

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 Details

labels

implicit

elems

controlEnv

dataEnv

Constructor Details

Block

Method Details

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