com.ibm.wala.fixedpoint.impl
Class Worklist

java.lang.Object
  com.ibm.wala.util.collections.Heap
      com.ibm.wala.fixedpoint.impl.Worklist

public class Worklist
extends Heap

Worklist for fixed-point solver implementation

Constructor Summary

Worklist()

Method Summary

protected boolean	compareElements(java.lang.Object o1, java.lang.Object o2)
void	insertStatement(AbstractStatement eq)
AbstractStatement	takeStatement()

Methods inherited from class com.ibm.wala.util.collections.Heap

insert, isEmpty, size, take

Methods inherited from class java.lang.Object

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

Constructor Detail

Worklist

public Worklist()

Method Detail

compareElements

protected final boolean compareElements(java.lang.Object o1,
                                        java.lang.Object o2)

Specified by:

compareElements in class Heap

Returns:

true iff elt1 is considered < elt2

takeStatement

public AbstractStatement takeStatement()
                                throws java.util.NoSuchElementException

Throws:

java.util.NoSuchElementException

insertStatement

public void insertStatement(AbstractStatement eq)