DPJRuntime
Class DPJSequentialHashSet<type E,region R>

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractSet<E>
          extended by java.util.HashSet<E>
              extended by DPJRuntime.DPJSequentialHashSet<type E,region R>
All Implemented Interfaces:
DPJSequentialSet<E,R>, java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<E>, java.util.Collection<E>, java.util.Set<E>

public class DPJSequentialHashSet<type E,region R>
extends java.util.HashSet<E>
implements DPJSequentialSet<E,R>

DPJ version of java.util.HashSet. This implementation extends HashSet, and every method calls the method that it overrides. This provides a way to get HashSet functionality with DPJ region and effect annotations.

See Also:
Serialized Form

Constructor Summary
DPJSequentialHashSet()
           
 
Method Summary
 boolean add(E e)
           
 boolean addAll(java.util.Collection<? extends E> c)
           
 void clear()
           
 boolean contains(java.lang.Object o)
           
 boolean containsAll(java.util.Collection<?> c)
           
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 boolean isEmpty()
           
 java.util.Iterator<E> iterator()
           
 boolean remove(java.lang.Object o)
           
 boolean removeAll(java.util.Collection<?> c)
           
 boolean retainAll(java.util.Collection<?> c)
           
 int size()
           
 java.lang.Object[] toArray()
           
<type T> T[]
toArray(T[] a)
           
 
Methods inherited from class java.util.HashSet
clone
 
Methods inherited from class java.util.AbstractCollection
toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DPJSequentialHashSet

public DPJSequentialHashSet()
                     [unknown]
Method Detail

add

public boolean add(E e)
            writes R
Specified by:
add in interface DPJSequentialSet<E,R>
Specified by:
add in interface java.util.Collection<E>
Specified by:
add in interface java.util.Set<E>
Overrides:
add in class java.util.HashSet<E>

addAll

public boolean addAll(java.util.Collection<? extends E> c)
               writes R
Specified by:
addAll in interface DPJSequentialSet<E,R>
Specified by:
addAll in interface java.util.Collection<E>
Specified by:
addAll in interface java.util.Set<E>
Overrides:
addAll in class java.util.AbstractCollection<E>

clear

public void clear()
           writes R
Specified by:
clear in interface DPJSequentialSet<E,R>
Specified by:
clear in interface java.util.Collection<E>
Specified by:
clear in interface java.util.Set<E>
Overrides:
clear in class java.util.HashSet<E>

contains

public boolean contains(java.lang.Object o)
                 reads  R
Specified by:
contains in interface DPJSequentialSet<E,R>
Specified by:
contains in interface java.util.Collection<E>
Specified by:
contains in interface java.util.Set<E>
Overrides:
contains in class java.util.HashSet<E>

containsAll

public boolean containsAll(java.util.Collection<?> c)
                    reads  R
Specified by:
containsAll in interface DPJSequentialSet<E,R>
Specified by:
containsAll in interface java.util.Collection<E>
Specified by:
containsAll in interface java.util.Set<E>
Overrides:
containsAll in class java.util.AbstractCollection<E>

equals

public boolean equals(java.lang.Object o)
               reads  R
Specified by:
equals in interface DPJSequentialSet<E,R>
Specified by:
equals in interface java.util.Collection<E>
Specified by:
equals in interface java.util.Set<E>
Overrides:
equals in class java.util.AbstractSet<E>

hashCode

public int hashCode()
             reads  R
Specified by:
hashCode in interface DPJSequentialSet<E,R>
Specified by:
hashCode in interface java.util.Collection<E>
Specified by:
hashCode in interface java.util.Set<E>
Overrides:
hashCode in class java.util.AbstractSet<E>

isEmpty

public boolean isEmpty()
                reads  R
Specified by:
isEmpty in interface DPJSequentialSet<E,R>
Specified by:
isEmpty in interface java.util.Collection<E>
Specified by:
isEmpty in interface java.util.Set<E>
Overrides:
isEmpty in class java.util.HashSet<E>

iterator

public java.util.Iterator<E> iterator()
                               reads  R
Specified by:
iterator in interface DPJSequentialSet<E,R>
Specified by:
iterator in interface java.lang.Iterable<E>
Specified by:
iterator in interface java.util.Collection<E>
Specified by:
iterator in interface java.util.Set<E>
Overrides:
iterator in class java.util.HashSet<E>

remove

public boolean remove(java.lang.Object o)
               writes R
Specified by:
remove in interface DPJSequentialSet<E,R>
Specified by:
remove in interface java.util.Collection<E>
Specified by:
remove in interface java.util.Set<E>
Overrides:
remove in class java.util.HashSet<E>

removeAll

public boolean removeAll(java.util.Collection<?> c)
                  writes R
Specified by:
removeAll in interface DPJSequentialSet<E,R>
Specified by:
removeAll in interface java.util.Collection<E>
Specified by:
removeAll in interface java.util.Set<E>
Overrides:
removeAll in class java.util.AbstractSet<E>

retainAll

public boolean retainAll(java.util.Collection<?> c)
                  writes R
Specified by:
retainAll in interface DPJSequentialSet<E,R>
Specified by:
retainAll in interface java.util.Collection<E>
Specified by:
retainAll in interface java.util.Set<E>
Overrides:
retainAll in class java.util.AbstractCollection<E>

size

public int size()
         reads  R
Specified by:
size in interface DPJSequentialSet<E,R>
Specified by:
size in interface java.util.Collection<E>
Specified by:
size in interface java.util.Set<E>
Overrides:
size in class java.util.HashSet<E>

toArray

public java.lang.Object[] toArray()
                           reads  R
Specified by:
toArray in interface DPJSequentialSet<E,R>
Specified by:
toArray in interface java.util.Collection<E>
Specified by:
toArray in interface java.util.Set<E>
Overrides:
toArray in class java.util.AbstractCollection<E>

toArray

public <type T> T[] toArray(T[] a)
            reads  R
Specified by:
toArray in interface DPJSequentialSet<E,R>
Specified by:
toArray in interface java.util.Collection<E>
Specified by:
toArray in interface java.util.Set<E>
Overrides:
toArray in class java.util.AbstractCollection<E>