avail/avail.interpreter.levelTwo.operand/TypeRestriction/RestrictionGroup

RestrictionGroup

data class RestrictionGroup( val constants: Set<A_BasicObject>?, val types: Set<A_Type>, val objectVariants: Set<ObjectLayoutVariant>?, val objectTypeVariants: Set<ObjectLayoutVariant>?, val tags: Set<TypeTag>?)

A collection of all positive or all negative constraints. A TypeRestriction uses one for positive constraints, and one for negative constraints, and canonicalization keeps them from being contradictory or nonsensical.

Constructors

RestrictionGroup

fun RestrictionGroup( constants: Set<A_BasicObject>?, types: Set<A_Type>, objectVariants: Set<ObjectLayoutVariant>?, objectTypeVariants: Set<ObjectLayoutVariant>?, tags: Set<TypeTag>?)

Functions

makeImmutable

fun makeImmutable()

Ensure all referenced AvailObjects are at least Immutable.

makeShared

fun makeShared()

Ensure all referenced AvailObjects are Shared.

Properties

constants

val constants: Set<A_BasicObject>?

When used in a positive group, this is either null or a set of size one containing the exact value under test.

objectTypeVariants

val objectTypeVariants: Set<ObjectLayoutVariant>?

When used in the positive group, this set, if present, indicates that the value under test must be an object type, and that object type must use one of the specified ObjectLayoutVariants.

objectVariants

val objectVariants: Set<ObjectLayoutVariant>?

When used in the positive group, this set, if present, indicates that the value under test must be an object, and that object must use one of the specified ObjectLayoutVariants.