edu.toronto.cs.cfa
Class CFA.CFAEdge

java.lang.Object
  extended by edu.toronto.cs.cfa.CFA.CFAEdge
Enclosing class:
CFA

public class CFA.CFAEdge
extends java.lang.Object

CFAEdge.java Contains -- string representation -- source identity -- destination identity -- mvset data Created: Sun May 30 00:10:26 2004

Version:
Author:
Arie Gurfinkel

Constructor Summary
CFA.CFAEdge(java.lang.String _strValue, int sId, int dId, MvRelation _data)
           
CFA.CFAEdge(java.lang.String _strValue, int sId, int dId, MvRelation _data, int dId2)
           
 
Method Summary
 MvRelation getData()
          Get the Data value.
 int getDest2Id()
           
 int getDestId()
          Get the DestId value.
 int getSourceId()
          Get the SourceId value.
 java.lang.String getStrValue()
          Get the StrValue value.
 boolean isHyperEdge()
           
 void setData(MvRelation newData)
          Set the Data value.
 void setDestId(int newDestId)
          Set the DestId value.
 void setSourceId(int newSourceId)
          Set the SourceId value.
 void setStrValue(java.lang.String newStrValue)
          Set the StrValue value.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CFA.CFAEdge

public CFA.CFAEdge(java.lang.String _strValue,
                   int sId,
                   int dId,
                   MvRelation _data,
                   int dId2)

CFA.CFAEdge

public CFA.CFAEdge(java.lang.String _strValue,
                   int sId,
                   int dId,
                   MvRelation _data)
Method Detail

isHyperEdge

public boolean isHyperEdge()

getData

public MvRelation getData()
Get the Data value.

Returns:
the Data value.

setData

public void setData(MvRelation newData)
Set the Data value.

Parameters:
newData - The new Data value.

getDestId

public int getDestId()
Get the DestId value.

Returns:
the DestId value.

getDest2Id

public int getDest2Id()

setDestId

public void setDestId(int newDestId)
Set the DestId value.

Parameters:
newDestId - The new DestId value.

getSourceId

public int getSourceId()
Get the SourceId value.

Returns:
the SourceId value.

setSourceId

public void setSourceId(int newSourceId)
Set the SourceId value.

Parameters:
newSourceId - The new SourceId value.

getStrValue

public java.lang.String getStrValue()
Get the StrValue value.

Returns:
the StrValue value.

setStrValue

public void setStrValue(java.lang.String newStrValue)
Set the StrValue value.

Parameters:
newStrValue - The new StrValue value.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object