edu.toronto.cs.cfa
Class CFA
java.lang.Object
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 |
CFA
public CFA(int nodesSize)
CFA
public CFA(int nodesSize,
boolean edges)
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()