Package tools.refinery.language.typesystem

Interface ExprType

All Known Subinterfaces:

FixedType

All Known Implementing Classes:

DataExprType, InvalidType, LiteralType, ModalLiteralType, MutableType, NodeType

public sealed interface ExprType
permits FixedType, MutableType

Field Summary

Fields

Modifier and Type	Field	Description
static final InvalidType	INVALID
static final LiteralType	LITERAL
static final ModalLiteralType	MODAL_LITERAL
static final NodeType	NODE

Method Summary

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

Field Details

NODE

static final NodeType NODE

LITERAL

static final LiteralType LITERAL

MODAL_LITERAL

static final ModalLiteralType MODAL_LITERAL

INVALID

static final InvalidType INVALID

Method Details

getActualType

FixedType getActualType()

unwrapIfSet

ExprType unwrapIfSet()