org.classdump.luna.compiler.analysis.types

Class Type

java.lang.Object

org.classdump.luna.compiler.analysis.types.Type

All Implemented Interfaces:

GradualTypeLike<Type>

Direct Known Subclasses:

AbstractType, BottomType, ConcreteType, DynamicType, LiteralType

public abstract class Type
extends Object
implements GradualTypeLike<Type>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Type()

Method Summary

Modifier and Type	Method and Description
PartialOrderComparisonResult	compareTo(Type that)
boolean	isConsistentSubtypeOf(Type that)
boolean	isConsistentWith(Type that)
abstract boolean	isSubtypeOf(Type that)
abstract Type	join(Type that) Deprecated.
abstract Type	meet(Type that) Deprecated.
abstract Type	restrict(Type that)
Type	unionWith(Type that)

Methods inherited from class java.lang.Object

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

Constructor Detail

Type

protected Type()

Method Detail

isSubtypeOf

public abstract boolean isSubtypeOf(Type that)

isConsistentWith

public boolean isConsistentWith(Type that)

Specified by:

isConsistentWith in interface GradualTypeLike<Type>

restrict

public abstract Type restrict(Type that)

isConsistentSubtypeOf

public boolean isConsistentSubtypeOf(Type that)

Specified by:

isConsistentSubtypeOf in interface GradualTypeLike<Type>

join

@Deprecated
public abstract Type join(Type that)

Deprecated.

meet

@Deprecated
public abstract Type meet(Type that)

Deprecated.

unionWith

public Type unionWith(Type that)

compareTo

public PartialOrderComparisonResult compareTo(Type that)