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)
           
 

Method Detail

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