org.classdump.luna.compiler.analysis.types

Class ConcreteLitType<T>

java.lang.Object

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

org.classdump.luna.compiler.analysis.types.ConcreteType

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

All Implemented Interfaces:

GradualTypeLike<Type>

public class ConcreteLitType<T>
extends ConcreteType

Field Summary

Fields inherited from class org.classdump.luna.compiler.analysis.types.ConcreteType

name, supertype

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ConcreteLitType(AbstractType supertype, String name)

Method Summary

Modifier and Type	Method and Description
LiteralType<T>	newLiteralType(T value)

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

isSubtypeOf, join, meet, restrict, supertype, toString

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

compareTo, isConsistentSubtypeOf, isConsistentWith, unionWith

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcreteLitType

protected ConcreteLitType(AbstractType supertype,
                          String name)

Method Detail

newLiteralType

public LiteralType<T> newLiteralType(T value)