For example, Action.Parse("A(5,Set
(\"c\",\"b\")) creates the action
A(5,Set("c","b")).
Name
Returns the name of (the function symbol of) the action.
For example, given an action a as above, a.Name is the string "A".
this[int]
An action has an indexer that, for each valid argument position k of an action
a, takes the kth subterm of a and returns the underlying .NET value as an
IComparable. If the kth subterm of a does not have a valid, context independent,
interpretation as a .NET value, then the returned value is the term itself.
For example, given a as above, (int)a[0] is the integer 5, (Set)a[1]
is the string set containing the strings "c" and "b", a[2] throws an Invalid-
OperationException.
As another example, let a be the action Foo(bar(3),"baz"), then (Term)a[0]
is the term bar(3) and (string)a[1] is the string "baz".
B Command
Reference
This appendix describes the command-line options for the visualization and analysis
tool mpv (model program viewer), the test generator tool otg (offline test generator),
and the test runner tool ct (conformance tester).
B.1 Model program viewer, mpv
B.1.1 Usage
mpv [/reference:]* [/initialTransitions:]*
[/transitionLabels:{None|ActionSymbol|Action}]*
[/nodeLabelsVisible[+|-]]* [/initialStateColor:]*
[/hoverColor:]* [/selectionColor:]*
[/deadStateColor:]* [/deadStatesVisible[+|-]]*
[/unsafeStateColor:]* [/maxTransitions:]*
[/loopsVisible[+|-]]* [/mergeLabels[+|-]]*
[/acceptingStatesMarked[+|-]]*
[/stateShape:{Box|Circle|Diamond|Ellipse|Octagon|Plaintext}]*
[/direction:{TopToBottom|LeftToRight|RightToLeft|BottomToTop}]*
[/combineActions[+|-]]* [/livenessCheckIsOn[+|-]]*
[/safetyCheckIsOn[+|-]]* [/testSuite:]* [/fsm:]*
[/startTestAction:]* [/group:]* * @
B.
Pages:
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396