chord.analyses.alias
Class CIObj

java.lang.Object
  chord.analyses.alias.CIObj

All Implemented Interfaces:

java.io.Serializable

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

Representation of an object-insensitive abstract object.

It is a set of object allocation sites.

Author:

Mayur Naik (mhn@cs.stanford.edu)

See Also:

Serialized Form

Field Summary

java.util.Set<joeq.Compiler.Quad.Quad>

pts

Constructor Summary

CIObj(java.util.Set<joeq.Compiler.Quad.Quad> pts)

Method Summary

boolean	equals(java.lang.Object that)
int	hashCode()
boolean	mayAlias(CIObj 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<joeq.Compiler.Quad.Quad> pts

Constructor Detail

CIObj

public CIObj(java.util.Set<joeq.Compiler.Quad.Quad> pts)

Method Detail

mayAlias

public boolean mayAlias(CIObj 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