DPJRuntime
Class DPJSequentialHashSet<type E,region R>
java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractSet<E>
java.util.HashSet<E>
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
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 |
DPJSequentialHashSet
public DPJSequentialHashSet()
[unknown]
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>