LLJava.CodeMethodBody (BandM metatools API doc)

java.lang.Object
- eu.bandm.tools.lljava.absy.LLJava.Node
- - eu.bandm.tools.lljava.absy.LLJava.MethodBody
  - - eu.bandm.tools.lljava.absy.LLJava.CodeMethodBody

All Implemented Interfaces:

Formattable, Cloneable

Enclosing class:

LLJava
```
public static class LLJava.CodeMethodBody
extends LLJava.MethodBody
```
Syntactic expression defining the body of a method by code.

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

Field Summary

Fields
Modifier and Type	Field and Description
`protected LLJava.Block`	`block` Generated by umod; model author's documentation MISSING.
`protected CheckedList<LLJava.Exception>`	`exceptionTable` The table of exception handlers for the code of this method.
`protected Integer`	`maxLocals` An upper bound on the maximum number of local variable slots required for the execution of this method.
`protected Integer`	`maxOperands` An upper bound on the maximum number of operand stack slots required for the execution of this method.
`protected CheckedList<LLJava.StackFrameDelta>`	`stackMap` A stack map specifying the static type analysis of the code of this method.
`protected CheckedSet<LLJava.Instruction>`	`stackMapPlaces` The set of instructions requiring stack map information in the code of this method.

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

CodeMethodBody(LLJava.Block block)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".

Constructors
Constructor and Description
`CodeMethodBody(LLJava.Block block)` Constructor generated according to specification #0 Constructor defined according to directive "`C 0/.."`.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`descend_exceptionTable(LLJava.MATCH_ONLY_00 visitor)`
`void`	`descend_stackMap(LLJava.MATCH_ONLY_00 visitor)`
`void`	`descend_stackMapPlaces(LLJava.MATCH_ONLY_00 visitor)`
`LLJava.CodeMethodBody`	`doclone()` Clones this object.
`Format`	`format()` Delivers a format object for pretty-printing, as specified in the umod source.
`LLJava.Block`	`get_block()` Generated by umod; model author's documentation MISSING.
`static Pattern<LLJava.CodeMethodBody>`	`get_block(Pattern<? super LLJava.Block> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`CheckedList<LLJava.Exception>`	`get_exceptionTable()` The table of exception handlers for the code of this method.
`static Pattern<LLJava.CodeMethodBody>`	`get_exceptionTable(Pattern<? super CheckedList<LLJava.Exception>> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`Integer`	`get_maxLocals()` An upper bound on the maximum number of local variable slots required for the execution of this method.
`static Pattern<LLJava.CodeMethodBody>`	`get_maxLocals(Pattern<? super Integer> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`Integer`	`get_maxOperands()` An upper bound on the maximum number of operand stack slots required for the execution of this method.
`static Pattern<LLJava.CodeMethodBody>`	`get_maxOperands(Pattern<? super Integer> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`CheckedList<LLJava.StackFrameDelta>`	`get_stackMap()` A stack map specifying the static type analysis of the code of this method.
`static Pattern<LLJava.CodeMethodBody>`	`get_stackMap(Pattern<? super CheckedList<LLJava.StackFrameDelta>> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`CheckedSet<LLJava.Instruction>`	`get_stackMapPlaces()` The set of instructions requiring stack map information in the code of this method.
`static Pattern<LLJava.CodeMethodBody>`	`get_stackMapPlaces(Pattern<? super CheckedSet<LLJava.Instruction>> 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.CodeMethodBody`	`initFrom(Object o0)` Copies values of all common fields from the argument.
`boolean`	`set_block(LLJava.Block val)` Generated by umod; model author's documentation MISSING.
`boolean`	`set_exceptionTable(CheckedList<LLJava.Exception> val)` The table of exception handlers for the code of this method.
`boolean`	`set_maxLocals(Integer val)` An upper bound on the maximum number of local variable slots required for the execution of this method.
`boolean`	`set_maxOperands(Integer val)` An upper bound on the maximum number of operand stack slots required for the execution of this method.
`boolean`	`set_stackMap(CheckedList<LLJava.StackFrameDelta> val)` A stack map specifying the static type analysis of the code of this method.
`boolean`	`set_stackMapPlaces(CheckedSet<LLJava.Instruction> val)` The set of instructions requiring stack map information in the code of this method.

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, toString, wait, wait, wait

- Field Detail
  - block
```
protected LLJava.Block block
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":408.9-79, cf. this pretty print.)
    The type of this field is LLJava.Block(never null)
    It is set by every possible constructor.
    
    See Also:
    
    get_block(), set_block(eu.bandm.tools.lljava.absy.LLJava.Block)
  - exceptionTable
```
protected CheckedList<LLJava.Exception> exceptionTable
```
    The table of exception handlers for the code of this method. This field is set by the ExceptionTableCollector.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1059.9-1060.13, cf. this pretty print.)
    The type of this field is CheckedList<Exception(never null)>(never null)
    Its value defaults to an empty collection.
    
    See Also:
    
    get_exceptionTable(), set_exceptionTable(eu.bandm.tools.umod.runtime.CheckedList<eu.bandm.tools.lljava.absy.LLJava.Exception>)
  - maxLocals
```
protected Integer maxLocals
```
    An upper bound on the maximum number of local variable slots required for the execution of this method. This field is set by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1063.9-1064.13, cf. this pretty print.)
    The type of this field is Integer(maybe null)
    Its value defaults to null.
    
    See Also:
    
    get_maxLocals(), set_maxLocals(java.lang.Integer)
  - maxOperands
```
protected Integer maxOperands
```
    An upper bound on the maximum number of operand stack slots required for the execution of this method. This field is set by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1067.9-1068.13, cf. this pretty print.)
    The type of this field is Integer(maybe null)
    Its value defaults to null.
    
    See Also:
    
    get_maxOperands(), set_maxOperands(java.lang.Integer)
  - stackMapPlaces
```
protected CheckedSet<LLJava.Instruction> stackMapPlaces
```
    The set of instructions requiring stack map information in the code of this method. This field is populated by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1071.9-1072.13, cf. this pretty print.)
    The type of this field is CheckedSet<LLJava.Instruction(never null)>(never null)
    Its value defaults to an empty collection.
    
    See Also:
    
    get_stackMapPlaces(), set_stackMapPlaces(eu.bandm.tools.umod.runtime.CheckedSet<eu.bandm.tools.lljava.absy.LLJava.Instruction>)
  - stackMap
```
protected CheckedList<LLJava.StackFrameDelta> stackMap
```
    A stack map specifying the static type analysis of the code of this method. This field is populated by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1075.9-1076.13, cf. this pretty print.)
    The type of this field is CheckedList<LLJava.StackFrameDelta(never null)>(never null)
    Its value defaults to an empty collection.
    
    See Also:
    
    get_stackMap(), set_stackMap(eu.bandm.tools.umod.runtime.CheckedList<eu.bandm.tools.lljava.absy.LLJava.StackFrameDelta>)
- Constructor Detail
  - CodeMethodBody
```
public CodeMethodBody(LLJava.Block block)
```
    Constructor generated according to specification #0
    Constructor defined according to directive "C 0/..".
    
    Parameters:
    
    block - is copied to field block
- Method Detail
  - doclone
```
public LLJava.CodeMethodBody doclone()
```
    Clones this object. Method never fails, since Cloneable is known to be implemented.
    
    Overrides:
    
    doclone in class LLJava.MethodBody
    
    Returns:
    
    a fresh copy.
  - getFormatHint
```
public static String getFormatHint()
```
    Delivers the format specification from the umod source.
    The constant return value is ..
    '{'/>block{elems[/]}/>exceptionTable[/]/'}'
    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.MethodBody
  - initFrom
```
public LLJava.CodeMethodBody 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.MethodBody
  - get_block
```
public LLJava.Block get_block()
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":408.9-79, cf. this pretty print.)
    Generated getter method. @see #block
    
    Returns:
    
    The current field value of type LLJava.Block(never null)
  - set_block
```
public boolean set_block(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":408.9-79, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type LLJava.Block(never null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    block
  - get_exceptionTable
```
public CheckedList<LLJava.Exception> get_exceptionTable()
```
    The table of exception handlers for the code of this method. This field is set by the ExceptionTableCollector.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1059.9-1060.13, cf. this pretty print.)
    Generated getter method. @see #exceptionTable
    
    Returns:
    
    The current field value of type CheckedList<Exception(never null)>(never null)
  - set_exceptionTable
```
public boolean set_exceptionTable(CheckedList<LLJava.Exception> val)
```
    The table of exception handlers for the code of this method. This field is set by the ExceptionTableCollector.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1059.9-1060.13, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type CheckedList<Exception(never null)>(never null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    exceptionTable
  - descend_exceptionTable
```
public void descend_exceptionTable(LLJava.MATCH_ONLY_00 visitor)
```
  - get_maxLocals
```
public Integer get_maxLocals()
```
    An upper bound on the maximum number of local variable slots required for the execution of this method. This field is set by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1063.9-1064.13, cf. this pretty print.)
    Generated getter method. @see #maxLocals
    
    Returns:
    
    The current field value of type Integer(maybe null)
  - set_maxLocals
```
public boolean set_maxLocals(Integer val)
```
    An upper bound on the maximum number of local variable slots required for the execution of this method. This field is set by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1063.9-1064.13, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type Integer(maybe null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    maxLocals
  - get_maxOperands
```
public Integer get_maxOperands()
```
    An upper bound on the maximum number of operand stack slots required for the execution of this method. This field is set by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1067.9-1068.13, cf. this pretty print.)
    Generated getter method. @see #maxOperands
    
    Returns:
    
    The current field value of type Integer(maybe null)
  - set_maxOperands
```
public boolean set_maxOperands(Integer val)
```
    An upper bound on the maximum number of operand stack slots required for the execution of this method. This field is set by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1067.9-1068.13, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type Integer(maybe null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    maxOperands
  - get_stackMapPlaces
```
public CheckedSet<LLJava.Instruction> get_stackMapPlaces()
```
    The set of instructions requiring stack map information in the code of this method. This field is populated by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1071.9-1072.13, cf. this pretty print.)
    Generated getter method. @see #stackMapPlaces
    
    Returns:
    
    The current field value of type CheckedSet<LLJava.Instruction(never null)>(never null)
  - set_stackMapPlaces
```
public boolean set_stackMapPlaces(CheckedSet<LLJava.Instruction> val)
```
    The set of instructions requiring stack map information in the code of this method. This field is populated by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1071.9-1072.13, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type CheckedSet<LLJava.Instruction(never null)>(never null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    stackMapPlaces
  - descend_stackMapPlaces
```
public void descend_stackMapPlaces(LLJava.MATCH_ONLY_00 visitor)
```
  - get_stackMap
```
public CheckedList<LLJava.StackFrameDelta> get_stackMap()
```
    A stack map specifying the static type analysis of the code of this method. This field is populated by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1075.9-1076.13, cf. this pretty print.)
    Generated getter method. @see #stackMap
    
    Returns:
    
    The current field value of type CheckedList<LLJava.StackFrameDelta(never null)>(never null)
  - set_stackMap
```
public boolean set_stackMap(CheckedList<LLJava.StackFrameDelta> val)
```
    A stack map specifying the static type analysis of the code of this method. This field is populated by the TypeChecker.
    
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1075.9-1076.13, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type CheckedList<LLJava.StackFrameDelta(never null)>(never null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    stackMap
  - descend_stackMap
```
public void descend_stackMap(LLJava.MATCH_ONLY_00 visitor)
```
  - get_block
```
public static Pattern<LLJava.CodeMethodBody> get_block(Pattern<? super 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_exceptionTable
```
public static Pattern<LLJava.CodeMethodBody> get_exceptionTable(Pattern<? super CheckedList<LLJava.Exception>> 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_maxLocals
```
public static Pattern<LLJava.CodeMethodBody> get_maxLocals(Pattern<? super Integer> 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_maxOperands
```
public static Pattern<LLJava.CodeMethodBody> get_maxOperands(Pattern<? super Integer> 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_stackMapPlaces
```
public static Pattern<LLJava.CodeMethodBody> get_stackMapPlaces(Pattern<? super CheckedSet<LLJava.Instruction>> 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_stackMap
```
public static Pattern<LLJava.CodeMethodBody> get_stackMap(Pattern<? super CheckedList<LLJava.StackFrameDelta>> 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.CodeMethodBody

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.Node

Methods inherited from class java.lang.Object

Field Detail

block

exceptionTable

maxLocals

maxOperands

stackMapPlaces

stackMap

Constructor Detail

CodeMethodBody

Method Detail

doclone

getFormatHint

format

initFrom

get_block

set_block

get_exceptionTable

set_exceptionTable

descend_exceptionTable

get_maxLocals

set_maxLocals

get_maxOperands

set_maxOperands

get_stackMapPlaces

set_stackMapPlaces

descend_stackMapPlaces

get_stackMap

set_stackMap

descend_stackMap

get_block

get_exceptionTable

get_maxLocals

get_maxOperands

get_stackMapPlaces

get_stackMap