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

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
TypeChecker()

Method Summary

Modifier and Type	Method	Description
void	check(LLJava.Class c)
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)
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)

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)