compiler/tools.samt.semantic/ResolvedTypeReference/Constraint

Constraint

interface Constraint

Inheritors

Types

data class Pattern(val node: ExpressionNode, val pattern: String) : ResolvedTypeReference.Constraint

data class Range(val node: ExpressionNode, val lowerBound: Number?, val upperBound: Number?) : ResolvedTypeReference.Constraint

data class Size(val node: ExpressionNode, val lowerBound: Long?, val upperBound: Long?) : ResolvedTypeReference.Constraint

data class Value(val node: ExpressionNode, val value: Any) : ResolvedTypeReference.Constraint

Properties

humanReadableName

abstract val humanReadableName: String

abstract val node: ExpressionNode