Uses of Class
eu.bandm.tools.lljava.absy.LLJava.VType

Packages that use LLJava.VType

Package	Description
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.
eu.bandm.tools.lljava.codec

Uses of LLJava.VType in eu.bandm.tools.lljava.absy

Subclasses of LLJava.VType in eu.bandm.tools.lljava.absy

Modifier and Type	Class	Description
static class	LLJava.AbstractIntVType	Common superclass for all machine word types.
static class	LLJava.BooleanVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.ByteVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.Category1VType	Generated by umod; model author's documentation MISSING.
static class	LLJava.Category2VType	Generated by umod; model author's documentation MISSING.
static class	LLJava.CharVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.DoubleVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.FloatVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.IntVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.LongVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.NullVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.ObjectVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.OneWordVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.ReferenceVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.ShortVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.TopVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.TwoWordVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.UninitializedNewVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.UninitializedThisVType	Generated by umod; model author's documentation MISSING.
static class	LLJava.UninitializedVType	Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.lljava.absy declared as LLJava.VType

Modifier and Type	Field	Description
static 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

Fields in eu.bandm.tools.lljava.absy with type parameters of type LLJava.VType

Modifier and Type	Field	Description
protected 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.

Methods in eu.bandm.tools.lljava.absy that return LLJava.VType

Modifier and Type	Method	Description
LLJava.VType	LLJava.VType.doclone()	Clones this object.
LLJava.VType	LLJava.VType.initFrom(Object o0)	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)
LLJava.VType	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)

Methods in eu.bandm.tools.lljava.absy that return types with arguments of type LLJava.VType

Modifier and Type	Method	Description
CheckedList<LLJava.VType>	LLJava.StackFrame.get_locals()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.VType>	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)

Methods in eu.bandm.tools.lljava.absy with parameters of type LLJava.VType

Modifier and Type	Method	Description
protected 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)
LLJava.VType	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)

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type LLJava.VType

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__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	LLJava.StackFrame.with_locals(CheckedList<LLJava.VType> val)	Generated by umod; model author's documentation MISSING.
LLJava.StackFrame	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

Methods in eu.bandm.tools.lljava.codec that return LLJava.VType

Modifier and Type	Method	Description
(package private) LLJava.VType	Encoder.top(LLJava.StackFrame frame)
(package private) LLJava.VType	Encoder.top2(LLJava.StackFrame frame)

Method parameters in eu.bandm.tools.lljava.codec with type arguments of type LLJava.VType

Modifier and Type	Method	Description
(package private) void	Encoder.types(List<? extends LLJava.VType> types)