Package eu.bandm.tools.lljava.absy

Class LLJava.CodeMethodBody

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

@Generated(generator="eu.bandm.tools.umod",
           version="",
           timestamp="2025-03-02_11h56m45")
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":407.1-412.16, see this pretty print.)

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	descend_exceptionTable(LLJava.MATCH_ONLY_00 visitor)	Deprecated.
void	descend_stackMap(LLJava.MATCH_ONLY_00 visitor)	Deprecated.
void	descend_stackMapPlaces(LLJava.MATCH_ONLY_00 visitor)	Deprecated.
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 Details

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":410.9-79, see 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":1061.9-1062.13, see this pretty print.)
The type of this field is CheckedList<LLJava.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":1065.9-1066.13, see 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":1069.9-1070.13, see 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":1073.9-1074.13, see 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":1077.9-1078.13, see 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 Details

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 Details

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

Returns:

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

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

Returns:

The current field value of type LLJava.Block(never null)

See Also:

• block

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":410.9-79, see 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":1061.9-1062.13, see this pretty print.)
Generated getter method.

Returns:

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

See Also:

• exceptionTable

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":1061.9-1062.13, see this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

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

Returns:

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

See Also:

• exceptionTable

descend_exceptionTable

@Deprecated
public void descend_exceptionTable(LLJava.MATCH_ONLY_00 visitor)

Deprecated.

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

Returns:

The current field value of type Integer(maybe null)

See Also:

• maxLocals

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":1065.9-1066.13, see 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":1069.9-1070.13, see this pretty print.)
Generated getter method.

Returns:

The current field value of type Integer(maybe null)

See Also:

• maxOperands

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":1069.9-1070.13, see 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":1073.9-1074.13, see this pretty print.)
Generated getter method.

Returns:

The current field value of type CheckedSet<LLJava.Instruction(never null)>(never null)

See Also:

• stackMapPlaces

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":1073.9-1074.13, see 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

@Deprecated
public void descend_stackMapPlaces(LLJava.MATCH_ONLY_00 visitor)

Deprecated.

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

Returns:

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

See Also:

• stackMap

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":1077.9-1078.13, see 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

@Deprecated
public void descend_stackMap(LLJava.MATCH_ONLY_00 visitor)

Deprecated.

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.