org.classdump.luna.compiler.analysis.types

Class LiteralType<T>

java.lang.Object

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

org.classdump.luna.compiler.analysis.types.LiteralType<T>

All Implemented Interfaces:

GradualTypeLike<Type>

public class LiteralType<T>
extends Type

Constructor Summary

Constructors

Constructor and Description
LiteralType(ConcreteType type, T value)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
boolean	isSubtypeOf(Type that)
Type	join(Type that)
Type	meet(Type that)
Type	restrict(Type that)
String	toString()
ConcreteType	type()
T	value()

Methods inherited from class org.classdump.luna.compiler.analysis.types.Type

compareTo, isConsistentSubtypeOf, isConsistentWith, unionWith

Methods inherited from class java.lang.Object

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

Constructor Detail

LiteralType

public LiteralType(ConcreteType type,
                   T value)

Method Detail

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

type

public ConcreteType type()

value

public T value()

isSubtypeOf

public boolean isSubtypeOf(Type that)

Specified by:

isSubtypeOf in class Type

restrict

public Type restrict(Type that)

Specified by:

restrict in class Type

join

public Type join(Type that)

Specified by:

join in class Type

meet

public Type meet(Type that)

Specified by:

meet in class Type