public class TypeChecker extends LLJava.Visitor
Modifier and Type | Field and Description |
---|---|
static LLJava.VType |
booleanVType |
static LLJava.VType |
byteVType |
static LLJava.VType |
charVType |
static LLJava.VType |
classVType |
static LLJava.VType |
doubleVType |
static LLJava.VType |
floatVType |
static LLJava.VType |
intVType |
static LLJava.VType |
longVType |
static LLJava.VType |
methodHandleVType |
static LLJava.VType |
methodTypeVType |
static LLJava.VType |
nullVType |
static LLJava.VType |
objectVType |
static LLJava.VType |
referenceVType |
static LLJava.VType |
shortVType |
static LLJava.VType |
stringVType |
static LLJava.VType |
throwableVType |
static LLJava.VType |
topVType |
_visitor_debug_stream, partial
Constructor and Description |
---|
TypeChecker() |
Modifier and Type | Method and 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) |
action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action
action, action, action, action, action, action, action, action, 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
public static final LLJava.VType topVType
public static final LLJava.VType booleanVType
public static final LLJava.VType byteVType
public static final LLJava.VType shortVType
public static final LLJava.VType charVType
public static final LLJava.VType intVType
public static final LLJava.VType floatVType
public static final LLJava.VType longVType
public static final LLJava.VType doubleVType
public static final LLJava.VType referenceVType
public static final LLJava.VType objectVType
public static final LLJava.VType throwableVType
public static final LLJava.VType stringVType
public static final LLJava.VType classVType
public static final LLJava.VType methodHandleVType
public static final LLJava.VType methodTypeVType
public static final LLJava.VType nullVType
public void setMessageReceiver(MessageReceiver<? super SimpleMessage<SourceId>> msg)
public void setSubtypeOracle(BiPredicate<? super String,? super String> subtypeOracle)
public static LLJava.VType up(LLJava.VType t)
public static List<LLJava.VType> ups(LLJava.VType t)
public LLJava.VType lub(LLJava.VType t, LLJava.VType u)
public void check(LLJava.Class c)
public static boolean isInitializedReference(LLJava.VType type)
public static int size(LLJava.VType type)
public static boolean isPrimitive(LLJava.VType type)
see also the complete user documentation .