IR Structures AbstractObject Value Enumeration Reference

Value

enum Value : Equatable, Sendable

extension AbstractObject.Value: CustomStringConvertible

The value of an abstract object.

Show on GitHub

full(_:)
An object whose parts all have the same value.
Declaration
Swift

case full(Domain)
Show on GitHub
partial(_:)
An object whose parts may have different values.

Requires
The payload is not empty.
Declaration
Swift

case partial([Value])
Show on GitHub
canonical
The canonical form of self.
Declaration
Swift

var canonical: Value { get }
Show on GitHub
&&(_:_:)
Returns lhs merged with rhs.
Declaration
Swift

static func && (lhs: Value, rhs: Value) -> Value
Show on GitHub
isUniform
true if self is uniformly initialized or deinitialzed.
Declaration
Swift

private var isUniform: Bool { get }
Show on GitHub
description
Declaration
Swift

var description: String { get }
Show on GitHub

Available where `Domain` == `State`

subfields
If self is .partial, the paths to self‘s parts; otherwise, nil.
Declaration
Swift

fileprivate var subfields: SubfieldsByInitializationState? { get }
Show on GitHub
initializedSubfields
The initialized subfields.
Declaration
Swift

fileprivate var initializedSubfields: [RecordPath] { get }
Show on GitHub
gatherSubobjectPaths(prefixedBy:into:)
If self is .partial, inserts the paths to its parts into paths, prefixing each inserted element by prefix.

Requires
self is canonical.
Declaration
Swift

private func gatherSubobjectPaths( prefixedBy prefix: RecordPath, into paths: inout SubfieldsByInitializationState )
Show on GitHub
consumers
The consumers of the object.
Declaration
Swift

fileprivate var consumers: State.Consumers { get }
Show on GitHub
checkInitialized(at:reportingDiagnosticsTo:)
Reports a diagnostic to log at site if self != .full(.initialized).
Declaration
Swift

fileprivate func checkInitialized( at site: SourceRange, reportingDiagnosticsTo log: inout DiagnosticSet )
Show on GitHub


                    
                    
                    &&(_:_:)

Returns lhs merged with rhs.

Declaration

Swift

fileprivate static func && (lhs: `Self`, rhs: `Self`) -> AbstractObject<Domain>.Value

Show on GitHub

-(_:_:)
Returns the paths of the parts that are initialized in l and either uninitialized or consumed in r.

Requires
l and r are canonical and have the same layout
Declaration
Swift

static func - (l: `Self`, r: `Self`) -> [RecordPath]
Show on GitHub
borrowers
The set of instructions borrowing the object or a part thereof.
Declaration
Swift

fileprivate var borrowers: Set<InstructionID> { get }
Show on GitHub
insertBorrower(_:)
Inserts b to the object’s borrowers, returning true iff b wasn’t already included.
Declaration
Swift

@discardableResult fileprivate mutating func insertBorrower(_ b: InstructionID) -> Bool
Show on GitHub
removeBorrower(_:)
Removes b from the object’s borrowers, returning true iff b was present.
Declaration
Swift

@discardableResult fileprivate mutating func removeBorrower(_ b: InstructionID) -> Bool
Show on GitHub