org.classdump.luna.compiler.analysis.types

Class TopType

java.lang.Object

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

org.classdump.luna.compiler.analysis.types.AbstractType

org.classdump.luna.compiler.analysis.types.TopType

All Implemented Interfaces:

GradualTypeLike<Type>

public final class TopType
extends AbstractType

Field Summary

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

name, supertype

Constructor Summary

Constructors

Constructor and Description
TopType(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)

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

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

TopType

public TopType(String name)

Method Detail

isSubtypeOf

public boolean isSubtypeOf(Type that)

Overrides:

isSubtypeOf in class AbstractType

restrict

public Type restrict(Type that)

Overrides:

restrict in class AbstractType

join

public Type join(Type that)

Overrides:

join in class AbstractType

meet

public Type meet(Type that)

Overrides:

meet in class AbstractType