org.classdump.luna.compiler.analysis.types

Class BottomType

java.lang.Object

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

org.classdump.luna.compiler.analysis.types.BottomType

All Implemented Interfaces:

GradualTypeLike<Type>

public final class BottomType
extends Type

Field Summary

Fields

Modifier and Type	Field and Description
static BottomType	INSTANCE

Method Summary

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

INSTANCE

public static final BottomType INSTANCE

Method Detail

toString

public String toString()

Overrides:

toString in class Object

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