Package tools.refinery.language.typesystem

Class InvalidType

java.lang.Object

tools.refinery.language.typesystem.InvalidType

All Implemented Interfaces:

ExprType, FixedType

public final class InvalidType
extends Object
implements FixedType

Field Summary

Fields inherited from interface tools.refinery.language.typesystem.ExprType

INVALID, LITERAL, MODAL_LITERAL, NODE

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.language.typesystem.FixedType

getActualType, unwrapIfSet

Method Details

toString

public String toString()

Overrides:

toString in class Object