Package tools.refinery.language.typesystem

Class NodeType

java.lang.Object

tools.refinery.language.typesystem.NodeType

All Implemented Interfaces:

ExprType, FixedType

public final class NodeType
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