A B C D E F G I L M N O P R S T U V

A

AbstractMap<C,D> - Class in TypesSpec

Classe abstraite pour des "map" a la Spec permettant de fournir une mise en oeuvre partielle de certaines operations ("skeletal implementation") et de definir certaines operations dans un style semblable a celui de Spec (operations prefixes).

AbstractMap() - Constructor for class TypesSpec.AbstractMap

AbstractSequence<T> - Class in TypesSpec

Classe abstraite pour des "sequence" a la Spec permettant de fournir une mise en oeuvre partielle de certaines operations ("skeletal implementation") et de definir certaines operations dans un style semblable a celui de Spec (operations prefixes).

AbstractSequence() - Constructor for class TypesSpec.AbstractSequence

AbstractSet<T> - Class in TypesSpec

Classe abstraite pour des "set" a la Spec permettant de fournir une mise en oeuvre partielle de certaines operations ("skeletal implementation") et permettant de definir certaines operations dans un style semblable a celui de Spec (operations prefixes).

AbstractSet() - Constructor for class TypesSpec.AbstractSet

add(T, Sequence<T>) - Static method in class TypesSpec.AbstractSequence

add(T...) - Method in class TypesSpec.AbstractSequence

add(T) - Method in class TypesSpec.AbstractSequence

add(T, Set<T>) - Static method in class TypesSpec.AbstractSet

add(T...) - Method in class TypesSpec.AbstractSet

add(T) - Method in class TypesSpec.AbstractSet

add(T) - Method in class TypesSpec.ArraySet

add(T) - Method in class TypesSpec.LinkedListSequence

add(T) - Method in class TypesSpec.LinkedListSet

add(T) - Method in interface TypesSpec.Sequence

add(T...) - Method in interface TypesSpec.Sequence

add(T) - Method in interface TypesSpec.Set

add(T...) - Method in interface TypesSpec.Set

all(Predicat<T>) - Method in class TypesSpec.AbstractSequence

all(Predicat<T>) - Method in class TypesSpec.AbstractSet

all(Predicat<T>) - Method in interface TypesSpec.Sequence

all(Predicat<T>) - Method in interface TypesSpec.Set

ArraySet<T> - Class in TypesSpec

Mise en oeuvre des "set" a la Spec a l'aide d'un tableau.

ArraySet() - Constructor for class TypesSpec.ArraySet

B

bind(C, D, Map<C, D>) - Static method in class TypesSpec.AbstractMap

bind(C, D) - Method in class TypesSpec.AbstractMap

bind(C, D) - Method in class TypesSpec.LinkedListMap

bind(C, D) - Method in interface TypesSpec.Map

BoundsErrorException - Exception in TypesSpec

BoundsErrorException() - Constructor for exception TypesSpec.BoundsErrorException

C

cloner() - Method in class TypesSpec.LinkedListSequence

concatenate(Sequence<T>, Sequence<T>) - Static method in class TypesSpec.AbstractSequence

concatenate(Sequence<T>) - Method in class TypesSpec.AbstractSequence

concatenate(Sequence<T>) - Method in class TypesSpec.LinkedListSequence

concatenate(Sequence<T>) - Method in interface TypesSpec.Sequence

Constructeurs - Class in TypesSpec

Classe pour des methodes statiques simples de fabrication de collections vides (ou presque).

Constructeurs() - Constructor for class TypesSpec.Constructeurs

create(D) - Static method in class TypesSpec.Constructeurs

Constructeur statique pour un dictionnaire vide.

create(D) - Method in class TypesSpec.MapFactory

Methode pour fabriquer un dictionnaire vide a l'aide de la mise en oeuvre par defaut.

create(MapFactory.Implementation, D) - Method in class TypesSpec.MapFactory

Methode pour fabriquer un dictionnaire vide a l'aide d'une certaine mise en oeuvre.

D

default_(Map<C, D>) - Static method in class TypesSpec.AbstractMap

default_() - Method in class TypesSpec.AbstractMap

default_() - Method in class TypesSpec.LinkedListMap

default_() - Method in interface TypesSpec.Map

difference(Set<T>, Set<T>) - Static method in class TypesSpec.AbstractSet

difference(Set<T>) - Method in class TypesSpec.AbstractSet

difference(Set<T>) - Method in interface TypesSpec.Set

domain(Map<C, D>) - Static method in class TypesSpec.AbstractMap

domain() - Method in class TypesSpec.AbstractMap

domain(Sequence<T>) - Static method in class TypesSpec.AbstractSequence

domain() - Method in class TypesSpec.AbstractSequence

domain() - Method in class TypesSpec.LinkedListMap

domain() - Method in interface TypesSpec.Map

domain() - Method in interface TypesSpec.Sequence

E

EMPTY_SEQUENCE - Variable in class TypesSpec.SequenceFactory

Constante 'sequence vide' creee en utilisant, par defaut, la mise en oeuvre avec liste chainee.

EMPTY_SET - Variable in class TypesSpec.SetFactory

Constante 'ensemble vide' creee en utilisant, par defaut, la mise en oeuvre avec liste chainee.

emptySequence() - Static method in class TypesSpec.Constructeurs

Constructeur statique pour une sequence vide.

emptySet() - Static method in class TypesSpec.Constructeurs

Constructeur statique pour un ensemble vide.

equals(Map<C, D>, Map<C, D>) - Static method in class TypesSpec.AbstractMap

equals(Object) - Method in class TypesSpec.AbstractMap

equals(Sequence<T>, Sequence<T>) - Static method in class TypesSpec.AbstractSequence

equals(Object) - Method in class TypesSpec.AbstractSequence

equals(Set<T>, Set<T>) - Static method in class TypesSpec.AbstractSet

equals(Object) - Method in class TypesSpec.AbstractSet

equals(Object) - Method in interface TypesSpec.Map

equals(Object) - Method in interface TypesSpec.Sequence

equals(Object) - Method in interface TypesSpec.Set

evaluer(T) - Method in interface TypesSpec.Expression

evaluer(T, T) - Method in interface TypesSpec.OpBinaire

evaluer(T) - Method in interface TypesSpec.Predicat

Expression<T,R> - Interface in TypesSpec

Interface pour definir une notion d'expression, utilisable dans les methodes generate des set et sequence pour emuler une forme limitee d'expression generatrice.

F

first() - Method in class TypesSpec.Pair

Premiere composante du tuple.

G

generate(Expression<T, R>) - Method in class TypesSpec.AbstractSequence

generate(Predicat<T>, Expression<T, R>) - Method in class TypesSpec.AbstractSequence

generate(Expression<T, R>) - Method in class TypesSpec.AbstractSet

generate(Predicat<T>, Expression<T, R>) - Method in class TypesSpec.AbstractSet

generate(Expression<T, R>) - Method in interface TypesSpec.Sequence

generate(Predicat<T>, Expression<T, R>) - Method in interface TypesSpec.Sequence

generate(Expression<T, R>) - Method in interface TypesSpec.Set

generate(Predicat<T>, Expression<T, R>) - Method in interface TypesSpec.Set

I

IN(C, Map<C, D>) - Static method in class TypesSpec.AbstractMap

IN(C) - Method in class TypesSpec.AbstractMap

IN(T, Sequence<T>) - Static method in class TypesSpec.AbstractSequence

IN(T) - Method in class TypesSpec.AbstractSequence

IN(T, Set<T>) - Static method in class TypesSpec.AbstractSet

IN(T) - Method in class TypesSpec.AbstractSet

IN(C) - Method in interface TypesSpec.Map

IN(T) - Method in interface TypesSpec.Sequence

IN(T) - Method in interface TypesSpec.Set

index(C, Map<C, D>) - Static method in class TypesSpec.AbstractMap

index(C) - Method in class TypesSpec.AbstractMap

index(int, Sequence<T>) - Static method in class TypesSpec.AbstractSequence

index(int) - Method in class TypesSpec.AbstractSequence

index(C) - Method in class TypesSpec.LinkedListMap

index(C) - Method in interface TypesSpec.Map

index(int) - Method in interface TypesSpec.Sequence

indexBis(int) - Method in class TypesSpec.LinkedListSequence

intersection(Set<T>, Set<T>) - Static method in class TypesSpec.AbstractSet

intersection(Set<T>) - Method in class TypesSpec.AbstractSet

intersection(Set<T>) - Method in interface TypesSpec.Set

iterator() - Method in class TypesSpec.AbstractSequence

iterator() - Method in class TypesSpec.AbstractSet

iterator() - Method in class TypesSpec.ArraySet

iterator() - Method in class TypesSpec.LinkedListSequence

iterator() - Method in class TypesSpec.LinkedListSet

iterator() - Method in interface TypesSpec.Sequence

iterator() - Method in interface TypesSpec.Set

L

length(Sequence<T>) - Static method in class TypesSpec.AbstractSequence

length() - Method in class TypesSpec.AbstractSequence

length() - Method in interface TypesSpec.Sequence

LinkedListMap<C,D> - Class in TypesSpec

Mise en oeuvre des "map" a la Spec a l'aide d'une liste chainee lineaire.

LinkedListMap(D) - Constructor for class TypesSpec.LinkedListMap

LinkedListSequence<T> - Class in TypesSpec

Mise en oeuvre des "sequence" a la Spec a l'aide d'une liste chainee lineaire.

LinkedListSequence() - Constructor for class TypesSpec.LinkedListSequence

LinkedListSet<T> - Class in TypesSpec

Mise en oeuvre des "set" a la Spec a l'aide d'une liste chainee lineaire.

LinkedListSet() - Constructor for class TypesSpec.LinkedListSet

M

Map<C,D> - Interface in TypesSpec

Type generique Java semblable au type "map" de Spec, utilisant des "objets immuables" (sic).

map(D, Pair<C, D>...) - Method in class TypesSpec.MapFactory

Methode pour fabriquer un dictionnaire a l'aide de la mise en oeuvre par defaut.

map(MapFactory.Implementation, D, Pair<C, D>...) - Method in class TypesSpec.MapFactory

Methode pour fabriquer un dictionnaire a l'aide d'une certaine mise en oeuvre.

MapFactory<C,D> - Class in TypesSpec

Classe pour des fabriques de "map" a la Spec.

MapFactory() - Constructor for class TypesSpec.MapFactory

MapFactory(MapFactory.Implementation) - Constructor for class TypesSpec.MapFactory

MapFactory.Implementation - Enum in TypesSpec

La seule mise en oeuvre possible (pour l'instant) pour les valeurs de type map.

N

number(Predicat<T>) - Method in class TypesSpec.AbstractSequence

number(Predicat<T>) - Method in class TypesSpec.AbstractSet

number(Predicat<T>) - Method in interface TypesSpec.Sequence

number(Predicat<T>) - Method in interface TypesSpec.Set

O

OpBinaire<T> - Interface in TypesSpec

Interface pour definir une notion d'operation (operateur) binaire, utilisable dans la methode reduce de set/sequence (entre autres, pour emuler une forme limitee de quantificateurs generalises).

P

Pair<T1,T2> - Class in TypesSpec

Type generique Java semblable au type "tuple" de Spec, mais pour deux elements, donc des paires.

pair(T1, T2) - Static method in class TypesSpec.Pair

Constructeur statique, pour faciliter l'utilisation dans d'autres types.

Predicat<T> - Interface in TypesSpec

Interface pour definir une notion de predicat, donc pour avoir l'equivalent d'une fonction qu'on peut passer en argument et qu'on appliquer a une valeur pour obtenir un resultat boolean.

R

range(Map<C, D>) - Static method in class TypesSpec.AbstractMap

range() - Method in class TypesSpec.AbstractMap

range() - Method in interface TypesSpec.Map

reduce(OpBinaire<T>) - Method in class TypesSpec.AbstractSequence

reduce(OpBinaire<T>, T) - Method in class TypesSpec.AbstractSequence

reduce(OpBinaire<T>) - Method in class TypesSpec.AbstractSet

reduce(OpBinaire<T>, T) - Method in class TypesSpec.AbstractSet

reduce(OpBinaire<T>) - Method in interface TypesSpec.Sequence

reduce(OpBinaire<T>, T) - Method in interface TypesSpec.Sequence

reduce(OpBinaire<T>) - Method in interface TypesSpec.Set

reduce(OpBinaire<T>, T) - Method in interface TypesSpec.Set

remove(C, Map<C, D>) - Static method in class TypesSpec.AbstractMap

remove(C) - Method in class TypesSpec.AbstractMap

remove(T, Sequence<T>) - Static method in class TypesSpec.AbstractSequence

remove(T) - Method in class TypesSpec.AbstractSequence

remove(T) - Method in class TypesSpec.LinkedListSequence

remove(C) - Method in interface TypesSpec.Map

remove(T) - Method in interface TypesSpec.Sequence

S

second() - Method in class TypesSpec.Pair

Deuxieme composante du tuple.

Sequence<T> - Interface in TypesSpec

Type generique Java semblable au type "sequence" de Spec, utilisant des "objets immuables" (sic).

sequence(T...) - Method in class TypesSpec.SequenceFactory

Methode pour fabriquer un sequence a l'aide de la mise en oeuvre par defaut.

sequence(SequenceFactory.Implementation, T...) - Method in class TypesSpec.SequenceFactory

Methode pour fabriquer un sequence a l'aide d'une certaine mise en oeuvre.

SequenceFactory<T> - Class in TypesSpec

Classe pour des fabriques de "sequence" a la Spec.

SequenceFactory() - Constructor for class TypesSpec.SequenceFactory

SequenceFactory(SequenceFactory.Implementation) - Constructor for class TypesSpec.SequenceFactory

SequenceFactory.Implementation - Enum in TypesSpec

La seule mise en oeuvre possible pour les valeurs de type sequence.

Set<T> - Interface in TypesSpec

Type generique Java semblable au type "set" de Spec, utilisant des "objets immuables" (sic).

set(T...) - Method in class TypesSpec.SetFactory

Methode pour fabriquer un ensemble a l'aide de la mise en oeuvre par defaut.

set(SetFactory.Implementation, T...) - Method in class TypesSpec.SetFactory

Methode pour fabriquer un ensemble a l'aide d'une certaine mise en oeuvre.

SetFactory<T> - Class in TypesSpec

Classe pour des fabriques de "set" a la Spec.

SetFactory() - Constructor for class TypesSpec.SetFactory

SetFactory(SetFactory.Implementation) - Constructor for class TypesSpec.SetFactory

SetFactory.Implementation - Enum in TypesSpec

Les deux (2) mises en oeuvre possibles pour les valeurs de type set.

singleton(T) - Static method in class TypesSpec.Constructeurs

Constructeur statique pour un ensemble singleton (contenant un unique element).

size(Set<T>) - Static method in class TypesSpec.AbstractSet

size() - Method in class TypesSpec.AbstractSet

size() - Method in class TypesSpec.ArraySet

size() - Method in class TypesSpec.LinkedListSet

size() - Method in interface TypesSpec.Set

some(Predicat<T>) - Method in class TypesSpec.AbstractSequence

some(Predicat<T>) - Method in class TypesSpec.AbstractSet

some(Predicat<T>) - Method in interface TypesSpec.Sequence

some(Predicat<T>) - Method in interface TypesSpec.Set

subset(Set<T>, Set<T>) - Static method in class TypesSpec.AbstractSet

subset(Set<T>) - Method in class TypesSpec.AbstractSet

subset(Set<T>) - Method in interface TypesSpec.Set

T

toString(Map<C, D>) - Static method in class TypesSpec.AbstractMap

toString() - Method in class TypesSpec.AbstractMap

toString(Sequence<T>) - Static method in class TypesSpec.AbstractSequence

toString() - Method in class TypesSpec.AbstractSequence

toString(Set<T>) - Static method in class TypesSpec.AbstractSet

toString() - Method in class TypesSpec.AbstractSet

toString() - Method in class TypesSpec.ArraySet

toString() - Method in class TypesSpec.LinkedListMap

toString() - Method in class TypesSpec.LinkedListSequence

toString() - Method in class TypesSpec.LinkedListSet

toString() - Method in interface TypesSpec.Map

toString() - Method in class TypesSpec.Pair

toString() - Method in interface TypesSpec.Sequence

toString() - Method in interface TypesSpec.Set

TypesSpec - package TypesSpec

U

U(Set<T>, Set<T>) - Static method in class TypesSpec.AbstractSet

U(Set<T>) - Method in class TypesSpec.AbstractSet

U(Set<T>) - Method in interface TypesSpec.Set

V

valueOf(String) - Static method in enum TypesSpec.MapFactory.Implementation

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum TypesSpec.SequenceFactory.Implementation

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum TypesSpec.SetFactory.Implementation

Returns the enum constant of this type with the specified name.

values() - Static method in enum TypesSpec.MapFactory.Implementation

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum TypesSpec.SequenceFactory.Implementation

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum TypesSpec.SetFactory.Implementation

Returns an array containing the constants of this enum type, in the order they're declared.

A B C D E F G I L M N O P R S T U V