Package tools.refinery.language.typesystem

Interface ExprType

All Known Subinterfaces:

FixedType

All Known Implementing Classes:

DataExprType, InvalidType, LiteralType, 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 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

INVALID

static final InvalidType INVALID

Method Details

getActualType

FixedType getActualType()

unwrapIfSet

ExprType unwrapIfSet()