HomeSort by relevance Sort by last modified time
    Searched defs:StateMgr (Results 1 - 25 of 30) sorted by null

1 2

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
332 ProgramStateManager &stateMgr);
Store.h 43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
305 ProgramStateManager& getStateManager() override { return StateMgr; }
307 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
310 return StateMgr.getConstraintManager();
315 return StateMgr.getBasicVals();
  /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
303 ProgramStateManager& getStateManager() override { return StateMgr; }
305 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
308 return StateMgr.getConstraintManager();
313 return StateMgr.getBasicVals();
  /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
303 ProgramStateManager& getStateManager() override { return StateMgr; }
305 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
308 return StateMgr.getConstraintManager();
313 return StateMgr.getBasicVals();
  /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
303 ProgramStateManager& getStateManager() override { return StateMgr; }
305 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
308 return StateMgr.getConstraintManager();
313 return StateMgr.getBasicVals();
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
303 ProgramStateManager& getStateManager() override { return StateMgr; }
305 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
308 return StateMgr.getConstraintManager();
313 return StateMgr.getBasicVals();
  /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
303 ProgramStateManager& getStateManager() override { return StateMgr; }
305 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
308 return StateMgr.getConstraintManager();
313 return StateMgr.getBasicVals();
  /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 68 /// StateMgr - Object that manages the data for all created states.
69 ProgramStateManager StateMgr;
303 ProgramStateManager& getStateManager() override { return StateMgr; }
305 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
308 return StateMgr.getConstraintManager();
313 return StateMgr.getBasicVals();
  /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
129 ProgramStateManager &getStateManager() { return StateMgr; }
344 ProgramStateManager &stateMgr);
Store.h 42 ProgramStateManager &StateMgr;
48 StoreManager(ProgramStateManager &stateMgr);

Completed in 846 milliseconds

1 2