4.3.4. Random Rule

4.3.4. Random Rule
Prev	4.3. Compound ASM Rules	Next

	Description
	The random ruleis a rule-container; it executes a non-deterministically chosen rule from the rules listed inside.

	Syntax
RandomRuleAST ::= random { AsmRulesAST } OptSemicolonAST A random rule contains an arbitrary number of other ASM rules.

Syntax

RandomRuleAST ::= random { AsmRulesAST } OptSemicolonAST

A random rule contains an arbitrary number of other ASM rules.

	Semantics
The random rule executes exactly one rule from the nested rules. The random rule fails if the executed rule fails. No backtracking is provided upon failure, i.e. no other rules are selected if the previous rule fails. The previous state of local variables are not restored after failure.

Semantics

The random rule executes exactly one rule from the nested rules.

The random rule fails if the executed rule fails. No backtracking is provided upon failure, i.e. no other rules are selected if the previous rule fails. The previous state of local variables are not restored after failure.

Defined In: compound rule

See Also: sequential rule, parallel rule

Prev	Up	Next
4.3.3. Parallel Rule	Home	4.3.5. Let Rule