org.classdump.luna.compiler.analysis.types

Class DynamicType

java.lang.Object

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

org.classdump.luna.compiler.analysis.types.DynamicType

All Implemented Interfaces:

GradualTypeLike<Type>

public final class DynamicType
extends Type

Constructor Summary

Constructors

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

Constructor Detail

DynamicType

public DynamicType(String name)

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