public class BasicHeapGraph<T extends InstanceKey> extends HeapGraphImpl<T>
HeapGraph| Constructor and Description |
|---|
BasicHeapGraph(PointerAnalysis<T> P,
CallGraph callGraph) |
| Modifier and Type | Method and Description |
|---|---|
void |
addEdge(java.lang.Object from,
java.lang.Object to) |
void |
addNode(java.lang.Object n) |
boolean |
containsNode(java.lang.Object N) |
int |
getMaxNumber() |
java.lang.Object |
getNode(int number) |
int |
getNumber(java.lang.Object N) |
int |
getNumberOfNodes() |
int |
getPredNodeCount(java.lang.Object N) |
com.ibm.wala.util.intset.IntSet |
getPredNodeNumbers(java.lang.Object node) |
java.util.Iterator<java.lang.Object> |
getPredNodes(java.lang.Object N) |
int |
getSuccNodeCount(java.lang.Object N) |
com.ibm.wala.util.intset.IntSet |
getSuccNodeNumbers(java.lang.Object node) |
java.util.Iterator<java.lang.Object> |
getSuccNodes(java.lang.Object N) |
boolean |
hasEdge(java.lang.Object from,
java.lang.Object to) |
java.util.Iterator<java.lang.Object> |
iterator() |
void |
removeAllIncidentEdges(java.lang.Object node) |
void |
removeEdge(java.lang.Object from,
java.lang.Object to) |
void |
removeIncomingEdges(java.lang.Object node) |
void |
removeNode(java.lang.Object n) |
void |
removeOutgoingEdges(java.lang.Object node) |
java.util.stream.Stream<java.lang.Object> |
stream() |
java.lang.String |
toString() |
getHeapModel, getPointerAnalysis, getReachableInstances, iterateNodes, removeNodeAndEdgespublic BasicHeapGraph(PointerAnalysis<T> P, CallGraph callGraph) throws java.lang.NullPointerException
P - governing pointer analysisjava.lang.NullPointerException - if P is nullpublic int getNumber(java.lang.Object N)
public java.lang.Object getNode(int number)
public int getMaxNumber()
public java.util.Iterator<java.lang.Object> iterator()
public java.util.stream.Stream<java.lang.Object> stream()
public int getNumberOfNodes()
public java.util.Iterator<java.lang.Object> getPredNodes(java.lang.Object N)
public int getPredNodeCount(java.lang.Object N)
public java.util.Iterator<java.lang.Object> getSuccNodes(java.lang.Object N)
public int getSuccNodeCount(java.lang.Object N)
public void addNode(java.lang.Object n)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic void removeNode(java.lang.Object n)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic void addEdge(java.lang.Object from,
java.lang.Object to)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic void removeEdge(java.lang.Object from,
java.lang.Object to)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic boolean hasEdge(java.lang.Object from,
java.lang.Object to)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic void removeAllIncidentEdges(java.lang.Object node)
throws java.lang.UnsupportedOperationException
java.lang.UnsupportedOperationExceptionpublic boolean containsNode(java.lang.Object N)
public java.lang.String toString()
toString in class java.lang.Objectpublic void removeIncomingEdges(java.lang.Object node)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic void removeOutgoingEdges(java.lang.Object node)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic com.ibm.wala.util.intset.IntSet getSuccNodeNumbers(java.lang.Object node)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedErrorpublic com.ibm.wala.util.intset.IntSet getPredNodeNumbers(java.lang.Object node)
throws com.ibm.wala.util.debug.UnimplementedError
com.ibm.wala.util.debug.UnimplementedError