Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
"Model-Based Software Testing and Analysis with C#"
Methods
Equality(Pair
, Pair)
Deep structural equality on Pairs
etc. . . .
Properties
First
The first value.
Appendices 305
Second
The second value.
etc. . . .
A.2.8 Triple
Triple
Triples with structural equality.
Syntax
public struct Triple : IAbstractValue, IComparable
Constructors
Triple(T, S, R)
Initializes a new instance of a triple with the given arguments.
Methods
Equality(Triple, Triple)
Structural equality.
etc. . . .
Properties
First
The first value.
Second
The second value.
Third
The third value.
etc. . . .
A.2.9 Labeled instance
LabeledInstance
Base class for types with instance fields as state variables. Each type T that includes
instance fields that act as state variables of a model program must inherit the base
class LabeledInstance.
Syntax
public class LabeledInstance : LabeledInstance
306 Modeling Library Reference
Constructors
LabeledInstance()
Each subtype T of LabeledInstance must provide a public default constructor.
This constructor may not change state.
Methods
CompareTo(Object)
ContainsObjectIds()
Returns true.
Create()
(Static method.) Factory method that allocates a new object. This factory must
be used in the model instead of the public constructor. Most models will create
instances via the [Domain("new")] attribute applied to an action argument instead
of this factory method.
Pages:
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394