abstract class Store[Addr, Abs] extends AnyRef
- Alphabetic
- By Inheritance
- Store
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Store()(implicit arg0: Address[Addr], arg1: JoinLattice[Abs])
Abstract Value Members
-
abstract
def
diff(that: Store[Addr, Abs]): Store[Addr, Abs]
Returns a store containing items that differ between the two stores
-
abstract
def
extend(a: Addr, v: Abs): Store[Addr, Abs]
Add a new entry in the store
-
abstract
def
forall(p: ((Addr, Abs)) ⇒ Boolean): Boolean
Checks if a predicate is true for all elements of the store
-
abstract
def
join(that: Store[Addr, Abs]): Store[Addr, Abs]
Joins two stores together
-
abstract
def
keys: Iterable[Addr]
Gets all the keys of the store
-
abstract
def
lookup(a: Addr): Option[Abs]
Looks up a value in the store
-
abstract
def
lookupBot(a: Addr): Abs
Looks up a value in the store, or return bottom if it's not there
-
abstract
def
subsumes(that: Store[Addr, Abs]): Boolean
Checks whether this store subsumes another store
-
abstract
def
update(a: Addr, v: Abs): Store[Addr, Abs]
Update an entry in the store
-
abstract
def
updateOrExtend(a: Addr, v: Abs): Store[Addr, Abs]
Tries to update an address if it's already mapped into the store.
Tries to update an address if it's already mapped into the store. Otherwise, extend the store
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Store[Addr, Abs], B)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
addDelta(delta: Map[Addr, Abs]): Store[Addr, Abs]
Add a delta to the store.
Add a delta to the store. This clears the current delta
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
cardinalities(withPrimitives: Boolean = false): Map[Addr, Cardinality]
Returns the cardinality of each lattice element of this store
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate() @throws( ... )
-
def
delta: Option[Map[Addr, Abs]]
Returns a delta of the changes made on this store.
Returns a delta of the changes made on this store. None if the store doesn't support store deltas
- def ensuring(cond: (Store[Addr, Abs]) ⇒ Boolean, msg: ⇒ Any): Store[Addr, Abs]
- def ensuring(cond: (Store[Addr, Abs]) ⇒ Boolean): Store[Addr, Abs]
- def ensuring(cond: Boolean, msg: ⇒ Any): Store[Addr, Abs]
- def ensuring(cond: Boolean): Store[Addr, Abs]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lookupMF(a: Addr): MayFail[Abs]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def →[B](y: B): (Store[Addr, Abs], B)