edu.toronto.cs.cfa
Class CFA

java.lang.Object
  extended by edu.toronto.cs.cfa.CFA

public class CFA
extends java.lang.Object

CFA.java Created: Sun May 30 00:13:44 2004

Version:
Author:
Arie Gurfinkel

Nested Class Summary
 class CFA.CFAEdge
          CFAEdge.java Contains -- string representation -- source identity -- destination identity -- mvset data Created: Sun May 30 00:10:26 2004
 class CFA.CFANode
          CFANode a node of a CFA a CFA node contains -- a unique identity -- a string representation -- an mvset for representing node data -- a set of edges pointing to other CFANodes
 
Constructor Summary
CFA(int nodesSize)
           
CFA(int nodesSize, boolean edges)
           
 
Method Summary
 CFA.CFAEdge addEdge(java.lang.String strValue, CFA.CFANode src, CFA.CFANode dst, MvRelation data)
           
 CFA.CFAEdge addEdge(java.lang.String strValue, int src, int dst, MvRelation data)
           
 CFA.CFAEdge addEdge(java.lang.String strValue, int src, int dst, MvRelation data, int dst2)
           
 CFA.CFANode addNode(java.lang.String strValue, MvSet state)
           
 void dumpEdgeList(java.util.List edgeList)
           
 void dumpEdges()
           
 void dumpNodes()
           
 boolean equals(CFA cfa)
           
 boolean equals(java.lang.Object o)
           
 java.util.List getBwdEdges(CFA.CFANode node)
           
 java.util.List getBwdEdges(int nodeId)
           
 java.util.List getFwdEdges(CFA.CFANode node)
           
 java.util.List getFwdEdges(int nodeId)
           
 CFA.CFANode getNode(int id)
           
 java.util.List getNodeBwdEdges(CFA.CFANode n)
           
 java.util.List getNodeBwdEdges(int id)
           
 java.util.List getNodeFwdEdges(CFA.CFANode n)
           
 java.util.List getNodeFwdEdges(int id)
           
 CFA.CFANode[] getNodes()
           
 int nodeSize()
           
 DaVinciGraph toDaVinci()
           
 GrappaGraph toDot()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CFA

public CFA(int nodesSize)

CFA

public CFA(int nodesSize,
           boolean edges)
Method Detail

addNode

public CFA.CFANode addNode(java.lang.String strValue,
                           MvSet state)

addEdge

public CFA.CFAEdge addEdge(java.lang.String strValue,
                           int src,
                           int dst,
                           MvRelation data)

addEdge

public CFA.CFAEdge addEdge(java.lang.String strValue,
                           int src,
                           int dst,
                           MvRelation data,
                           int dst2)

addEdge

public CFA.CFAEdge addEdge(java.lang.String strValue,
                           CFA.CFANode src,
                           CFA.CFANode dst,
                           MvRelation data)

getNodes

public CFA.CFANode[] getNodes()

nodeSize

public int nodeSize()

dumpNodes

public void dumpNodes()

dumpEdges

public void dumpEdges()

dumpEdgeList

public void dumpEdgeList(java.util.List edgeList)

getBwdEdges

public java.util.List getBwdEdges(CFA.CFANode node)

getBwdEdges

public java.util.List getBwdEdges(int nodeId)

getFwdEdges

public java.util.List getFwdEdges(CFA.CFANode node)

getFwdEdges

public java.util.List getFwdEdges(int nodeId)

getNode

public CFA.CFANode getNode(int id)

getNodeFwdEdges

public java.util.List getNodeFwdEdges(int id)

getNodeBwdEdges

public java.util.List getNodeBwdEdges(int id)

getNodeFwdEdges

public java.util.List getNodeFwdEdges(CFA.CFANode n)

getNodeBwdEdges

public java.util.List getNodeBwdEdges(CFA.CFANode n)

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

equals

public boolean equals(CFA cfa)

toDaVinci

public DaVinciGraph toDaVinci()

toDot

public GrappaGraph toDot()