Package eu.bandm.tools.lljava.absy
Class TypeChecker.Inferrer.InstructionProcessor
java.lang.Object
eu.bandm.tools.lljava.absy.LLJava.MATCH_ONLY_00
eu.bandm.tools.lljava.absy.LLJava.Visitor
eu.bandm.tools.lljava.absy.TypeChecker.Inferrer.InstructionProcessor
- Enclosing class:
- TypeChecker.Inferrer
-
Field Summary
Modifier and TypeFieldDescription(package private) final LLJava.Method
(package private) final TypeChecker.Focus
(package private) final LLJava.StackFrame
(package private) final LLJava.Instruction
Fields inherited from class eu.bandm.tools.lljava.absy.LLJava.Visitor
baseVisitorClass
Fields inherited from class eu.bandm.tools.lljava.absy.LLJava.MATCH_ONLY_00
_visitor_debug_stream, partial
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
protected void
protected void
protected void
protected void
action
(LLJava.Dup p) protected void
action
(LLJava.Get i) protected void
protected void
protected void
action
(LLJava.Inc i) protected void
protected void
Deprecated.protected void
protected void
protected void
protected void
protected void
protected void
action
(LLJava.Neg n) protected void
action
(LLJava.New n) protected void
action
(LLJava.Nop n) protected void
action
(LLJava.Pop p) protected void
action
(LLJava.Put i) protected void
protected void
protected void
protected void
protected void
protected void
(package private) TypeChecker.Focus
get()
Methods inherited from class eu.bandm.tools.lljava.absy.LLJava.Visitor
action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, follow_annotations, follow_annotations, follow_annotations, follow_annotations, follow_arguments, follow_arguments, follow_attrs, follow_attrs, follow_bootstrapArguments, follow_bootstrapMethods, follow_cases, follow_controlEnv, follow_dataEnv, follow_elems, follow_elems, follow_elems, follow_exceptions, follow_exceptionTable, follow_fields, follow_handlers, follow_innerClasses, follow_interfaces, follow_interfaces, follow_labels, follow_labels, follow_locals, follow_methods, follow_modifiers, follow_modifiers, follow_operands, follow_parameters, follow_parameters, follow_parameters, follow_pool, follow_qualifier, follow_stackMap, follow_stackMapPlaces, follow_typeParameters, follow_typeParameters
Methods inherited from class eu.bandm.tools.lljava.absy.LLJava.MATCH_ONLY_00
action, action, action, action, action, action, action, action, compile, followAll_annotations, followAll_annotations, followAll_annotations, followAll_annotations, followAll_arguments, followAll_arguments, followAll_attrs, followAll_attrs, followAll_bootstrapArguments, followAll_bootstrapMethods, followAll_cases, followAll_controlEnv, followAll_dataEnv, followAll_elems, followAll_elems, followAll_elems, followAll_exceptions, followAll_exceptionTable, followAll_fields, followAll_handlers, followAll_innerClasses, followAll_interfaces, followAll_interfaces, followAll_labels, followAll_labels, followAll_locals, followAll_methods, followAll_modifiers, followAll_modifiers, followAll_operands, followAll_parameters, followAll_parameters, followAll_parameters, followAll_pool, followAll_qualifier, followAll_stackMap, followAll_stackMapPlaces, followAll_typeParameters, followAll_typeParameters, foreignObject, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, nomatch
-
Field Details
-
context
-
incoming
-
instruction
-
focus
-
-
Constructor Details
-
InstructionProcessor
InstructionProcessor(LLJava.Method context, LLJava.Instruction instruction)
-
-
Method Details
-
get
TypeChecker.Focus get() -
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
Deprecated.- Overrides:
action
in classLLJava.Visitor
-