DPJRuntime
Interface DPJSequentialSet<type E,region R>

All Superinterfaces:

java.util.Collection<E>, java.lang.Iterable<E>, java.util.Set<E>

All Known Implementing Classes:

DPJSequentialHashSet

public interface DPJSequentialSet<type E,region R>
extends java.util.Set<E>

This interface is identical to the java.util.Set interface, with the addition of DPJ region and effect annotations.

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)

Method Detail

add

boolean add(E e)
            writes R

Specified by:

add in interface java.util.Collection<E>

Specified by:

add in interface java.util.Set<E>

addAll

boolean addAll(java.util.Collection<? extends E> c)
               writes R

Specified by:

addAll in interface java.util.Collection<E>

Specified by:

addAll in interface java.util.Set<E>

clear

void clear()
           writes R

Specified by:

clear in interface java.util.Collection<E>

Specified by:

clear in interface java.util.Set<E>

contains

boolean contains(java.lang.Object o)
                 reads  R

Specified by:

contains in interface java.util.Collection<E>

Specified by:

contains in interface java.util.Set<E>

containsAll

boolean containsAll(java.util.Collection<?> c)
                    reads  R

Specified by:

containsAll in interface java.util.Collection<E>

Specified by:

containsAll in interface java.util.Set<E>

equals

boolean equals(java.lang.Object o)
               reads  R

Specified by:

equals in interface java.util.Collection<E>

Specified by:

equals in interface java.util.Set<E>

Overrides:

equals in class java.lang.Object

hashCode

int hashCode()
             reads  R

Specified by:

hashCode in interface java.util.Collection<E>

Specified by:

hashCode in interface java.util.Set<E>

Overrides:

hashCode in class java.lang.Object

isEmpty

boolean isEmpty()
                reads  R

Specified by:

isEmpty in interface java.util.Collection<E>

Specified by:

isEmpty in interface java.util.Set<E>

iterator

java.util.Iterator<E> iterator()
                               reads  R

Specified by:

iterator in interface java.util.Collection<E>

Specified by:

iterator in interface java.lang.Iterable<E>

Specified by:

iterator in interface java.util.Set<E>

remove

boolean remove(java.lang.Object o)
               writes R

Specified by:

remove in interface java.util.Collection<E>

Specified by:

remove in interface java.util.Set<E>

removeAll

boolean removeAll(java.util.Collection<?> c)
                  writes R

Specified by:

removeAll in interface java.util.Collection<E>

Specified by:

removeAll in interface java.util.Set<E>

retainAll

boolean retainAll(java.util.Collection<?> c)
                  writes R

Specified by:

retainAll in interface java.util.Collection<E>

Specified by:

retainAll in interface java.util.Set<E>

size

int size()
         reads  R

Specified by:

size in interface java.util.Collection<E>

Specified by:

size in interface java.util.Set<E>

toArray

java.lang.Object[] toArray()
                           reads  R

Specified by:

toArray in interface java.util.Collection<E>

Specified by:

toArray in interface java.util.Set<E>

toArray

<type T> T[] toArray(T[] a)
            reads  R

Specified by:

toArray in interface java.util.Collection<E>

Specified by:

toArray in interface java.util.Set<E>