Package tools.refinery.language.typesystem

Interface FixedType

All Superinterfaces:

ExprType

All Known Implementing Classes:

DataExprType, InvalidType, LiteralType, NodeType

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

Field Summary

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

INVALID, 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