Package eu.bandm.tools.lljava.absy

Class ContextChecker.EnvironmentAnnotator

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

Enclosing class:

ContextChecker

class ContextChecker.EnvironmentAnnotator
extends LLJava.Visitor

Field Summary

Fields

Modifier and Type	Field	Description
(package private) LLJava.Node	context
(package private) final Map<LLJava.Name,LLJava.Block>	controlEnv
(package private) final Map<LLJava.Name,LLJava.Slot>	dataEnv
(package private) boolean	isStatic
(package private) int	localCount
(package private) final LLJava.ClassType	owner
(package private) final ContextChecker.EnvironmentAnnotator	parent

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
EnvironmentAnnotator(ContextChecker.EnvironmentAnnotator parent)
EnvironmentAnnotator(ContextChecker.EnvironmentAnnotator parent, Map<LLJava.Name,LLJava.Slot> dataEnv)
EnvironmentAnnotator(LLJava.ClassType owner)

Method Summary

Modifier and Type	Method	Description
protected void	action(LLJava.Block x)
protected void	action(LLJava.GotoInterval x)
protected void	action(LLJava.GotoPoint x)
protected void	action(LLJava.Instruction x)
protected void	action(LLJava.Local x)
protected void	action(LLJava.Method x)
protected void	action(LLJava.This x)
protected void	action(LLJava.VariableRef x)
(package private) void	addLocal(LLJava.Variable var)
(package private) LLJava.Block	resolveControl(LLJava.Name label)
(package private) LLJava.Slot	resolveData(LLJava.Name name)
(package private) void	superaction(LLJava.Block 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, 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

Field Details

parent

final ContextChecker.EnvironmentAnnotator parent

owner

final LLJava.ClassType owner

controlEnv

final Map<LLJava.Name,LLJava.Block> controlEnv

dataEnv

final Map<LLJava.Name,LLJava.Slot> dataEnv

localCount

int localCount

context

LLJava.Node context

isStatic

boolean isStatic

Constructor Details

EnvironmentAnnotator

EnvironmentAnnotator(LLJava.ClassType owner)

EnvironmentAnnotator

EnvironmentAnnotator(ContextChecker.EnvironmentAnnotator parent)

EnvironmentAnnotator

EnvironmentAnnotator(ContextChecker.EnvironmentAnnotator parent,
 Map<LLJava.Name,LLJava.Slot> dataEnv)

Method Details

action

protected void action(LLJava.Method x)

Overrides:

action in class LLJava.Visitor

superaction

void superaction(LLJava.Block x)

action

protected void action(LLJava.Block x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Instruction x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Local x)

Overrides:

action in class LLJava.Visitor

addLocal

void addLocal(LLJava.Variable var)

action

protected void action(LLJava.GotoPoint x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.GotoInterval x)

Overrides:

action in class LLJava.Visitor

resolveControl

LLJava.Block resolveControl(LLJava.Name label)

action

protected void action(LLJava.This x)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.VariableRef x)

Overrides:

action in class LLJava.Visitor

resolveData

LLJava.Slot resolveData(LLJava.Name name)