Package eu.bandm.tools.lljava.absy

Class ContextChecker.Typer

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.Typer

Enclosing class:

ContextChecker

class ContextChecker.Typer
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
Typer()
Typer(ContextChecker.Typer parent)

Method Summary

Modifier and Type	Method	Description
protected void	action(LLJava.ArrayTypeExpr x)
protected void	action(LLJava.Class x)
protected void	action(LLJava.ClassTypeExpr x)
protected void	action(LLJava.Field x)
protected void	action(LLJava.Local x)
protected void	action(LLJava.LowerTypeBound x)
protected void	action(LLJava.Method m)
protected void	action(LLJava.Parameter x)
protected void	action(LLJava.ReturnsExpr x)
protected void	action(LLJava.UpperTypeBound x)
protected void	action(LLJava.VoidExpr x)
protected void	action(LLJava.Wildcard 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, 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

Typer

Typer()

Typer

Typer(ContextChecker.Typer parent)

Method Details

action

protected void action(LLJava.Class x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Field x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Method m)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.VoidExpr x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.ReturnsExpr x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.ClassTypeExpr x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.ArrayTypeExpr x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Wildcard x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.UpperTypeBound x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.LowerTypeBound x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Parameter x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Local x)

Overrides:

action in class LLJava.Visitor