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	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	Description
(package private) LLJava.Instruction	ConstantPoolCollector.Creator.currentInsn
(package private) final LLJava.Instruction	TypeChecker.Inferrer.InstructionProcessor.instruction
protected LLJava.Instruction	Verify.UninitializedNew.offset
(package private) LLJava.Instruction	ControlFlowAnalyzer.ControlFlow.Item.prev
(package private) LLJava.Instruction	ControlFlowAnalyzer.ControlFlow.root

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

Modifier and Type	Field	Description
(package private) Multimap<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.branch
(package private) Multimap<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.branch
(package private) Multimap<LLJava.Instruction,LLJava.Exception>	ControlFlowAnalyzer.ControlFlow.exceptional
(package private) Map<LLJava.Block,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.first
(package private) Map<LLJava.Block,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.follow
(package private) Multimap<LLJava.Instruction,LLJava.Exception>	ControlFlowAnalyzer.ControlFlow.handlers
(package private) final Map<LLJava.Instruction,TypeChecker.Focus>	TypeChecker.Inferrer.map
(package private) Set<LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.reachable
(package private) Multimap<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.regular
(package private) Multimap<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.regular
protected CheckedSet<LLJava.Instruction>	LLJava.CodeMethodBody.stackMapPlaces	The set of instructions requiring stack map information in the code of this method.
(package private) Map<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.trunk
(package private) Map<LLJava.Instruction,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.trunk

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

Modifier and Type	Method	Description
LLJava.Instruction	LLJava.Instruction.doclone()	Clones this object.
LLJava.Instruction	Verify.UninitializedNew.get_offset()
LLJava.Instruction	LLJava.Instruction.initFrom(Object o0)	Copies values of all common fields from the argument.

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

Modifier and Type	Method	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<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	Description
protected void	ContextChecker.EnvironmentAnnotator.action(LLJava.Instruction x)
protected void	LLJava.__Formatter.action(LLJava.Instruction el)
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	TypeChecker.Inferrer.InstructionProcessor.action(LLJava.Instruction i)	Deprecated.
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	ConstantPoolCollector.Creator.pre(LLJava.Instruction x)
protected void	LLJava.MultiVisitor.pre(LLJava.Instruction e0)
(package private) TypeChecker.Focus	TypeChecker.Inferrer.process(LLJava.Method context, LLJava.Instruction i)
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	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<LLJava.ArithInstruction>	LLJava.__Patterns.term_ArithInstruction(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<LLJava.Dup>	LLJava.__Patterns.term_Dup(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<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<LLJava.Jump>	LLJava.__Patterns.term_Jump(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<LLJava.Length>	LLJava.__Patterns.term_Length(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<LLJava.Load>	LLJava.__Patterns.term_Load(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.LoadArgument> p_arg)
static Pattern<LLJava.MethodHandleTarget>	LLJava.__Patterns.term_MethodHandleTarget(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.MemberReference> p_target)
static Pattern<LLJava.Monitor>	LLJava.__Patterns.term_Monitor(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<LLJava.Nop>	LLJava.__Patterns.term_Nop(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<LLJava.Pop>	LLJava.__Patterns.term_Pop(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<LLJava.Store>	LLJava.__Patterns.term_Store(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.StoreArgument> p_arg)
static Pattern<LLJava.Swap>	LLJava.__Patterns.term_Swap(Pattern<? super LLJava.Instruction> superpattern)
static Pattern<LLJava.Switch>	LLJava.__Patterns.term_Switch(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super CheckedList<LLJava.Case>> p_cases)
static Pattern<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<LLJava.TypeInstruction>	LLJava.__Patterns.term_TypeInstruction(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.TypeExpr> p_type, Pattern<? super LLJava.ClassRef> p_entry)

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

Modifier	Constructor	Description
(package private)	InstructionProcessor(LLJava.Method context, LLJava.Instruction instruction)
(package private)	Item(LLJava.Instruction prev, LLJava.Block next, boolean jumpy)
	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	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	Description
(package private) void	Encoder.arith(LLJava.Instruction i, byte baseOpcode, boolean floating)
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	Description
protected abstract LLJava.Instruction	LLJavaGrammar.simpleInstruction(Reducer.Context<SourceId> context, LLJavaLexer.TokenType type)
protected LLJava.Instruction	LLJavaParser.simpleInstruction(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	Description
final Expression<SourceId,LLJavaLexer.TokenType,LLJava.Instruction>	LLJavaGrammar.instruction(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)