| <html> | |
| <head> | |
| <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> | |
| <title>GuardParameterBinding</title> | |
| <link href="book.css" rel="stylesheet" type="text/css"> | |
| <meta content="DocBook XSL Stylesheets V1.75.1" name="generator"> | |
| <link rel="home" href="index.html" title="QVT Declarative Documentation"> | |
| <link rel="up" href="qvtimperative.html" title="qvtimperative"> | |
| <link rel="prev" href="GuardParameter.html" title="GuardParameter"> | |
| <link rel="next" href="ImperativeModel.html" title="ImperativeModel"> | |
| </head> | |
| <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> | |
| <h1 xmlns:l="http://docbook.sourceforge.net/xmlns/l10n/1.0"> | |
| GuardParameterBinding | |
| </h1> | |
| <div class="section" title="GuardParameterBinding"> | |
| <div class="titlepage"> | |
| <div> | |
| <div> | |
| <h2 class="title" style="clear: both"> | |
| <a name="GuardParameterBinding"></a> | |
| <span class="bold"><strong> | |
| <code class="code">GuardParameterBinding</code> | |
| </strong></span> | |
| </h2> | |
| </div> | |
| </div> | |
| </div> | |
| <p>A GuardParameterBinding binds a guard parameter of an invoked Mapping to a value of a connection. | |
| Execution of the mapping may use the value. A distinct Mapping invocation occurs for each value | |
| in the connection.</p> | |
| <p>syntax: | |
| <code class="code">formalName consumes expression;</code> | |
| </p> | |
| <p>conformsTo | |
| <a class="link" href="MappingParameterBinding.html" title="MappingParameterBinding"> | |
| <code class="code">MappingParameterBinding</code> | |
| </a> | |
| </p> | |
| <p> | |
| <span class="bold"><strong>Attributes</strong></span> | |
| </p> | |
| <p> | |
| <code class="code">isCheck : Boolean[?]</code> | |
| </p> | |
| <p>True if each consumed value must be checked for conformance with the variable’s type. | |
| A non-conforming vlaue is a predicate failure causing the mapping invocation to fail without doing anything. | |
| This is a derivation of not ownedInit.type.conformsTo(self.type).</p> | |
| <p> | |
| <span class="bold"><strong>Associations</strong></span> | |
| </p> | |
| <p> | |
| <code class="code">value : ::ConnectionVariable[1]</code> | |
| </p> | |
| <p>The connection providing the invocation values.</p> | |
| </div> | |
| </body> | |
| </html> |