org.classdump.luna.compiler.analysis.types

Class ConcreteType

java.lang.Object

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

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

All Implemented Interfaces:

GradualTypeLike<Type>

Direct Known Subclasses:

ConcreteLitType, FunctionType

public class ConcreteType
extends Type

Field Summary

Fields

Modifier and Type	Field and Description
protected String	name
protected AbstractType	supertype

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	isSubtypeOf(Type that)
Type	join(Type that)
Type	meet(Type that)
Type	restrict(Type that)
AbstractType	supertype()
String	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

Field Detail

supertype

protected final AbstractType supertype

name

protected final String name

Constructor Detail

ConcreteType

protected ConcreteType(AbstractType supertype,
                       String name)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

supertype

public AbstractType supertype()

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