Searched refs:getBuilderContext (Results 1 – 3 of 3) sorted by relevance
97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); in expandGraphWithCheckers()562 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext()); in runCheckersForEvalCall()591 NodeBuilder B(Pred, Dst, Eng.getBuilderContext()); in runCheckersForEvalCall()
179 const NodeBuilderContext &CurrBldrCtx = getBuilderContext(); in findElementDirectlyInitializedByCurrentConstructor()213 const CFGBlock *B = getBuilderContext().getBlock(); in findDirectConstructorForCurrentCFGElement()
135 const NodeBuilderContext &getBuilderContext() { in getBuilderContext() function