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

class TypeChecker.Inferrer.InstructionProcessor
extends LLJava.Visitor

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final LLJava.Method	context
(package private) final TypeChecker.Focus	focus
(package private) final LLJava.StackFrame	incoming
(package private) final LLJava.Instruction	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

Constructors

Constructor	Description
InstructionProcessor(LLJava.Method context, LLJava.Instruction instruction)

Method Summary

Modifier and Type	Method	Description
protected void	action(LLJava.ArithInstruction a)
protected void	action(LLJava.Cast c)
protected void	action(LLJava.CmpFloating c)
protected void	action(LLJava.CmpIntegral c)
protected void	action(LLJava.Dup p)
protected void	action(LLJava.Get i)
protected void	action(LLJava.Goto g)
protected void	action(LLJava.If i)
protected void	action(LLJava.Inc i)
protected void	action(LLJava.Instanceof i)
protected void	action(LLJava.Instruction i)	Deprecated.
protected void	action(LLJava.Invoke i)
protected void	action(LLJava.Length l)
protected void	action(LLJava.Load i)
protected void	action(LLJava.Local l)
protected void	action(LLJava.Monitor m)
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	action(LLJava.Return r)
protected void	action(LLJava.Shift a)
protected void	action(LLJava.Store s)
protected void	action(LLJava.Swap s)
protected void	action(LLJava.Switch s)
protected void	action(LLJava.Throw t)
(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

Methods inherited from class java.lang.Object

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

Field Details

context

final LLJava.Method context

incoming

final LLJava.StackFrame incoming

instruction

final LLJava.Instruction instruction

focus

final TypeChecker.Focus focus

Constructor Details

InstructionProcessor

InstructionProcessor(LLJava.Method context,
 LLJava.Instruction instruction)

Method Details

get

TypeChecker.Focus get()

action

protected void action(LLJava.Get i)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Put i)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Load i)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Store s)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Invoke i)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Return r)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Throw t)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Local l)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.New n)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.If i)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Switch s)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Goto g)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Nop n)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Pop p)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Dup p)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Swap s)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.ArithInstruction a)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Shift a)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Inc i)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Neg n)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.CmpIntegral c)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.CmpFloating c)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Cast c)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Instanceof i)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Length l)

Overrides:

action in class LLJava.Visitor

action

protected void action(LLJava.Monitor m)

Overrides:

action in class LLJava.Visitor

action

@Deprecated
protected void action(LLJava.Instruction i)

Deprecated.

Overrides:

action in class LLJava.Visitor