Searched refs:getOriginalNode (Results 1 – 4 of 4) sorted by relevance
62 getOriginalNode(const ExplodedNode *N) = 0;
315 const ExplodedNode *getOriginalNode(const ExplodedNode *N) override { in getOriginalNode() function in __anon889b26420111::NodeMapClosure
1988 const ExplodedNode *OrigNode = BRC.getNodeResolver().getOriginalNode(N); in VisitNode()
META-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF ...