harpoon.Analysis.PointerAnalysis
Class PAWorkSet

java.lang.Object
  harpoon.Analysis.PointerAnalysis.PAWorkSet

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

PAWorkList, PAWorkStack

public abstract class PAWorkSet
extends Object
implements Serializable

The PAWorkset class tries to formalize the concept of a workset used in many dataflow analysis. There is some workset interface in the harpoon.Util package but I didn't like it and I decided to implement my own one.

Version:

$Id: PAWorkSet.java,v 1.2 2002/02/25 20:58:40 cananian Exp $

Author:

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

See Also:

Serialized Form

Constructor Summary

PAWorkSet()

Method Summary

abstract boolean	add(Object o)
void	addAll(Collection c) Adds all the elements of a Collection
abstract boolean	contains(Object o)
abstract boolean	isEmpty()
abstract Object	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PAWorkSet

public PAWorkSet()

Method Detail

add

public abstract boolean add(Object o)

remove

public abstract Object remove()

contains

public abstract boolean contains(Object o)

isEmpty

public abstract boolean isEmpty()

addAll

public void addAll(Collection c)

Adds all the elements of a Collection