View on GitHub
AbstractObject
struct AbstractObject<Domain> : Equatable, Sendable where Domain : AbstractDomainextension AbstractObject: CustomStringConvertibleAn object in an abstract interpreter.
-
The abstract layout of the object.
Declaration
Swift
let layout: AbstractTypeLayout -
The value of the object.
Declaration
Swift
var value: Value -
Creates an instance with the given properties.
Declaration
Swift
init(layout: AbstractTypeLayout, value: Value) -
Returns the result of calling
actionwith the sub-object at givenoffset.Declaration
Swift
mutating func withSubobject<T>(_ offset: Int, _ action: (inout AbstractObject) -> T) -> T -
Returns the result of calling
actionwith the sub-object at givenpath.Requires
offsetsis a valid path inself.Declaration
Swift
mutating func withSubobject<T, Path: Collection<Int>>( at path: Path, _ action: (inout AbstractObject) -> T ) -> T -
Returns
lmerged withr.Declaration
Swift
static func && (l: AbstractObject, r: AbstractObject) -> AbstractObject -
The value of an abstract object.
See moreDeclaration
-
Declaration
Swift
var description: String { get }