Package eu.bandm.tools.lljava.absy

Class ContextChecker.InstructionChecker

java.lang.Object

eu.bandm.tools.lljava.absy.LLJava.MATCH_ONLY_00

eu.bandm.tools.lljava.absy.LLJava.Visitor

eu.bandm.tools.lljava.absy.ContextChecker.InstructionChecker

Enclosing class:

ContextChecker

class ContextChecker.InstructionChecker
extends LLJava.Visitor

Field Summary

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

Constructors

Constructor	Description
InstructionChecker()

Method Summary

Modifier and Type	Method	Description
protected void	action(LLJava.Invoke x)
protected void	action(LLJava.New x)

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, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

InstructionChecker

InstructionChecker()

Method Details

action

protected void action(LLJava.New x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Invoke x)

Overrides:

action in class LLJava.Visitor