Package tools.refinery.language.typesystem

Interface FixedType

All Superinterfaces:

ExprType

All Known Implementing Classes:

DataExprType, InvalidType, LiteralType, ModalLiteralType, NodeType

public sealed interface FixedType
extends ExprType
permits NodeType, LiteralType, ModalLiteralType, InvalidType, DataExprType

Field Summary

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

INVALID, LITERAL, MODAL_LITERAL, NODE

Method Summary

Modifier and Type	Method	Description
default FixedType	getActualType()
default FixedType	unwrapIfSet()

Method Details

getActualType

default FixedType getActualType()

Specified by:

getActualType in interface ExprType

unwrapIfSet

default FixedType unwrapIfSet()

Specified by:

unwrapIfSet in interface ExprType