Package org.key_project.util.collection

Interface Summary

Interface	Description
ImmutableHeap<T extends java.lang.Comparable<T>>	Interface for heaps of objects of class T.
ImmutableList<T>	List interface to be implemented by non-destructive lists
ImmutableMap<S,T>	This interface has to be implemented by a Class providing a persistent Map.
ImmutableMapEntry<S,T>	This interface declares a tupel of two values.
ImmutableSet<T>	interface implemented by non-destructive Sets.

Class Summary

Class	Description
DefaultImmutableMap<S,T>	This class implements ImmMap and provides a persistent Map.
DefaultImmutableMap.MapEntry<S,T>	inner class for the entries
DefaultImmutableMap.MapEntryIterator<S,T>	iterator for the values
DefaultImmutableMap.MapIterator<S,T>	iterator for the values
DefaultImmutableMap.MapKeyIterator<S,T>
DefaultImmutableMap.MapValueIterator<S,T>
DefaultImmutableMap.NILMap<S,T>	the empty map
DefaultImmutableSet<T>	implementation of a persistent set using the SLListOf implementation with all its implications (means e.g.
DefaultImmutableSet.NILSet<T>	represents the empty set for elements of type
ImmutableArray<S>
ImmutableArray.ArrayIterator<T>
ImmutableLeftistHeap<T extends java.lang.Comparable<T>>	This class implements the leftist heap, see "Functional Data Structures" by Chris Okasaki
ImmutableLeftistHeap.Empty<S extends java.lang.Comparable<S>>	Singleton class for empty heaps
ImmutableLeftistHeap.Node<S extends java.lang.Comparable<S>>	Class for non-empty heaps
ImmutableLeftistHeap.SortedIterator<T extends java.lang.Comparable<T>>	Class for iterating the elements of a heap in increasing order
ImmutableLeftistHeap.UnsortedIterator<T extends java.lang.Comparable<T>>	Class for iterating the elements of a heap in unspecified order
Immutables	This class is a collection of methods that operate on immutable collections, in particular ImmutableSets and ImmutableLists.
ImmutableSLList<T>	Simple implementation of a non-destructive (unmodifiable) list.
ImmutableSLList.Cons<S>
ImmutableSLList.NIL<S>
ImmutableSLList.SLListIterator<T>	iterates through a none destructive list

Exception Summary

Exception	Description
NotUniqueException	thrown if a duplicate is being added via addUnique()