Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
"Model-Based Software Testing and Analysis with C#"
RestrictKeys(IEnumerable
)
Returns a map consisting of the elements in the current map whose key is not in
the collection given as an argument.
RestrictValues(IEnumerable)
Returns a map consisting of the elements in the current map whose value is not
in values.
etc. . . .
Many more methods are described in the library documentation.
Properties
The following entries describe some of the properties of this type. Several more are
described in the library documentation.
Count
The number of key/value pairs contained in the map.
EmptyMap
The empty map of sort .
IsEmpty
Returns true if the map has no elements. Returns false otherwise.
Keys
The set of keys in the map (i.e., the domain of the map).
Values
The set of values in the map (i.e., the range of the map).
etc. . . .
Remarks
Maps associate keys with values. Maps are similar to the .NET Dictionary objects
but are immutable and use structural equality. Add/remove operations return new
maps.
A.2.4 Sequence
Sequence
An ordered collection of (possibly repeating) values. This type is immutable and
uses structural equality. Add/remove operations return a new sequence.
Appendices 299
Syntax
public sealed class Sequence : CollectionValue
Constructors
Sequence()
Constructs an empty sequence. The static field Sequence.EmptySequence is
preferred instead of this constructor.
Pages:
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387