TypesSpec
Interface Sequence<T>

All Superinterfaces:

java.lang.Iterable<T>

All Known Implementing Classes:

AbstractSequence, LinkedListSequence

public interface Sequence<T>
extends java.lang.Iterable<T>

Type generique Java semblable au type "sequence" de Spec, utilisant des "objets immuables" (sic). Note: Sauf exception, les operations ne sont pas decrites ou specifiees: il suffit generalement de se referer a la definition du langage Spec.

Version:

Automne 2008

Author:

Guy Tremblay

Method Summary

Sequence<T>	add(T... elems)
Sequence<T>	add(T elem)
boolean	all(Predicat<T> p)
Sequence<T>	concatenate(Sequence<T> s2)
Set<java.lang.Integer>	domain()
boolean	equals(java.lang.Object s2)
<R> Sequence<R>	generate(Expression<T,R> expr)
<R> Sequence<R>	generate(Predicat<T> p, Expression<T,R> expr)
boolean	IN(T elem)
T	index(int i)
java.util.Iterator<T>	iterator()
int	length()
int	number(Predicat<T> p)
T	reduce(OpBinaire<T> op)
T	reduce(OpBinaire<T> op, T elemNeutre)
Sequence<T>	remove(T elem)
boolean	some(Predicat<T> p)
java.lang.String	toString()

Method Detail

add

Sequence<T> add(T elem)

add

Sequence<T> add(T... elems)

remove

Sequence<T> remove(T elem)

concatenate

Sequence<T> concatenate(Sequence<T> s2)

IN

boolean IN(T elem)

length

int length()

index

T index(int i)
        throws BoundsErrorException

Throws:

BoundsErrorException

domain

Set<java.lang.Integer> domain()

equals

boolean equals(java.lang.Object s2)

Overrides:

equals in class java.lang.Object

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object

iterator

java.util.Iterator<T> iterator()

Specified by:

iterator in interface java.lang.Iterable<T>

some

boolean some(Predicat<T> p)

all

boolean all(Predicat<T> p)

number

int number(Predicat<T> p)

generate

<R> Sequence<R> generate(Expression<T,R> expr)

generate

<R> Sequence<R> generate(Predicat<T> p,
                         Expression<T,R> expr)

reduce

T reduce(OpBinaire<T> op)

reduce

T reduce(OpBinaire<T> op,
         T elemNeutre)