harpoon.Analysis.PointerAnalysis
Interface PAEdgeSet
- All Known Implementing Classes:
- AbstrPAEdgeSet
- public interface PAEdgeSet
PAEdgeSet
- Version:
- $Id: PAEdgeSet.java,v 1.3 2002/03/10 02:32:55 cananian Exp $
- Author:
- Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>
Method Summary |
void |
addEdge(PANode node1,
String f,
PANode node2)
|
void |
addEdge(Temp v,
PANode node)
|
void |
addEdges(Collection node1s,
String f,
Collection node2s)
|
void |
addEdges(Collection node1s,
String f,
PANode node2)
|
void |
addEdges(PANode node1,
String f,
Collection node2s)
|
void |
addEdges(Temp v,
Collection nodes)
|
Set |
allFlagsForNode(PANode node)
|
Set |
allSourceNodes()
|
Set |
allVariables()
|
Object |
clone()
|
void |
copyEdges(PANode node,
PAEdgeSet es2)
|
void |
forAllEdges(harpoon.Analysis.PointerAnalysis.PAEdgeVisitor visitor)
|
void |
forAllEdges(PANode node,
harpoon.Analysis.PointerAnalysis.PAEdgeVisitor visitor)
|
void |
forAllEdges(Temp v,
harpoon.Analysis.PointerAnalysis.PAEdgeVisitor visitor)
|
void |
forAllNodes(PANodeVisitor visitor)
|
void |
forAllPointedNodes(PANode node,
PANodeVisitor visitor)
|
void |
forAllPointedNodes(PANode node,
String f,
PANodeVisitor visitor)
|
void |
forAllPointedNodes(Temp v,
PANodeVisitor visitor)
|
Set |
getEdgesFrom(PANode node,
String f)
|
Relation |
getPrecedenceRelation()
Returns a relation that contains all the pairs <n2,n1>
such that there was an edge from n1 to n2
(through some field f ). |
Set |
pointedNodes(Collection node1s,
String f)
|
Set |
pointedNodes(PANode node)
|
Set |
pointedNodes(PANode node1,
String f)
|
Set |
pointedNodes(Temp v)
|
void |
remove(Set set)
|
void |
removeEdge(PANode node1,
String f,
PANode node2)
|
void |
removeEdge(Temp v,
PANode node)
|
void |
removeEdges(PANode node1)
|
void |
removeEdges(PANode node1,
String f)
|
void |
removeEdges(Temp v)
|
PAEdgeSet |
specialize(Map map)
|
void |
union(PAEdgeSet edges2)
|
addEdge
public void addEdge(Temp v,
PANode node)
addEdges
public void addEdges(Temp v,
Collection nodes)
removeEdge
public void removeEdge(Temp v,
PANode node)
removeEdges
public void removeEdges(Temp v)
pointedNodes
public Set pointedNodes(Temp v)
allVariables
public Set allVariables()
addEdge
public void addEdge(PANode node1,
String f,
PANode node2)
addEdges
public void addEdges(PANode node1,
String f,
Collection node2s)
addEdges
public void addEdges(Collection node1s,
String f,
PANode node2)
addEdges
public void addEdges(Collection node1s,
String f,
Collection node2s)
removeEdge
public void removeEdge(PANode node1,
String f,
PANode node2)
removeEdges
public void removeEdges(PANode node1,
String f)
removeEdges
public void removeEdges(PANode node1)
pointedNodes
public Set pointedNodes(PANode node1,
String f)
pointedNodes
public Set pointedNodes(Collection node1s,
String f)
pointedNodes
public Set pointedNodes(PANode node)
allFlagsForNode
public Set allFlagsForNode(PANode node)
allSourceNodes
public Set allSourceNodes()
getEdgesFrom
public Set getEdgesFrom(PANode node,
String f)
forAllPointedNodes
public void forAllPointedNodes(Temp v,
PANodeVisitor visitor)
forAllPointedNodes
public void forAllPointedNodes(PANode node,
String f,
PANodeVisitor visitor)
forAllPointedNodes
public void forAllPointedNodes(PANode node,
PANodeVisitor visitor)
forAllNodes
public void forAllNodes(PANodeVisitor visitor)
forAllEdges
public void forAllEdges(Temp v,
harpoon.Analysis.PointerAnalysis.PAEdgeVisitor visitor)
forAllEdges
public void forAllEdges(PANode node,
harpoon.Analysis.PointerAnalysis.PAEdgeVisitor visitor)
forAllEdges
public void forAllEdges(harpoon.Analysis.PointerAnalysis.PAEdgeVisitor visitor)
copyEdges
public void copyEdges(PANode node,
PAEdgeSet es2)
specialize
public PAEdgeSet specialize(Map map)
remove
public void remove(Set set)
union
public void union(PAEdgeSet edges2)
getPrecedenceRelation
public Relation getPrecedenceRelation()
- Returns a relation that contains all the pairs
<n2,n1>
such that there was an edge from n1
to n2
(through some field f
).
clone
public Object clone()
- Overrides:
clone
in class Object