harpoon.Analysis.PointerAnalysis
Class LightRelation

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

All Implemented Interfaces:

Relation, Serializable, Cloneable

public class LightRelation
extends AbstrRelationMapBased
implements Serializable

LightRelation

Version:

$Id: LightRelation.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

Fields inherited from class harpoon.Analysis.PointerAnalysis.AbstrRelationMapBased

map

Fields inherited from class harpoon.Analysis.PointerAnalysis.AbstrRelation

hashCode, OPTIMIZE_HASH_CODE

Constructor Summary

LightRelation()
Creates a RelationLight.

Method Summary

boolean	add(Object key, Object value) Adds the pair <key, value> to the relation.
boolean	addAll(Object key, Collection values) Adds a relation from key to each element of the set values.
Object	clone() Clones this relation.
protected Relation	getEmptyRelation()
void	removeAll(Object key, Collection values) Removes the relation between key and any element from values.

Methods inherited from class harpoon.Analysis.PointerAnalysis.AbstrRelationMapBased

getValues, getValues2, keys, removeKey

Methods inherited from class harpoon.Analysis.PointerAnalysis.AbstrRelation

contains, containsKey, convert, equals, forAllEntries, hashCode, isEmpty, remove, removeKeys, removeObjects, removeValues, revert, select, toString, union, values

Methods inherited from class java.lang.Object

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

Constructor Detail

LightRelation

public LightRelation()

Creates a RelationLight.

Method Detail

getEmptyRelation

protected Relation getEmptyRelation()

Overrides:

getEmptyRelation in class AbstrRelation

add

public boolean add(Object key,
                   Object value)

Description copied from interface: Relation

Adds the pair <key, value> to the relation. Returns true if the new relation is bigger.

Specified by:

add in interface Relation

Overrides:

add in class AbstrRelation

addAll

public boolean addAll(Object key,
                      Collection values)

Description copied from interface: Relation

Adds a relation from key to each element of the set values. values should not contain duplicated elements. Returns true if the new relation is bigger.

Specified by:

addAll in interface Relation

Overrides:

addAll in class AbstrRelation

removeAll

public void removeAll(Object key,
                      Collection values)

Description copied from interface: Relation

Removes the relation between key and any element from values.

Specified by:

removeAll in interface Relation

Overrides:

removeAll in class AbstrRelation

clone

public Object clone()

Description copied from interface: Relation

Clones this relation.

Specified by:

clone in interface Relation

Overrides:

clone in class AbstrRelation