small javadoc fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2431 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
4fa9dfb414
commit
ff023b89d4
|
@ -171,6 +171,11 @@ public abstract class DemandFlowGraph extends FlowLabelGraph {
|
||||||
return cgNodesVisited.contains(cg.getNumber(node));
|
return cgNodesVisited.contains(cg.getNumber(node));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
*
|
||||||
|
* @param pk
|
||||||
|
* @return <code>true</code> iff <code>pk</code> is a formal parameter
|
||||||
|
*/
|
||||||
public boolean isParam(LocalPointerKey pk) {
|
public boolean isParam(LocalPointerKey pk) {
|
||||||
return params.get(pk) != null;
|
return params.get(pk) != null;
|
||||||
}
|
}
|
||||||
|
|
|
@ -56,7 +56,7 @@ import org.w3c.dom.Node;
|
||||||
import com.ibm.wala.util.graph.EdgeManager;
|
import com.ibm.wala.util.graph.EdgeManager;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* On object which tracks labeled edges in a graph.
|
* An object which tracks labeled edges in a graph.
|
||||||
*
|
*
|
||||||
* @author Manu Sridharan
|
* @author Manu Sridharan
|
||||||
*
|
*
|
||||||
|
|
Loading…
Reference in New Issue