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

Packages that use LLJava.Instruction

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
eu.bandm.tools.lljava.parser

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

Subclasses of LLJava.Instruction in eu.bandm.tools.lljava.absy

Modifier and Type	Class and Description
static class	LLJava.Add Generated by umod; model author's documentation MISSING.
static class	LLJava.And Generated by umod; model author's documentation MISSING.
static class	LLJava.ArithInstruction Generated by umod; model author's documentation MISSING.
static class	LLJava.Cast Generated by umod; model author's documentation MISSING.
static class	LLJava.Cmp Generated by umod; model author's documentation MISSING.
static class	LLJava.CmpFloating Generated by umod; model author's documentation MISSING.
static class	LLJava.CmpGT Generated by umod; model author's documentation MISSING.
static class	LLJava.CmpIntegral Generated by umod; model author's documentation MISSING.
static class	LLJava.CmpLT Generated by umod; model author's documentation MISSING.
static class	LLJava.Div Generated by umod; model author's documentation MISSING.
static class	LLJava.Dup Generated by umod; model author's documentation MISSING.
static class	LLJava.Enter Generated by umod; model author's documentation MISSING.
static class	LLJava.Exit Generated by umod; model author's documentation MISSING.
static class	LLJava.FieldAccess Generated by umod; model author's documentation MISSING.
static class	LLJava.Get Generated by umod; model author's documentation MISSING.
static class	LLJava.Goto Generated by umod; model author's documentation MISSING.
static class	LLJava.If Generated by umod; model author's documentation MISSING.
static class	LLJava.Inc Generated by umod; model author's documentation MISSING.
static class	LLJava.Instanceof Generated by umod; model author's documentation MISSING.
static class	LLJava.Invoke Syntactic expression denoting a variant of the invoke instruction family.
static class	LLJava.Jump Generated by umod; model author's documentation MISSING.
static class	LLJava.Length Generated by umod; model author's documentation MISSING.
static class	LLJava.Load Generated by umod; model author's documentation MISSING.
static class	LLJava.MethodHandleTarget Abstract base class of instructions that may be reified as method handle targets.
static class	LLJava.Monitor Generated by umod; model author's documentation MISSING.
static class	LLJava.Mul Generated by umod; model author's documentation MISSING.
static class	LLJava.Neg Generated by umod; model author's documentation MISSING.
static class	LLJava.New Generated by umod; model author's documentation MISSING.
static class	LLJava.Nop Generated by umod; model author's documentation MISSING.
static class	LLJava.Or Generated by umod; model author's documentation MISSING.
static class	LLJava.Pop Generated by umod; model author's documentation MISSING.
static class	LLJava.Put Generated by umod; model author's documentation MISSING.
static class	LLJava.Rem Generated by umod; model author's documentation MISSING.
static class	LLJava.Return Generated by umod; model author's documentation MISSING.
static class	LLJava.Shift Generated by umod; model author's documentation MISSING.
static class	LLJava.Shl Generated by umod; model author's documentation MISSING.
static class	LLJava.Shr Generated by umod; model author's documentation MISSING.
static class	LLJava.Store Generated by umod; model author's documentation MISSING.
static class	LLJava.Sub Generated by umod; model author's documentation MISSING.
static class	LLJava.Swap Generated by umod; model author's documentation MISSING.
static class	LLJava.Switch Generated by umod; model author's documentation MISSING.
static class	LLJava.Throw Generated by umod; model author's documentation MISSING.
static class	LLJava.Try Generated by umod; model author's documentation MISSING.
static class	LLJava.TypeInstruction Generated by umod; model author's documentation MISSING.
static class	LLJava.UShr Generated by umod; model author's documentation MISSING.
static class	LLJava.XOr Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.lljava.absy declared as LLJava.Instruction

Modifier and Type	Field and Description
protected LLJava.Instruction	Verify.UninitializedNew.offset

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

Modifier and Type	Field and Description
protected CheckedSet<LLJava.Instruction>	LLJava.CodeMethodBody.stackMapPlaces The set of instructions requiring stack map information in the code of this method.

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

Modifier and Type	Method and Description
LLJava.Instruction	LLJava.Instruction.doclone() Clones this object.
LLJava.Instruction	Verify.UninitializedNew.get_offset()
static LLJava.Instruction	Factory.goto_(LLJava.Name target)
static LLJava.Instruction	Factory.if_(LLJava.Condition cond, LLJava.Name target)
static LLJava.Instruction	Factory.inc(LLJava.VariableRef var, int diff)
LLJava.Instruction	LLJava.Instruction.initFrom(Object o0) Copies values of all common fields from the argument.
static LLJava.Instruction	Factory.length()
static LLJava.Instruction	Factory.load(int value)
static LLJava.Instruction	Factory.load(LLJava.LoadArgument arg)
static LLJava.Instruction	Factory.load(LLJava.Variable var)
static LLJava.Instruction	Factory.return_()
static LLJava.Instruction	Factory.store(LLJava.StoreArgument arg)
static LLJava.Instruction	Factory.store(LLJava.Variable var)

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

Modifier and Type	Method and Description
Multimap<LLJava.Instruction,LLJava.Exception>	ControlFlowAnalyzer.ControlFlow.exceptional()
Map<LLJava.Block,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.first()
static Pattern<LLJava.Instruction>	LLJava.Instruction.get_post(Pattern<? super LLJava.StackFrame> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Instruction>	LLJava.Instruction.get_pre(Pattern<? super LLJava.StackFrame> p) Lifts a pattern which matches the field value to one which matches this whole object.
CheckedSet<LLJava.Instruction>	LLJava.CodeMethodBody.get_stackMapPlaces() The set of instructions requiring stack map information in the code of this method.
Set<LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.reachable()
Multimap<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.regular()
Multimap<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.regular()
static Pattern<? super LLJava.Instruction>	LLJava.__Patterns.term_Instruction(Pattern<? super LLJava.Statement> superpattern, Pattern<? super LLJava.StackFrame> p_pre, Pattern<? super LLJava.StackFrame> p_post)

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

Modifier and Type	Method and Description
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Instruction e0)
protected void	LLJava.MultiVisitor.action(LLJava.Instruction e0)
protected void	LLJava.Visitor.action(LLJava.Instruction e0)
protected void	LLJava.__Formatter.action(LLJava.Instruction el)
protected void	Verify.MATCH_ONLY_00.action(LLJava.Instruction e0)
void	ControlFlowSynthesizer.add(LLJava.Instruction instruction, int size)
protected void	LLJava.MultiVisitor.descend(LLJava.Instruction e0)
@Opt Interval	ControlFlowSynthesizer.getInterval(LLJava.Instruction instruction)
void	LLJava.MATCH_ONLY_00.match(LLJava.Instruction e0)
protected void	LLJava.MultiVisitor.post(LLJava.Instruction e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Instruction e0)
protected Format	LLJava.__Formatter.toFormat(LLJava.Instruction el)
Verify.UninitializedNew	Verify.UninitializedNew.with_offset(LLJava.Instruction val)

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

Modifier and Type	Method and Description
static Pattern<Object>	LLJava.__Patterns.cast_Instruction(Pattern<? super LLJava.Instruction> p)
static Pattern<Verify.UninitializedNew>	Verify.UninitializedNew.get_offset(Pattern<? super LLJava.Instruction> p)
static Pattern<LLJava.CodeMethodBody>	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.
boolean	LLJava.CodeMethodBody.set_stackMapPlaces(CheckedSet<LLJava.Instruction> val) The set of instructions requiring stack map information in the code of this method.
static Pattern<? super LLJava.ArithInstruction>	LLJava.__Patterns.term_ArithInstruction(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.CodeMethodBody>	LLJava.__Patterns.term_CodeMethodBody(Pattern<? super LLJava.MethodBody> superpattern, Pattern<? super LLJava.Block> p_block, Pattern<? super CheckedList<LLJava.Exception>> p_exceptionTable, Pattern<? super Integer> p_maxLocals, Pattern<? super Integer> p_maxOperands, Pattern<? super CheckedSet<LLJava.Instruction>> p_stackMapPlaces, Pattern<? super CheckedList<LLJava.StackFrameDelta>> p_stackMap)
static Pattern<? super LLJava.Dup>	LLJava.__Patterns.term_Dup(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.If>	LLJava.__Patterns.term_If(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super Boolean> p_neg, Pattern<? super LLJava.Condition> p_condition, Pattern<? super LLJava.CodePoint> p_body)
static Pattern<? super LLJava.Jump>	LLJava.__Patterns.term_Jump(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.Length>	LLJava.__Patterns.term_Length(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.Load>	LLJava.__Patterns.term_Load(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.LoadArgument> p_arg)
static Pattern<? super LLJava.MethodHandleTarget>	LLJava.__Patterns.term_MethodHandleTarget(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.MemberReference> p_target)
static Pattern<? super LLJava.Monitor>	LLJava.__Patterns.term_Monitor(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.Nop>	LLJava.__Patterns.term_Nop(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.Pop>	LLJava.__Patterns.term_Pop(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.Store>	LLJava.__Patterns.term_Store(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.StoreArgument> p_arg)
static Pattern<? super LLJava.Swap>	LLJava.__Patterns.term_Swap(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<? super LLJava.Switch>	LLJava.__Patterns.term_Switch(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super CheckedList<LLJava.Case>> p_cases)
static Pattern<? super LLJava.Try>	LLJava.__Patterns.term_Try(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.CodeInterval> p_body, Pattern<? super CheckedList<LLJava.Handler>> p_handlers)
static Pattern<? super LLJava.TypeInstruction>	LLJava.__Patterns.term_TypeInstruction(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.TypeExpr> p_type, Pattern<? super LLJava.ClassRef> p_entry)
static Pattern<? super Verify.UninitializedNew>	Verify.__Patterns.term_UninitializedNew(Pattern<? super Verify.Category1> superpattern, Pattern<? super LLJava.Instruction> p_offset)

Constructors in eu.bandm.tools.lljava.absy with parameters of type LLJava.Instruction

Constructor and Description
UninitializedNew(LLJava.Instruction offset)

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

Methods in eu.bandm.tools.lljava.codec that return LLJava.Instruction

Modifier and Type	Method and Description
protected LLJava.Instruction	Decoder.InstructionDecoder.decodeInstruction(int pc)

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

Modifier and Type	Method and Description
protected void	Encoder.pre(LLJava.Instruction x)

Uses of LLJava.Instruction in eu.bandm.tools.lljava.parser

Methods in eu.bandm.tools.lljava.parser that return LLJava.Instruction

Modifier and Type	Method and Description
protected LLJava.Instruction	LLJavaParser.simpleInstruction(LLJavaLexer.TokenType type)
protected abstract LLJava.Instruction	LLJavaGrammar.simpleInstruction(Reducer.Context<SourceId> context, LLJavaLexer.TokenType type)
protected LLJava.Instruction	LLJavaParser.simpleInstruction(Reducer.Context<SourceId> context, LLJavaLexer.TokenType type)

Methods in eu.bandm.tools.lljava.parser that return types with arguments of type LLJava.Instruction

Modifier and Type	Method and Description
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Instruction>	LLJavaGrammar.instruction(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)