soot.jimple.toolkits.annotation.arraycheck

Class BoundedPriorityList

java.lang.Object

soot.jimple.toolkits.annotation.arraycheck.BoundedPriorityList

All Implemented Interfaces:

java.lang.Iterable, java.util.Collection

public class BoundedPriorityList
extends java.lang.Object
implements java.util.Collection

BoundedPriorityList keeps a list in a priority queue. The order is decided by the initial list.

Author:

Eric Bodden (adapted from Feng Qian's code)

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List	fulllist
protected java.util.ArrayList	worklist

Constructor Summary

Constructors

Constructor and Description
BoundedPriorityList(java.util.List list)

Method Summary

Modifier and Type	Method and Description
boolean	add(java.lang.Object toadd)
boolean	addAll(java.util.Collection c)
boolean	addAll(int index, java.util.Collection c)
void	clear()
boolean	contains(java.lang.Object o)
boolean	containsAll(java.util.Collection c)
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	isEmpty()
java.util.Iterator	iterator()
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection c)
java.lang.Object	removeFirst()
boolean	retainAll(java.util.Collection c)
int	size()
java.lang.Object[]	toArray()
java.lang.Object[]	toArray(java.lang.Object[] a)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

fulllist

protected final java.util.List fulllist

worklist

protected java.util.ArrayList worklist

Constructor Detail

BoundedPriorityList

public BoundedPriorityList(java.util.List list)

Method Detail

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection

removeFirst

public java.lang.Object removeFirst()

add

public boolean add(java.lang.Object toadd)

Specified by:

add in interface java.util.Collection

addAll

public boolean addAll(java.util.Collection c)

Specified by:

addAll in interface java.util.Collection

addAll

public boolean addAll(int index,
                      java.util.Collection c)

clear

public void clear()

Specified by:

clear in interface java.util.Collection

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.Collection

containsAll

public boolean containsAll(java.util.Collection c)

Specified by:

containsAll in interface java.util.Collection

iterator

public java.util.Iterator iterator()

Specified by:

iterator in interface java.lang.Iterable

Specified by:

iterator in interface java.util.Collection

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection

removeAll

public boolean removeAll(java.util.Collection c)

Specified by:

removeAll in interface java.util.Collection

retainAll

public boolean retainAll(java.util.Collection c)

Specified by:

retainAll in interface java.util.Collection

size

public int size()

Specified by:

size in interface java.util.Collection

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection

toArray

public java.lang.Object[] toArray(java.lang.Object[] a)

Specified by:

toArray in interface java.util.Collection

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Collection

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection

Overrides:

hashCode in class java.lang.Object