Lines Matching defs:svalBuilder
477 std::unique_ptr<SValBuilder> svalBuilder;
499 ASTContext &getContext() { return svalBuilder->getContext(); }
500 const ASTContext &getContext() const { return svalBuilder->getContext(); }
503 return svalBuilder->getBasicValueFactory();
507 return *svalBuilder;
511 return *svalBuilder;
515 return svalBuilder->getSymbolManager();
518 return svalBuilder->getSymbolManager();
524 return svalBuilder->getRegionManager();
527 return svalBuilder->getRegionManager();
761 *getStateManager().svalBuilder);