Lines Matching refs:Store
1 //== Store.h - Interface for maps from Locations to Values ------*- C++ -*--==//
10 // This file defined the types Store and StoreManager.
61 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
70 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
77 virtual StoreRef killBinding(Store ST, Loc L) = 0;
144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
147 virtual bool includedInBindings(Store store,
151 /// the specified Store object.
152 virtual void incrementReferenceCount(Store store) {}
155 /// the specified Store object. If the reference count hits 0, the memory
157 virtual void decrementReferenceCount(Store store) {}
189 virtual StoreRef invalidateRegions(Store store,
203 StoreRef enterStackFrame(Store store,
210 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
213 virtual void print(Store store, raw_ostream &Out,
219 virtual bool HandleBinding(StoreManager& SMgr, Store store,
232 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
238 /// iterBindings - Iterate over the bindings in the Store.
239 virtual void iterBindings(Store store, BindingsHandler& f) = 0;
256 inline StoreRef::StoreRef(Store store, StoreManager & smgr)