View on GitHub
AbstractValue
enum AbstractValue<Domain> : Equatable, Sendable where Domain : AbstractDomainextension AbstractValue: CustomStringConvertibleThe value of a register in an abstract interpreter.
-
A non-empty set of locations.
Declaration
Swift
case locations(Set<AbstractLocation>) -
An object.
Declaration
Swift
case object(AbstractObject<Domain>) -
Creates a
.objectvalue with an object of givenvalueandtype, usingprogramto compute its layout.Declaration
Swift
init( object value: AbstractObject<Domain>.Value, ofType type: AnyType, definedIn program: TypedProgram ) -
If
selfis.locations(l), returnsl; otherwise, returnsnil.Declaration
Swift
func unwrapLocations() -> Set<AbstractLocation>? -
If
selfis.object(o), returnso; otherwise, returnsnil.Declaration
Swift
func unwrapObject() -> AbstractObject<Domain>? -
Returns
lmerged withr.Declaration
Swift
static func && (l: AbstractValue, r: AbstractValue) -> AbstractValue -
Declaration
Swift
var description: String { get }