Package tools.refinery.language.typesystem

Class MutableType

java.lang.Object

tools.refinery.language.typesystem.MutableType

All Implemented Interfaces:

ExprType

public final class MutableType
extends Object
implements ExprType

Field Summary

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

INVALID, LITERAL, MODAL_LITERAL, NODE

Constructor Summary

Constructors

Constructor	Description
MutableType()

Method Summary

Modifier and Type	Method	Description
FixedType	getActualType()
void	setActualType(DataExprType actualType)
String	toString()
ExprType	unwrapIfSet()

Methods inherited from class java.lang.Object

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

Constructor Details

MutableType

public MutableType()

Method Details

getActualType

public FixedType getActualType()

Specified by:

getActualType in interface ExprType

setActualType

public void setActualType(DataExprType actualType)

unwrapIfSet

public ExprType unwrapIfSet()

Specified by:

unwrapIfSet in interface ExprType

toString

public String toString()

Overrides:

toString in class Object