cetus.analysis

Class PointsToRel

java.lang.Object

cetus.analysis.PointsToRel

All Implemented Interfaces:

java.lang.Cloneable

public class PointsToRel
extends java.lang.Object
implements java.lang.Cloneable

Points to relationships represent the link from the head of the relationship to the tail. The head is the pointer variable/symbol and the tail is the variable/location/ symbol being pointed to. The relationship can be definite or possible.

Constructor Summary

Constructors

Constructor and Description
PointsToRel(Symbol head, Symbol tail) Constructor - default false relationship
PointsToRel(Symbol head, Symbol tail, boolean type) Constructor

Method Summary

Methods

Modifier and Type	Method and Description
PointsToRel	clone()
boolean	equals(java.lang.Object o)
Symbol	getPointedToSymbol() Return the tail of the relationship
Symbol	getPointerSymbol() Return the head of the relationship
int	hashCode()
boolean	isDefinite() Is the relationship definitely valid
PointsToRel	mergeRel(PointsToRel rel) Merge this rel with the input rel.
void	setDefinite() Set to definite
void	setPossible() Set to possible
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PointsToRel

public PointsToRel(Symbol head,
           Symbol tail,
           boolean type)

Constructor

Parameters:

head - Symbol for head location, always a pointer

tail - Symbol for tail location

type - The definiteness of the relationship

PointsToRel

public PointsToRel(Symbol head,
           Symbol tail)

Constructor - default false relationship

Parameters:

head - Symbol for head location, always a pointer

tail - Symbol for tail location

Method Detail

clone

public PointsToRel clone()

Overrides:

clone in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getPointerSymbol

public Symbol getPointerSymbol()

Return the head of the relationship

getPointedToSymbol

public Symbol getPointedToSymbol()

Return the tail of the relationship

isDefinite

public boolean isDefinite()

Is the relationship definitely valid

setDefinite

public void setDefinite()

Set to definite

setPossible

public void setPossible()

Set to possible

mergeRel

public PointsToRel mergeRel(PointsToRel rel)

Merge this rel with the input rel. Handles merging the relationship types.

Parameters:

rel - input relationship

Returns:

new merged relationship

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object