Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
"Model-Based Software Testing and Analysis with C#"
The data type ValueArray
is better suited to large numbers of
elements that require frequent random access but infrequent addition or removal
Appendices 301
of elements. The data type Sequence is better suited to frequent addition or
deletion and recursive subdivision via Head and Tail operations.
Last
Returns the last element of the current sequence.
Tail
Returns the subsequence of the current sequence where the first element is
removed. Throws an exception if the sequence is empty.
etc. . . .
Several more properties are described in the library documentation.
Fields
EmptySequence
The empty sequence of sort T.
Remarks
Sequences contain indexable elements. Sequences are similar to ArrayLists, but
unlike ArrayLists, they are immutable. Sequences are implemented as doubly linked
lists (concatenation to the beginning or end is constant time). Lookup is linear time;
if possible, callers should use foreach(T val in sequence)... instead of for(int
i = 0; i < sequence.Count; i += 1) ... sequence[i]...
A.2.5 Value array
ValueArray
Immutable type that provides structural equality for arrays.
Syntax
public sealed class ValueArray : CollectionValue
Constructors
ValueArray(T[])
Methods
The library documentation describes the methods of this type. They are similar to
the methods for the other NModel collection types.
Properties
The following entries describe some of the methods of this type.
Pages:
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390