cz.afri.smg.graphs

Class SMGEdgePointsTo

java.lang.Object

cz.afri.smg.graphs.SMGEdgePointsTo

public class SMGEdgePointsTo
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SMGEdgePointsTo(int pValue, SMGObject pObject, int pOffset)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
SMGObject	getObject()
int	getOffset()
int	getValue()
int	hashCode()
boolean	isConsistentWith(cz.afri.smg.graphs.SMGEdge other)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SMGEdgePointsTo

public SMGEdgePointsTo(int pValue,
                       SMGObject pObject,
                       int pOffset)

Method Detail

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object

getOffset

public final int getOffset()

isConsistentWith

public final boolean isConsistentWith(cz.afri.smg.graphs.SMGEdge other)

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public final boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getValue

public final int getValue()

getObject

public final SMGObject getObject()