/**
* Add the given CFG node to the node map.
*
* @param nodeMap
* @param cfgNode
*/
private static <N> void registerCfgNode(Map<N, Set<ICFGNode<N>>> nodeMap, ICFGNode<N> cfgNode) {
N astnode = cfgNode.getASTNode();
if (astnode == null) return;
Set<ICFGNode<N>> cfgnodes = nodeMap.get(astnode);
if (cfgnodes == null) {
cfgnodes = new HashSet<ICFGNode<N>>();
nodeMap.put(astnode, cfgnodes);
}
cfgnodes.add(cfgNode);
}
