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
17 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
18 <meta http-equiv=
"Content-Language" content=
"en-us">
21 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
22 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
24 <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>
27 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
29 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
30 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
31 <td><a href=
"address.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
32 <td><a href=
"all.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
39 <p>The alive operation can used to see whether a given parallel test component is alive or not. It works similarly to the running operation, the difference is when used for alive parallel test
41 <p>Normal parallel test component is alive when it is running.
<code>vc_ptc.alive
</code> always returns the same value as
<code>vc_ptc.running
</code> if
<code>vc_ptc
</code> is a normal parallel
43 <p>Alive parallel test component is alive from the point of its first start until it is killed implicitely at MTC termination or explicitely using the kill operation.
45 <li>The operation does not block TTCN-
3 program execution, i.e., it reflects the momentary state of the parallel test component and does not wait for its termination.
</li>
46 <li>When the
<a href=
"all.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">all
</font></b></a> keyword is used with the operation, it will return true if all parallel
47 test components started are executing their behavior.
</li>
48 <li>When the
<a href=
"any.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">any
</font></b></a> keyword is used with the operation, it will return true if at least one
49 parallel test component is executing its behavior.
</li>
51 <p>Related keywords:
</p>
53 <li><a href=
"alive.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">alive
</font></b></a></li>
54 <li><a href=
"all.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">all
</font></b></a></li>
55 <li><a href=
"any.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">any
</font></b></a></li>
56 <li><a href=
"component.html"> <b><font face=
"Courier New" color=
"#003258" size=
"4">component
</font></b> </a></li>
57 <li><a href=
"create.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">create
</font></b></a>
58 <li><a href=
"done.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">done
</font></b></a>
59 <li><a href=
"kill.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">kill
</font></b></a>
60 <li><a href=
"killed.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">killed
</font></b></a>
61 <li><a href=
"running.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">running
</font></b></a>
62 <li><a href=
"stop.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">stop
</font></b></a></li>
64 <hr align=
"left" width=
"50%">
67 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
70 <h3 align=
"center"><i>component_reference
</i><font face=
"Courier New" color=
"#003258" size=
"5"><b>.alive;
</b></font> </h3>
78 <p>The
<i>component_reference
</i> is one of the following:
</p>
80 <li>a reference returned by the
<a href=
"create.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">create
</font></b></a> operation to refer to a given parallel test
82 <li>the keyword pair
<a href=
"all.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">all
</font></b></a> <a href=
"component.html"> <b><font
83 face=
"Courier New" color=
"#003258" size=
"4">component
</font></b> </a> to check whether all parallel test components are still alive,
</li>
85 <p>the keyword pair
<a href=
"mtc.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">any
</font></b></a> <a href=
"component.html"> <b><font
86 face=
"Courier New" color=
"#003258" size=
"4">component
</font></b></a> to check whether at least one parallel test component is still alive
</p>
91 <p>The
<b><font face=
"Courier New" color=
"#003258" size=
"4">alive
</font> </b> keyword denotes that (a) component(s) should be checked.
</p>
94 <hr align=
"left" width=
"75%">
96 <hr align=
"left" width=
"50%">
98 <p><font face=
"Courier New">var boolean v_Tbana := vc_metro.alive;
<br>
100 <p>The variable v_Tbana gets the value true if the component with the reference vc_metro is alive, i.e. one of the following conditions apply:
102 <li>vc_metro is a normal parallel test component executing a function; or
103 <li>vc_metro is an alive parallel test component that has been started al least once and not killed yet.
105 <hr align=
"left" width=
"50%">
107 <p><font face=
"Courier New">var boolean v_Ubahn := all component.alive;
</font>
108 <p>The variable v_Ubahn will true if all started parallel components are still alive.
</p>
109 <hr align=
"left" width=
"75%">
110 <p><a HREF=
"BNF.html#aliveop">BNF definition
</a> of
<font face=
"Courier New">component alive
</font></p>