Uses of Class
eu.bandm.tools.lljava.absy.LLJava.VType
Package
Description
Abstract Syntax of LLJava, representing the byte code instructions, the objects which
contain byte code, and the attributes specific to byte code classes.
-
Uses of LLJava.VType in eu.bandm.tools.lljava.absy
Modifier and TypeClassDescriptionstatic class
Common superclass for all machine word types.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.Modifier and TypeFieldDescriptionstatic final LLJava.VType
TypeChecker.booleanVType
static final LLJava.VType
TypeChecker.byteVType
static final LLJava.VType
TypeChecker.charVType
static final LLJava.VType
TypeChecker.classVType
static final LLJava.VType
TypeChecker.doubleVType
static final LLJava.VType
TypeChecker.floatVType
static final LLJava.VType
TypeChecker.intVType
static final LLJava.VType
TypeChecker.longVType
static final LLJava.VType
TypeChecker.methodHandleVType
static final LLJava.VType
TypeChecker.methodTypeVType
static final LLJava.VType
TypeChecker.nullVType
static final LLJava.VType
TypeChecker.objectVType
static final LLJava.VType
TypeChecker.referenceVType
static final LLJava.VType
TypeChecker.shortVType
static final LLJava.VType
TypeChecker.stringVType
static final LLJava.VType
TypeChecker.throwableVType
static final LLJava.VType
TypeChecker.topVType
Modifier and TypeFieldDescriptionprotected CheckedList<LLJava.VType>
LLJava.StackFrame.locals
Generated by umod; model author's documentation MISSING.protected CheckedList<LLJava.VType>
LLJava.StackFrame.operands
Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionLLJava.VType.doclone()
Clones this object.Copies values of all common fields from the argument.(package private) LLJava.VType
ConstantPoolCollector.Creator.lookupParameterType
(List<? extends LLJava.MethodReferenceParameter> above) (package private) LLJava.VType
ConstantPoolCollector.Creator.lookupType
(List<? extends LLJava.Type> above) TypeChecker.lub
(LLJava.VType t, LLJava.VType u) (package private) LLJava.VType
TypeChecker.Focus.matchOperand
(LLJava.VType expected) (package private) LLJava.VType
TypeChecker.Focus.matchOperandArith()
(package private) LLJava.VType
TypeChecker.Focus.matchOperandFloating()
(package private) LLJava.VType
TypeChecker.Focus.matchOperandUninitialized
(LLJava.ObjectVType otype) (package private) static LLJava.VType
TypeChecker.translate
(LLJava.LoadArgument l) (package private) static LLJava.VType
TypeChecker.translate
(LLJava.Type t) static LLJava.VType
TypeChecker.up
(LLJava.VType t) Modifier and TypeMethodDescriptionLLJava.StackFrame.get_locals()
Generated by umod; model author's documentation MISSING.LLJava.StackFrame.get_operands()
Generated by umod; model author's documentation MISSING.static Pattern<LLJava.VType>
LLJava.__Patterns.term_VType
(Pattern<Object> superpattern) static List<LLJava.VType>
TypeChecker.ups
(LLJava.VType t) Modifier and TypeMethodDescriptionprotected void
LLJava.__Formatter.action
(LLJava.VType el) protected void
LLJava.MATCH_ONLY_00.action
(LLJava.VType e0) protected void
LLJava.MultiVisitor.action
(LLJava.VType e0) protected void
LLJava.Visitor.action
(LLJava.VType e0) (package private) void
TypeChecker.addLocal
(LLJava.StackFrame frame, LLJava.VType type) (package private) void
TypeChecker.Focus.addOperand
(LLJava.VType type) protected void
LLJava.MultiVisitor.descend
(LLJava.VType e0) static boolean
TypeChecker.isInitializedReference
(LLJava.VType type) static boolean
TypeChecker.isPrimitive
(LLJava.VType type) TypeChecker.lub
(LLJava.VType t, LLJava.VType u) void
LLJava.MATCH_ONLY_00.match
(LLJava.VType e0) (package private) LLJava.VType
TypeChecker.Focus.matchOperand
(LLJava.VType expected) protected void
LLJava.MultiVisitor.post
(LLJava.VType e0) protected void
LLJava.MultiVisitor.pre
(LLJava.VType e0) (package private) void
TypeChecker.Focus.setLocal
(int index, LLJava.VType type) static int
TypeChecker.size
(LLJava.VType type) boolean
TypeChecker.Focus.subtype
(LLJava.VType t, LLJava.VType u) (package private) boolean
TypeChecker.Focus.testOperand
(LLJava.VType expected) protected Format
LLJava.__Formatter.toFormat
(LLJava.VType el) (package private) static LLJava.Type
TypeChecker.unarray
(LLJava.VType atype) (package private) static LLJava.Type
TypeChecker.untranslate
(LLJava.VType t) static LLJava.VType
TypeChecker.up
(LLJava.VType t) static List<LLJava.VType>
TypeChecker.ups
(LLJava.VType t) Modifier and TypeMethodDescriptionLLJava.__Patterns.cast_VType
(Pattern<? super LLJava.VType> p) static Pattern<LLJava.StackFrame>
LLJava.StackFrame.get_locals
(Pattern<? super CheckedList<LLJava.VType>> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.StackFrame>
LLJava.StackFrame.get_operands
(Pattern<? super CheckedList<LLJava.VType>> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.Category1VType>
LLJava.__Patterns.term_Category1VType
(Pattern<? super LLJava.VType> superpattern) static Pattern<LLJava.Category2VType>
LLJava.__Patterns.term_Category2VType
(Pattern<? super LLJava.VType> superpattern) static Pattern<LLJava.TopVType>
LLJava.__Patterns.term_TopVType
(Pattern<? super LLJava.VType> superpattern) LLJava.StackFrame.with_locals
(CheckedList<LLJava.VType> val) Generated by umod; model author's documentation MISSING.LLJava.StackFrame.with_operands
(CheckedList<LLJava.VType> val) Generated by umod; model author's documentation MISSING. -
Uses of LLJava.VType in eu.bandm.tools.lljava.codec
Modifier and TypeMethodDescription(package private) LLJava.VType
Encoder.top
(LLJava.StackFrame frame) (package private) LLJava.VType
Encoder.top2
(LLJava.StackFrame frame) Modifier and TypeMethodDescription(package private) void
Encoder.types
(List<? extends LLJava.VType> types)