harpoon.Analysis.PointerAnalysis
Class AbstrRelationMapBased

java.lang.Object
  harpoon.Analysis.PointerAnalysis.AbstrRelation
      harpoon.Analysis.PointerAnalysis.AbstrRelationMapBased

All Implemented Interfaces:

Relation, Serializable, Cloneable

Direct Known Subclasses:

LightRelation

public abstract class AbstrRelationMapBased
extends AbstrRelation
implements Serializable

AbstrRelationMapBased

Version:

$Id: AbstrRelationMapBased.java,v 1.1 2005/08/17 23:34:00 salcianu Exp $

Author:

Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>

See Also:

Serialized Form

Field Summary

protected Map

map

Fields inherited from class harpoon.Analysis.PointerAnalysis.AbstrRelation

hashCode, OPTIMIZE_HASH_CODE

Constructor Summary

AbstrRelationMapBased()

Method Summary

Set	getValues(Object key) Returns the image of key through this relation.
protected Set	getValues2(Object key)
Set	keys() Returns all the keys appearing in this relation.
void	removeKey(Object key) Removes all the relations attached to key.

Methods inherited from class harpoon.Analysis.PointerAnalysis.AbstrRelation

add, addAll, clone, contains, containsKey, convert, equals, forAllEntries, getEmptyRelation, hashCode, isEmpty, remove, removeAll, removeKeys, removeObjects, removeValues, revert, select, toString, union, values

Methods inherited from class java.lang.Object

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

Field Detail

map

protected Map map

Constructor Detail

AbstrRelationMapBased

public AbstrRelationMapBased()

Method Detail

removeKey

public void removeKey(Object key)

Description copied from interface: Relation

Removes all the relations attached to key.

Specified by:

removeKey in interface Relation

Overrides:

removeKey in class AbstrRelation

getValues

public Set getValues(Object key)

Description copied from interface: Relation

Returns the image of key through this relation. The returned collection is guarranted not to contain duplicates. Can return null if no value is attached to key. If the result is non-null, additions and removals on the returned collection take effect on the relation.

Specified by:

getValues in interface Relation

Overrides:

getValues in class AbstrRelation

getValues2

protected Set getValues2(Object key)

Overrides:

getValues2 in class AbstrRelation

keys

public Set keys()

Description copied from interface: Relation

Returns all the keys appearing in this relation. The result is guaranted not to contain duplicates.

Specified by:

keys in interface Relation

Overrides:

keys in class AbstrRelation