Uses of Class
org.classdump.luna.compiler.analysis.types.TypeSeq

Packages that use TypeSeq

Package	Description
org.classdump.luna.compiler.analysis	Static analysis of Lua programs operating on the IR.
org.classdump.luna.compiler.analysis.types	Classes representing Lua types, used in static analysis.

Uses of TypeSeq in org.classdump.luna.compiler.analysis

Methods in org.classdump.luna.compiler.analysis that return TypeSeq

Modifier and Type	Method and Description
TypeSeq	TypeInfo.returnType()
TypeSeq	TypeInfo.typeOf(MultiVal mv)

Methods in org.classdump.luna.compiler.analysis with parameters of type TypeSeq

Modifier and Type	Method and Description
static TypeInfo	TypeInfo.of(Map<Val,Type> valTypes, Map<PhiVal,Type> phiValTypes, Map<MultiVal,TypeSeq> multiValTypes, Set<Var> vars, Set<Var> reifiedVars, TypeSeq returnType)

Method parameters in org.classdump.luna.compiler.analysis with type arguments of type TypeSeq

Modifier and Type	Method and Description
static TypeInfo	TypeInfo.of(Map<Val,Type> valTypes, Map<PhiVal,Type> phiValTypes, Map<MultiVal,TypeSeq> multiValTypes, Set<Var> vars, Set<Var> reifiedVars, TypeSeq returnType)

Constructors in org.classdump.luna.compiler.analysis with parameters of type TypeSeq

Constructor and Description
TypeInfo(Map<AbstractVal,Type> types, Map<MultiVal,TypeSeq> multiTypes, Map<Var,Boolean> vars, TypeSeq returnType)

Constructor parameters in org.classdump.luna.compiler.analysis with type arguments of type TypeSeq

Constructor and Description
TypeInfo(Map<AbstractVal,Type> types, Map<MultiVal,TypeSeq> multiTypes, Map<Var,Boolean> vars, TypeSeq returnType)

Uses of TypeSeq in org.classdump.luna.compiler.analysis.types

Fields in org.classdump.luna.compiler.analysis.types declared as TypeSeq

Modifier and Type	Field and Description
protected TypeSeq	FunctionType.returnTypes
TypeSeq	ReturnType.ConcreteReturnType.typeSeq
TypeSeq	ReturnType.TailCallReturnType.typeSeq
protected TypeSeq	FunctionType.typeSeq

Methods in org.classdump.luna.compiler.analysis.types that return TypeSeq

Modifier and Type	Method and Description
TypeSeq	FunctionType.argumentTypes()
static TypeSeq	TypeSeq.empty()
TypeSeq	TypeSeq.join(TypeSeq that)
TypeSeq	TypeSeq.meet(TypeSeq that)
static TypeSeq	TypeSeq.of(List<Type> fixed, boolean vararg)
static TypeSeq	TypeSeq.of(Type... fixed)
TypeSeq	TypeSeq.prefixedBy(Type[] types)
TypeSeq	TypeSeq.restrict(TypeSeq that)
TypeSeq	FunctionType.returnTypes()
static TypeSeq	TypeSeq.vararg()
TypeSeq	TypeSeq.withVararg()

Methods in org.classdump.luna.compiler.analysis.types with parameters of type TypeSeq

Modifier and Type	Method and Description
PartialOrderComparisonResult	TypeSeq.comparePointwiseTo(TypeSeq that)
static FunctionType	LuaTypes.functionType(TypeSeq argTypes, TypeSeq returnTypes)
boolean	TypeSeq.isConsistentSubtypeOf(TypeSeq that)
boolean	TypeSeq.isConsistentWith(TypeSeq that)
boolean	TypeSeq.isSubsumedBy(TypeSeq that)
TypeSeq	TypeSeq.join(TypeSeq that)
TypeSeq	TypeSeq.meet(TypeSeq that)
TypeSeq	TypeSeq.restrict(TypeSeq that)

Constructors in org.classdump.luna.compiler.analysis.types with parameters of type TypeSeq

Constructor and Description
ConcreteReturnType(TypeSeq typeSeq)
TailCallReturnType(Type target, TypeSeq typeSeq)