Home | History | Annotate | Download | only in PathSensitive

Lines Matching refs:NodeBuilderContext

44   friend struct NodeBuilderContext;
180 struct NodeBuilderContext {
184 NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N)
211 const NodeBuilderContext &C;
246 const NodeBuilderContext &Ctx, bool F = true)
252 const NodeBuilderContext &Ctx, bool F = true)
296 const NodeBuilderContext &getContext() { return C; }
318 const NodeBuilderContext &Ctx, ProgramPoint &L)
354 const NodeBuilderContext &Ctx, NodeBuilder *Enclosing = 0)
361 const NodeBuilderContext &Ctx, NodeBuilder *Enclosing = 0)
407 const NodeBuilderContext &C,
417 const NodeBuilderContext &C,