View on GitHub
State
private enum State : AbstractDomainextension State: CustomStringConvertibleThe ownership state of an object or sub-object.
Instances form a lattice whose supremum is .unique and infimum is .shared(by: s)
where s is the set of all instructions. The meet of two elements denotes the conservative
superposition of two ownership states.
-
Object is unique.
Declaration
Swift
case unique -
Object is shared.
Requires
The payload is not empty.Declaration
Swift
case shared(by: Set<InstructionID>) -
Forms a new state by merging
lhswithrhs.Declaration
Swift
static func && (lhs: State, rhs: State) -> State -
Declaration
Swift
var description: String { get }