blob: 44bedd99ddb886eb512ea04475eceaaf46d905f7 [file] [log] [blame]
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<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">
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<h1 xmlns:l="">
<div class="section" title="GuardParameterBinding">
<div class="titlepage">
<h2 class="title" style="clear: both">
<a name="GuardParameterBinding"></a>
<span class="bold"><strong>
<code class="code">GuardParameterBinding</code>
<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>
<code class="code">formalName consumes expression;</code>
<a class="link" href="MappingParameterBinding.html" title="MappingParameterBinding">
<code class="code">MappingParameterBinding</code>
<span class="bold"><strong>Attributes</strong></span>
<code class="code">isCheck : Boolean[?]</code>
<p>True if each consumed value must be checked for conformance with the variable&rsquo;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>
<span class="bold"><strong>Associations</strong></span>
<code class="code">value : ::ConnectionVariable[1]</code>
<p>The connection providing the invocation values.</p>