| <html><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>5.3.1. Arithmetic Term</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_ASMArithmeticTerms.html" title="5.3. Arithmetic Terms"><link rel="prev" href="sec_ASMArithmeticTerms.html" title="5.3. Arithmetic Terms"><link rel="next" href="def_MultArithmeticTerm.html" title="5.3.2. Multiplicative Arithmetic Term"></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.3.1. Arithmetic Term</th></tr><tr><td align="left" width="20%"><a accesskey="p" href="sec_ASMArithmeticTerms.html">Prev</a> </td><th align="center" width="60%">5.3. Arithmetic Terms</th><td align="right" width="20%"> <a accesskey="n" href="def_MultArithmeticTerm.html">Next</a></td></tr></table><hr></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="def_ArithmeticTerm"></a>5.3.1. Arithmetic Term</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_ArithmeticTerm_Description"></a>Description</th></tr><tr><td valign="top" align="left"><p> | |
| An <span class="strong"><strong>arithmetic term</strong></span><a name="N1238A" class="indexterm"></a> | |
| <a name="N1238F" class="indexterm"></a> | |
| is an ASM term that evaluates to an | |
| arbitrary value (string, integer, float, boolean, model element). | |
| </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_ArithmeticTerm_Syntax"></a>Syntax</th></tr><tr><td valign="top" align="left"><pre class="programlisting"> | |
| ArithmeticTermAST ::= <a href="def_MultArithmeticTerm.html" title="5.3.2. Multiplicative Arithmetic Term">MultArithmeticTermAST</a> | |
| | ArithmeticTermAST <span class="token">+</span> <a href="def_MultArithmeticTerm.html" title="5.3.2. Multiplicative Arithmetic Term">MultArithmeticTermAST</a> | |
| | ArithmeticTermAST <span class="token">-</span> <a href="def_MultArithmeticTerm.html" title="5.3.2. Multiplicative Arithmetic Term">MultArithmeticTermAST</a> | |
| </pre><p> | |
| An <span class="strong"><strong>arithmetic term</strong></span> is composed of | |
| <a href="def_MultArithmeticTerm.html" title="5.3.2. Multiplicative Arithmetic Term">multiplicative arithmetic terms</a> | |
| with an arithmetic add <code class="computeroutput">+</code> or subtract <code class="computeroutput">-</code> operator. | |
| </p></td></tr></table></div><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Note: Semantics"><tr><td valign="top" align="center" rowspan="2" width="25"><img alt="[Note]" src="images/note.png"></td><th align="left"><a name="def_ArithmeticTerm_Semantics"></a>Semantics</th></tr><tr><td valign="top" align="left"><p> | |
| The arithmetic term evaluation is defined in <a href="def_ArithmeticTerm.html#tab_AddOp" title="Table 2.6. Add (+) operator">Table 2.6, “Add (<code class="computeroutput">+</code>) operator ”</a>, and <a href="def_ArithmeticTerm.html#tab_SubtractOp" title="Table 2.7. Subtract (-) operator">Table 2.7, “Subtract (<code class="computeroutput">-</code>) operator ”</a>, | |
| which shows the type of the output with respect to the types of each operand. | |
| </p><p> | |
| The interpretation of operators <code class="computeroutput">+</code> and <code class="computeroutput">-</code> is the | |
| classical in case of integers and doubles (i.e. addition and subtraction). | |
| </p><p> | |
| Applying the <code class="computeroutput">+</code> operator to two <code class="computeroutput">Strings</code> means concatenation. | |
| </p><p> | |
| If any operation has an <code class="computeroutput">undef</code> value among its operands, the result | |
| is always <code class="computeroutput">undef</code>, except when it is added to a string; in this case | |
| the <code class="computeroutput">undef</code> value is converted to the <span class="emphasis"><em>'undef'</em></span> string. | |
| </p><div class="table"><a name="tab_AddOp"></a><p class="title"><b>Table 2.6. Add (<code class="computeroutput">+</code>) operator </b></p><div class="table-contents"><table summary="Add (+) operator " border="1"><colgroup><col><col><col><col><col><col><col><col></colgroup><thead><tr><th align="center"> </th><th align="center">Undef</th><th align="center">Boolean</th><th align="center">String</th><th align="center">Integer</th><th align="center">Double</th><th align="center">ModelElement</th><th align="center">Multiplicity</th></tr></thead><tbody><tr><td align="center"><span class="strong"><strong>Undef</strong></span></td><td align="center">Undef</td><td align="center">Undef</td><td align="center">String</td><td align="center">Undef</td><td align="center">Undef</td><td align="center">Undef</td><td align="center">Undef</td></tr><tr><td align="center"><span class="strong"><strong>Boolean</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center">String</td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>String</strong></span></td><td align="center">String</td><td align="center">String</td><td align="center">String</td><td align="center">String</td><td align="center">String</td><td align="center">String</td><td align="center">String</td></tr><tr><td align="center"><span class="strong"><strong>Integer</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center">String</td><td align="center">Int</td><td align="center">Double</td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>Double</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center">String</td><td align="center">Double</td><td align="center">Double</td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>ModelElement</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center">String</td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>Multiplicity</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center">String</td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td></tr></tbody></table></div><p></p></div><br class="table-break"><div class="table"><a name="tab_SubtractOp"></a><p class="title"><b>Table 2.7. Subtract (<code class="computeroutput">-</code>) operator </b></p><div class="table-contents"><table summary="Subtract (-) operator " border="1"><colgroup><col><col><col><col><col><col><col><col></colgroup><thead><tr><th align="center"> </th><th align="center">Undef</th><th align="center">Boolean</th><th align="center">String</th><th align="center">Integer</th><th align="center">Double</th><th align="center">ModelElement</th><th align="center">Multiplicity</th></tr></thead><tbody><tr><td align="center"><span class="strong"><strong>Undef</strong></span></td><td align="center">Undef</td><td align="center">Undef</td><td align="center">Undef</td><td align="center">Undef</td><td align="center">Undef</td><td align="center">Undef</td><td align="center">Undef</td></tr><tr><td align="center"><span class="strong"><strong>Boolean</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>String</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>Integer</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center"> </td><td align="center">Int</td><td align="center">Double</td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>Double</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center"> </td><td align="center">Double</td><td align="center">Double</td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>ModelElement</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td></tr><tr><td align="center"><span class="strong"><strong>Multiplicity</strong></span></td><td align="center">Undef</td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td><td align="center"> </td></tr></tbody></table></div><p></p></div><br class="table-break"></td></tr></table></div><div class="warning" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Warning: Warning"><tr><td valign="top" align="center" rowspan="2" width="25"><img alt="[Warning]" src="images/warning.png"></td><th align="left"><a name="def_ArithmeticTerm_Warning"></a>Warning</th></tr><tr><td valign="top" align="left"><p> | |
| Note that the evaluation rules of arithmetic operators changed in the | |
| new release to be compliant with its use in Java. | |
| </p></td></tr></table></div><div class="highlights"><a name="def_ArithmeticTerm_Remark"></a><p><b>Remark. </b> | |
| There is no implicit type casting on the input of the operands; conversion | |
| operators have to be used if casting is required. | |
| </p></div><div class="highlights"><a name="def_ArithmeticTerm_DefinedIn"></a><p><b>Defined In: </b> | |
| <a href="def_Term.html" title="5.1.1. ASM Term">term</a> | |
| </p></div><div class="highlights"><a name="def_ArithmeticTerm_UsedBy"></a><p><b>Used By: </b> | |
| <a href="def_BaseLogicalTerm.html" title="5.2.3. Base Logical Term">base logical term</a> | |
| </p></div></div><div class="navfooter"><hr><table summary="Navigation footer" width="100%"><tr><td align="left" width="40%"><a accesskey="p" href="sec_ASMArithmeticTerms.html">Prev</a> </td><td align="center" width="20%"><a accesskey="u" href="sec_ASMArithmeticTerms.html">Up</a></td><td align="right" width="40%"> <a accesskey="n" href="def_MultArithmeticTerm.html">Next</a></td></tr><tr><td valign="top" align="left" width="40%">5.3. Arithmetic Terms </td><td align="center" width="20%"><a accesskey="h" href="index.html">Home</a></td><td valign="top" align="right" width="40%"> 5.3.2. Multiplicative Arithmetic Term</td></tr></table></div></body></html> |