avail/avail.optimizer/L2ValueManifest/Constraint

Constraint

class Constraint(theDefinitions: List<L2Register>, var restriction: TypeRestriction)

A utility type containing a mutable list of L2Registers that currently hold the same value, and a TypeRestriction.

Constructors

Constraint

fun Constraint(original: L2ValueManifest.Constraint)

A copy constructor, producing an instance that will not change when the original instance changes.

Constraint

fun Constraint(theDefinitions: List<L2Register>, restriction: TypeRestriction)

Functions

toString

open override fun toString(): String

Properties

definitions

var definitions: List<L2Register>

An immutable List of L2Registers that hold the same value. They may be of differing RegisterKind, which is useful for tracking equivalent boxed and unboxed values. The list may be replaced, but not internally modified. Also, the caller must not modify the list after passing it to this constructor.

restriction

var restriction: TypeRestriction

The TypeRestriction that describes the types, constant values, excluded types, excluded values, and RegisterKinds that constrain the registers of some L2Synonym.