Uses of Class
eu.bandm.tools.lljava.absy.LLJava.StackFrameDelta

Packages that use LLJava.StackFrameDelta

Package	Description
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.
eu.bandm.tools.lljava.codec

Uses of LLJava.StackFrameDelta in eu.bandm.tools.lljava.absy

Fields in eu.bandm.tools.lljava.absy with type parameters of type LLJava.StackFrameDelta

Modifier and Type	Field	Description
protected CheckedList<LLJava.StackFrameDelta>	LLJava.CodeMethodBody.stackMap	A stack map specifying the static type analysis of the code of this method.

Methods in eu.bandm.tools.lljava.absy that return LLJava.StackFrameDelta

Modifier and Type	Method	Description
LLJava.StackFrameDelta	LLJava.StackFrameDelta.doclone()	Clones this object.
LLJava.StackFrameDelta	LLJava.StackFrameDelta.initFrom(Object o0)	Copies values of all common fields from the argument.
LLJava.StackFrameDelta	LLJava.StackFrameDelta.with_delta(int val)	Generated by umod; model author's documentation MISSING.
LLJava.StackFrameDelta	LLJava.StackFrameDelta.with_next(LLJava.StackFrame val)	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy that return types with arguments of type LLJava.StackFrameDelta

Modifier and Type	Method	Description
static Pattern<LLJava.StackFrameDelta>	LLJava.StackFrameDelta.get_delta(Pattern<? super Integer> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.StackFrameDelta>	LLJava.StackFrameDelta.get_next(Pattern<? super LLJava.StackFrame> p)	Lifts a pattern which matches the field value to one which matches this whole object.
CheckedList<LLJava.StackFrameDelta>	LLJava.CodeMethodBody.get_stackMap()	A stack map specifying the static type analysis of the code of this method.
static Pattern<LLJava.StackFrameDelta>	LLJava.__Patterns.term_StackFrameDelta(Pattern<Object> superpattern, Pattern<? super Integer> p_delta, Pattern<? super LLJava.StackFrame> p_next)

Methods in eu.bandm.tools.lljava.absy with parameters of type LLJava.StackFrameDelta

Modifier and Type	Method	Description
protected void	LLJava.__Formatter.action(LLJava.StackFrameDelta el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.StackFrameDelta e0)
protected void	LLJava.MultiVisitor.action(LLJava.StackFrameDelta e0)
protected void	LLJava.Visitor.action(LLJava.StackFrameDelta e0)
protected void	LLJava.MultiVisitor.descend(LLJava.StackFrameDelta e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.StackFrameDelta e0)
protected void	LLJava.MultiVisitor.post(LLJava.StackFrameDelta e0)
protected void	LLJava.MultiVisitor.pre(LLJava.StackFrameDelta e0)
protected Format	LLJava.__Formatter.toFormat(LLJava.StackFrameDelta el)
boolean	LLJava.StackFrameDelta.x_equals(LLJava.StackFrameDelta e0)

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type LLJava.StackFrameDelta

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__Patterns.cast_StackFrameDelta(Pattern<? super LLJava.StackFrameDelta> p)
static Pattern<LLJava.CodeMethodBody>	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.
boolean	LLJava.CodeMethodBody.set_stackMap(CheckedList<LLJava.StackFrameDelta> val)	A stack map specifying the static type analysis of the code of this method.

Uses of LLJava.StackFrameDelta in eu.bandm.tools.lljava.codec

Methods in eu.bandm.tools.lljava.codec with parameters of type LLJava.StackFrameDelta

Modifier and Type	Method	Description
protected void	Encoder.descend(LLJava.StackFrameDelta x)