2 Copyright (c) 2000-2016 Ericsson Telecom AB
3 All rights reserved. This program and the accompanying materials
4 are made available under the terms of the Eclipse Public License v1.0
5 which accompanies this distribution, and is available at
6 http://www.eclipse.org/legal/epl-v10.html
16 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
17 <meta http-equiv=
"Content-Language" content=
"en-us">
20 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
21 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
23 <td width=
105 height=
40><a href=
"https://projects.eclipse.org/projects/tools.titan"><img src=
"../images/titan_transparent.gif" border=
0 width=
105 height=
40 align=
"left" alt=
"Titan"></a></td>
26 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
28 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
29 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
30 <td><a href=
"unmap.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
31 <td><a href=
"valueof.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
38 <hr align=
"left" width=
"75%">
39 <p>The keyword is a homonym. It is used to...
41 <li>return a value compatible with the one declared in the signature when replying to a previously accepted procedure call. See the examples at the keyword
<a href=
"reply.html#Example 1"
42 target=
"_blank"><b><font face=
"Courier New">reply
</font></b></a>.
</li>
43 <li>store the value removed from the port queue. This usage occurs with the keywords
<b><font face=
"Courier New" color=
"#003258" size=
"4">getreply
</font></b>,
<b><font face=
"Courier New"
44 color=
"#003258" size=
"4">receive
</font></b>,
<b><font face=
"Courier New" color=
"#003258" size=
"4">trigger
</font></b> and
<b><font face=
"Courier New" color=
"#003258" size=
"4">catch
</font></b>.
</li>
45 <li>match the value returned by the
<b><font face=
"Courier New" color=
"#003258" size=
"4">reply
</font></b> operation against a template or expression. This usage occurs with the keyword
<b><font
46 face=
"Courier New" color=
"#003258" size=
"4">getreply
</font></b>.
</li>
48 <hr align=
"left" width=
"50%">
49 <p>Related keywords:
</p>
51 <li><a href=
"catch.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">catch
</font></b></a></li>
52 <li><a href=
"getreply.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">getreply
</font></b></a></li>
53 <li><a href=
"receive.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">receive
</font></b></a></li>
54 <li><a href=
"reply.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">reply
</font></b></a></li>
55 <li><a href=
"trigger.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">trigger
</font></b></a></li>
57 <hr align=
"left" width=
"50%">
60 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
63 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>value
</b></font>...
</h3>
69 <hr align=
"left" width=
"25%">
70 <hr align=
"left" width=
"25%">
71 <p><a HREF=
"BNF.html#replyvalue">BNF definition
</a> of
<font face=
"Courier New">value
</font> in sense
1.
<br>
72 <a HREF=
"BNF.html#valuespec">BNF definition
</a> of
<font face=
"Courier New">value
</font> in sense
2.
<br>
73 <a HREF=
"BNF.html#valuematchspec">BNF definition
</a> of
<font face=
"Courier New">value
</font> in sense
3.
</p>