Lines Matching refs:getStateManager

73   ASTContext &Ctx = getState()->getStateManager().getContext();  in getResultType()
202     State->getStateManager().getRegionManager().getParamVarRegion(  in getParameterLocation()
330   ASTContext &Ctx = getState()->getStateManager().getContext();  in dump()
487   ExprEngine &Engine = getState()->getStateManager().getOwningEngine();  in getReturnValueUnderConstruction()
519   ExprEngine &Engine = getState()->getStateManager().getOwningEngine();  in getRuntimeDefinition()
559   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();  in getInitialStackFrameContents()
759     ProgramStateManager &StateMgr = getState()->getStateManager();  in getInitialStackFrameContents()
835   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();  in getInitialStackFrameContents()
878     SValBuilder &SVB = getState()->getStateManager().getSValBuilder();  in getInitialStackFrameContents()
1071       getState()->getStateManager().getOwningEngine().getAnalysisManager();  in canBeOverridenInSubclass()
1325   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();  in getInitialStackFrameContents()
1372     SValBuilder &SVB = State->getStateManager().getSValBuilder();  in getCaller()
1395   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in getCaller()