blob: 0da8e28a98d2bbaea8cbdf739418136026994326 [file] [log] [blame]
<html><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>5.8.3.&nbsp;Actual Parameters</title><link href="style.css" rel="stylesheet" type="text/css"><meta content="DocBook XSL Stylesheets V1.72.0" name="generator"><link rel="start" href="index.html" title="The VIATRA2 Model Transformation Framework"><link rel="up" href="sec_Parameters.html" title="5.8.&nbsp;Parameters and Variable Lists"><link rel="prev" href="def_DirectedFormalParameter.html" title="5.8.2.&nbsp;Directed Formal Parameters"><link rel="next" href="def_ConstrainedVariableList.html" title="5.8.4.&nbsp;Constrained Variable List"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table summary="Navigation header" width="100%"><tr><th align="center" colspan="3">5.8.3.&nbsp;Actual Parameters</th></tr><tr><td align="left" width="20%"><a accesskey="p" href="def_DirectedFormalParameter.html">Prev</a>&nbsp;</td><th align="center" width="60%">5.8.&nbsp;Parameters and Variable Lists</th><td align="right" width="20%">&nbsp;<a accesskey="n" href="def_ConstrainedVariableList.html">Next</a></td></tr></table><hr></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="def_ActualParameter"></a>5.8.3.&nbsp;Actual Parameters</h4></div></div></div><div class="tip" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Tip: Description"><tr><td valign="top" align="center" rowspan="2" width="25"><img alt="[Tip]" src="images/tip.png"></td><th align="left"><a name="def_ActualParameter_Description"></a>Description</th></tr><tr><td valign="top" align="left"><p>
<span class="strong"><strong>Actual parameters</strong></span>
<a name="N13068" class="indexterm"></a>
<a name="N1306D" class="indexterm"></a>
describe the values passes as parameter when invoking
ASM rules, ASM functions, graph patterns and graph transformation rules.
These values are substituted with the formal parameters of these constructs
during execution.
</p></td></tr></table></div><div class="important" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Important: Syntax"><tr><td valign="top" align="center" rowspan="2" width="25"><img alt="[Important]" src="images/important.png"></td><th align="left"><a name="def_ActualParameter_Syntax"></a>Syntax</th></tr><tr><td valign="top" align="left"><pre class="programlisting">
ActualParamsAST ::= <a href="def_ArithmeticTerm.html" title="5.3.1.&nbsp;Arithmetic Term">ArithmeticTermAST</a>
| ActualParamsAST COMMA <a href="def_ArithmeticTerm.html" title="5.3.1.&nbsp;Arithmetic Term">ArithmeticTermAST</a>
ActualParamsPatternVariablesAST ::= <a href="def_PatternVariable.html" title="2.1.6.&nbsp;Pattern Variable">PatternVariableRefAST</a>
| ActualParamsPatternVariablesAST COMMA <a href="def_PatternVariable.html" title="2.1.6.&nbsp;Pattern Variable">PatternVariableRefAST</a>
</pre><p>
<span class="strong"><strong>Actual parameters</strong></span> are defined as a comma separated list
of ASM terms that are associated with the formal parameters of a pattern or rules.
</p><p>
<span class="strong"><strong>Actual parameters used in <a href="def_PatternComposition.html" title="2.1.5.&nbsp;Pattern Composition">pattern composition</a></strong></span>
are defined as a comma separated list of <a href="def_PatternVariable.html" title="2.1.6.&nbsp;Pattern Variable">pattern variables</a>.
</p><p>
In case of GT or ASM rules, the formal parameters have a direction (see
<a href="def_DirectedFormalParameter.html" title="5.8.2.&nbsp;Directed Formal Parameters">directed formal parameter</a>).
This implies that actual parameters which are passed for output formal
parameters can be only variables. Actual parameters that are associated
with input-only formal parameters can be arbitrary ASM
<a href="def_ArithmeticTerm.html" title="5.3.1.&nbsp;Arithmetic Term">arithmetic terms</a>.
</p></td></tr></table></div><div class="highlights"><a name="def_ActualParameter_UsedBy"></a><p><b>Used By:&nbsp;</b>
<a href="def_GTRuleCall.html" title="3.4.1.&nbsp;GTRule Call">GT rule call</a>,
<a href="def_PatternComposition.html" title="2.1.5.&nbsp;Pattern Composition">pattern composition</a>,
<a href="def_GraphPatternCall.html" title="2.1.4.&nbsp;Graph Pattern Call">graph pattern call</a>,
<a href="def_CallRule.html" title="4.2.2.&nbsp;Call Rule">call rule</a>
<a href="def_AsmFunctionLocation.html" title="5.5.3.&nbsp;ASM Function Location">ASM function location</a>,
<a href="def_PredefinedFunctionCall.html" title="5.6.1.&nbsp;Predefined Function Call">predefined function call</a>,
</p></div></div><div class="navfooter"><hr><table summary="Navigation footer" width="100%"><tr><td align="left" width="40%"><a accesskey="p" href="def_DirectedFormalParameter.html">Prev</a>&nbsp;</td><td align="center" width="20%"><a accesskey="u" href="sec_Parameters.html">Up</a></td><td align="right" width="40%">&nbsp;<a accesskey="n" href="def_ConstrainedVariableList.html">Next</a></td></tr><tr><td valign="top" align="left" width="40%">5.8.2.&nbsp;Directed Formal Parameters&nbsp;</td><td align="center" width="20%"><a accesskey="h" href="index.html">Home</a></td><td valign="top" align="right" width="40%">&nbsp;5.8.4.&nbsp;Constrained Variable List</td></tr></table></div></body></html>