org.classdump.luna.compiler.analysis.types

Class TypeSeq

java.lang.Object

org.classdump.luna.compiler.analysis.types.TypeSeq

All Implemented Interfaces:

GradualTypeLike<TypeSeq>

public class TypeSeq
extends Object
implements GradualTypeLike<TypeSeq>

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Type>	fixed
protected Type	tailType

Method Summary

Modifier and Type	Method and Description
PartialOrderComparisonResult	comparePointwiseTo(TypeSeq that)
static TypeSeq	empty()
boolean	equals(Object o)
List<Type>	fixed()
Type	get(int idx)
int	hashCode()
boolean	isConsistentSubtypeOf(TypeSeq that)
boolean	isConsistentWith(TypeSeq that)
boolean	isSubsumedBy(TypeSeq that)
TypeSeq	join(TypeSeq that)
TypeSeq	meet(TypeSeq that)
static TypeSeq	of(List<Type> fixed, boolean vararg)
static TypeSeq	of(Type... fixed)
TypeSeq	prefixedBy(Type[] types)
TypeSeq	restrict(TypeSeq that)
Type	tailType()
String	toString()
static TypeSeq	vararg()
TypeSeq	withVararg()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

fixed

protected final List<Type> fixed

tailType

protected final Type tailType

Method Detail

empty

public static TypeSeq empty()

vararg

public static TypeSeq vararg()

of

public static TypeSeq of(Type... fixed)

of

public static TypeSeq of(List<Type> fixed,
                         boolean vararg)

withVararg

public TypeSeq withVararg()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

fixed

public List<Type> fixed()

tailType

public Type tailType()

get

public Type get(int idx)

prefixedBy

public TypeSeq prefixedBy(Type[] types)

isSubsumedBy

public boolean isSubsumedBy(TypeSeq that)

join

public TypeSeq join(TypeSeq that)

meet

public TypeSeq meet(TypeSeq that)

comparePointwiseTo

public PartialOrderComparisonResult comparePointwiseTo(TypeSeq that)

isConsistentWith

public boolean isConsistentWith(TypeSeq that)

Specified by:

isConsistentWith in interface GradualTypeLike<TypeSeq>

restrict

public TypeSeq restrict(TypeSeq that)

isConsistentSubtypeOf

public boolean isConsistentSubtypeOf(TypeSeq that)

Specified by:

isConsistentSubtypeOf in interface GradualTypeLike<TypeSeq>