Package eu.bandm.tools.lljava.absy

Class TypeChecker

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

public class TypeChecker
extends LLJava.Visitor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) class	TypeChecker.Focus
(package private) class	TypeChecker.Inferrer

Field Summary

Fields

Modifier and Type	Field	Description
static final LLJava.VType	booleanVType
static final LLJava.VType	byteVType
static final LLJava.VType	charVType
static final LLJava.VType	classVType
static final LLJava.VType	doubleVType
static final LLJava.VType	floatVType
static final LLJava.VType	intVType
static final LLJava.VType	longVType
static final LLJava.VType	methodHandleVType
static final LLJava.VType	methodTypeVType
static final LLJava.VType	nullVType
static final LLJava.VType	objectVType
static final LLJava.VType	referenceVType
static final LLJava.VType	shortVType
static final LLJava.VType	stringVType
static final LLJava.VType	throwableVType
static final LLJava.VType	topVType

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
TypeChecker()

Method Summary

Modifier and Type	Method	Description
(package private) void	addLocal(LLJava.StackFrame frame, LLJava.VType type)
void	check(LLJava.Class c)
(package private) LLJava.StackFrame	copy(LLJava.StackFrame frame)
(package private) static <K, V> Map.Entry<K,V>	entry(K key, V value)
(package private) LLJava.StackFrame	initial(LLJava.ClassType owner, LLJava.Method m)
static boolean	isInitializedReference(LLJava.VType type)
static boolean	isPrimitive(LLJava.VType type)
LLJava.VType	lub(LLJava.VType t, LLJava.VType u)
void	setMessageReceiver(MessageReceiver<? super SimpleMessage<SourceId>> msg)
void	setSubtypeOracle(BiPredicate<? super String,? super String> subtypeOracle)
static int	size(LLJava.VType type)
(package private) static LLJava.VType	translate(LLJava.LoadArgument l)
(package private) static LLJava.ObjectVType	translate(LLJava.QualId cname)
(package private) static LLJava.ObjectVType	translate(LLJava.RefType t)
(package private) static LLJava.VType	translate(LLJava.Type t)
(package private) static LLJava.Type	unarray(LLJava.VType atype)
(package private) static LLJava.RefType	untranslate(LLJava.ObjectVType t)
(package private) static LLJava.Type	untranslate(LLJava.VType t)
static LLJava.VType	up(LLJava.VType t)
static List<LLJava.VType>	ups(LLJava.VType t)

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

topVType

public static final LLJava.VType topVType

booleanVType

public static final LLJava.VType booleanVType

byteVType

public static final LLJava.VType byteVType

shortVType

public static final LLJava.VType shortVType

charVType

public static final LLJava.VType charVType

intVType

public static final LLJava.VType intVType

floatVType

public static final LLJava.VType floatVType

longVType

public static final LLJava.VType longVType

doubleVType

public static final LLJava.VType doubleVType

referenceVType

public static final LLJava.VType referenceVType

objectVType

public static final LLJava.VType objectVType

throwableVType

public static final LLJava.VType throwableVType

stringVType

public static final LLJava.VType stringVType

classVType

public static final LLJava.VType classVType

methodHandleVType

public static final LLJava.VType methodHandleVType

methodTypeVType

public static final LLJava.VType methodTypeVType

nullVType

public static final LLJava.VType nullVType

Constructor Details

TypeChecker

public TypeChecker()

Method Details

setMessageReceiver

public void setMessageReceiver(MessageReceiver<? super SimpleMessage<SourceId>> msg)

setSubtypeOracle

public void setSubtypeOracle(BiPredicate<? super String,? super String> subtypeOracle)

up

public static LLJava.VType up(LLJava.VType t)

ups

public static List<LLJava.VType> ups(LLJava.VType t)

lub

public LLJava.VType lub(LLJava.VType t,
 LLJava.VType u)

copy

LLJava.StackFrame copy(LLJava.StackFrame frame)

addLocal

void addLocal(LLJava.StackFrame frame,
 LLJava.VType type)

initial

LLJava.StackFrame initial(LLJava.ClassType owner,
 LLJava.Method m)

translate

static LLJava.VType translate(LLJava.Type t)

translate

static LLJava.ObjectVType translate(LLJava.RefType t)

translate

static LLJava.ObjectVType translate(LLJava.QualId cname)

translate

static LLJava.VType translate(LLJava.LoadArgument l)

untranslate

static LLJava.Type untranslate(LLJava.VType t)

untranslate

static LLJava.RefType untranslate(LLJava.ObjectVType t)

entry

static <K,
V> Map.Entry<K,V> entry(K key,
 V value)

check

public void check(LLJava.Class c)

isInitializedReference

public static boolean isInitializedReference(LLJava.VType type)

size

public static int size(LLJava.VType type)

isPrimitive

public static boolean isPrimitive(LLJava.VType type)

unarray

static LLJava.Type unarray(LLJava.VType atype)