org.classdump.luna.compiler.analysis

Class TypeInfo

java.lang.Object

org.classdump.luna.compiler.analysis.TypeInfo

public class TypeInfo
extends Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	isReified(Var v)
Iterable<MultiVal>	multiVals()
static TypeInfo	of(Map<Val,Type> valTypes, Map<PhiVal,Type> phiValTypes, Map<MultiVal,TypeSeq> multiValTypes, Set<Var> vars, Set<Var> reifiedVars, TypeSeq returnType)
TypeSeq	returnType()
Type	typeOf(AbstractVal v)
TypeSeq	typeOf(MultiVal mv)
Iterable<AbstractVal>	vals()
Iterable<Var>	vars()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeInfo

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

Method Detail

of

public static TypeInfo of(Map<Val,Type> valTypes,
                          Map<PhiVal,Type> phiValTypes,
                          Map<MultiVal,TypeSeq> multiValTypes,
                          Set<Var> vars,
                          Set<Var> reifiedVars,
                          TypeSeq returnType)

vals

public Iterable<AbstractVal> vals()

multiVals

public Iterable<MultiVal> multiVals()

typeOf

public Type typeOf(AbstractVal v)

typeOf

public TypeSeq typeOf(MultiVal mv)

vars

public Iterable<Var> vars()

isReified

public boolean isReified(Var v)

returnType

public TypeSeq returnType()