2 Copyright (c) 2000-2015 Ericsson Telecom AB
4 All rights reserved. This program and the accompanying materials
5 are made available under the terms of the Eclipse Public License v1.0
6 which accompanies this distribution, and is available at
7 http://www.eclipse.org/legal/epl-v10.html
11 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
12 <meta http-equiv=
"Content-Language" content=
"en-us">
15 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
16 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
18 <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>
21 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
23 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
24 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
25 <td><a href=
"and4b.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"anytype.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
33 <hr align=
"left" width=
"75%">
34 <p>The keyword is used in conjunction with other keywords to refer to at least one entity concerned . It is used...
36 <li>together with the keywords
<b><font face=
"Courier New" color=
"#003258" size=
"4">timer
</font></b> <a href=
"running.html#default"><b><font face=
"Courier New" color=
"#003258" size=
"4">running
</font></b></a>
37 to check whether a timer is running in the scope unit concerned ;
</li>
38 <li>together with the keyword
<a href=
"timeout.html#default"><b><font face=
"Courier New" color=
"#003258" size=
"4">timeout
</font></b></a> to wait for the expiry of any timer in the scope unit
40 <li>together with the keywords
<b><font face=
"Courier New" color=
"#003258" size=
"4">component
</font></b> <a href=
"running.html#Checking components"><b><font face=
"Courier New"
41 color=
"#003258" size=
"4">running
</font></b></a> to check whether at least one parallel component is still running;
</li>
42 <li>together with the keyword
<a href=
"done.html#any"><b><font face=
"Courier New" color=
"#003258" size=
"4">done
</font></b></a> to check whether at least one parallel component has finished
44 <li>together with the keyword
<a href=
"receive.html#Example 7:"><b><font face=
"Courier New" color=
"#003258" size=
"4">port
</font></b></a> to receive messages from any port.
</li>
46 <hr align=
"left" width=
"50%">
47 <p>Related keywords:
</p>
49 <li><a href=
"component.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">component
</font></b></a></li>
50 <li><a href=
"done.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">done
</font></b></a></li>
51 <li><a href=
"receive.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">receive
</font></b></a></li>
52 <li><a href=
"running.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">running
</font></b></a></li>
53 <li><a href=
"timeout.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">timeout
</font></b></a></li>
54 <li><a href=
"timer.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">timer
</font></b></a></li>
56 <hr align=
"left" width=
"50%">
59 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
62 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>any
</b></font>...
</h3>
68 <hr align=
"left" width=
"25%">
69 <hr align=
"left" width=
"25%">
70 <p><a HREF=
"BNF.html#anykeyword">BNF definition
</a> of
<font face=
"Courier New">any
</font></p>