Package eu.bandm.tools.lljava.absy
Class TypeChecker.Inferrer
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
- Enclosing class:
- TypeChecker
-
Nested Class Summary
Modifier and TypeClassDescription(package private) class
-
Field Summary
Modifier and TypeFieldDescription(package private) final Map<LLJava.Instruction,
TypeChecker.Focus> (package private) LLJava.ClassType
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
int
int
(package private) TypeChecker.Focus
process
(LLJava.Method context, LLJava.Instruction i) 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, 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
-
map
-
owner
LLJava.ClassType owner
-
-
Constructor Details
-
Inferrer
Inferrer()
-
-
Method Details
-
getMaxLocals
public int getMaxLocals() -
getMaxOperands
public int getMaxOperands() -
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
action
- Overrides:
action
in classLLJava.Visitor
-
process
-