chord.analyses.alias
Class CSObj

java.lang.Object
  chord.analyses.alias.CSObj

All Implemented Interfaces:

java.io.Serializable

public class CSObj
extends java.lang.Object
implements java.io.Serializable

Representation of an object-sensitive abstract object.

It is a set of abstract contexts (see Ctxt).

Author:

Mayur Naik (mhn@cs.stanford.edu)

See Also:

Serialized Form

Field Summary

java.util.Set<Ctxt>

pts

Constructor Summary

CSObj(java.util.Set<Ctxt> pts)

Method Summary

boolean	equals(java.lang.Object that)
int	hashCode()
boolean	mayAlias(CSObj that) Determines whether this abstract object may alias with a given abstract object.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

pts

public final java.util.Set<Ctxt> pts

Constructor Detail

CSObj

public CSObj(java.util.Set<Ctxt> pts)

Method Detail

mayAlias

public boolean mayAlias(CSObj that)

Determines whether this abstract object may alias with a given abstract object.

Parameters:

that - An abstract object.

Returns:

true iff this abstract object may alias with the given abstract object.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object that)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object