Package eu.bandm.tools.lljava.absy

Class TypeChecker.Focus

java.lang.Object

eu.bandm.tools.lljava.absy.TypeChecker.Focus

Enclosing class:

TypeChecker

class TypeChecker.Focus
extends Object

Constructor Summary

Constructors

Constructor	Description
Focus(Location<SourceId> location, LLJava.StackFrame frame)

Method Summary

Modifier and Type	Method	Description
(package private) void	addOperand(LLJava.VType type)
(package private) LLJava.StackFrame	exceptionally(LLJava.ObjectVType type)
TypeChecker.Focus	join(LLJava.StackFrame t)
(package private) LLJava.VType	matchOperand(LLJava.VType expected)
(package private) LLJava.VType	matchOperandArith()
(package private) LLJava.VType	matchOperandFloating()
(package private) LLJava.VType	matchOperandUninitialized(LLJava.ObjectVType otype)
(package private) void	setLocal(int index, LLJava.VType type)
boolean	subtype(LLJava.VType t, LLJava.VType u)
(package private) boolean	testOperand(LLJava.VType expected)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Focus

Focus(Location<SourceId> location,
 LLJava.StackFrame frame)

Method Details

toString

public String toString()

Overrides:

toString in class Object

subtype

public boolean subtype(LLJava.VType t,
 LLJava.VType u)

matchOperand

LLJava.VType matchOperand(LLJava.VType expected)

matchOperandArith

LLJava.VType matchOperandArith()

matchOperandFloating

LLJava.VType matchOperandFloating()

testOperand

boolean testOperand(LLJava.VType expected)

matchOperandUninitialized

LLJava.VType matchOperandUninitialized(LLJava.ObjectVType otype)

addOperand

void addOperand(LLJava.VType type)

exceptionally

LLJava.StackFrame exceptionally(LLJava.ObjectVType type)

setLocal

void setLocal(int index,
 LLJava.VType type)

join

public TypeChecker.Focus join(LLJava.StackFrame t)