Core/PathSensitive/CoreEngine.h

60   friend class NodeBuilder;
227 /// \class NodeBuilder
236 class NodeBuilder {
273   NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
279   NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
286   virtual ~NodeBuilder() = default;
341 class NodeBuilderWithSinks: public NodeBuilder {
351       : NodeBuilder(Pred, DstSet, Ctx), Location(L) {}
357     return NodeBuilder::generateNode(LocalLoc, State, Pred);
363     ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
376 /// visiting a statement. The main difference from its parent NodeBuilder is
378 class StmtNodeBuilder: public NodeBuilder {
379   NodeBuilder *EnclosingBldr;
387                   NodeBuilder *Enclosing = nullptr)
388       : NodeBuilder(SrcNode, DstSet, Ctx), EnclosingBldr(Enclosing) {
395                   NodeBuilder *Enclosing = nullptr)
396       : NodeBuilder(SrcSet, DstSet, Ctx), EnclosingBldr(Enclosing) {
404   using NodeBuilder::generateNode;
405   using NodeBuilder::generateSink;
414     return NodeBuilder::generateNode(L, St, Pred);
424     return NodeBuilder::generateSink(L, St, Pred);
430 class BranchNodeBuilder: public NodeBuilder {
443       : NodeBuilder(SrcNode, DstSet, C), DstT(dstT), DstF(dstF),
453       : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF),