4.2.2. Call Rule

4.2.2. Call Rule
Prev	4.2. Simple ASM Rules	Next

	Description
	A user-defined ASM rule can be invoked by a call rule.

	Syntax
CallRuleAST ::= call QualifiedTypeNameAST ActualParameterDefAST ; In the call rule, the name of the invoked rule and the list of the actual parameters (corresponding to the formal parameters of the invoked rule) have to be specified.

Syntax

CallRuleAST ::= call QualifiedTypeNameAST ActualParameterDefAST ;

In the call rule, the name of the invoked rule and the list of the actual parameters (corresponding to the formal parameters of the invoked rule) have to be specified.

	Semantics
It calls the specified ASM rule by the given list of actual parameters. Constraints of actual parameters are defined in Section 5.8.1, “Formal Parameters”. If the called ASM rule fails, failure is propagated to the caller.

Semantics

It calls the specified ASM rule by the given list of actual parameters. Constraints of actual parameters are defined in Section 5.8.1, “Formal Parameters”.

If the called ASM rule fails, failure is propagated to the caller.

Remark. In order to facilitate modular transformation design, rules are allowed to call rules located in other machines. In such a case, the called rules can be referred to by their fully qualified names composed of the location of its machine container and the name of the ASM rule.

Defined In: simple rule

See also: formal parameter definition

Prev	Up	Next
4.2.1. Simple Rule	Home	4.2.3. Skip Rule