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

constructor(original: L2ValueManifest.Constraint)

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

constructor(theDefinitions: List<L2Register>, restriction: TypeRestriction)

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.

Functions

toString

open override fun toString(): String