2 Copyright (c) 2000-2014 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">
13 <title>control
</title>
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=
"continue.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"create.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 module control part may contain local definitions and describes the execution order (possibly repetitive) of the actual test cases.
35 <p>Related keywords:
</p>
37 <li><a href=
"execute.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">execute
</font></b></a></li>
38 <li><a href=
"with.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">with
</font></b></a></li>
40 <hr align=
"left" width=
"50%">
43 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
46 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>control {
</b></font> [
<i>local_definitions
</i> ]
<i>control_statements
</i> <font face=
"Courier New"
47 color=
"#003258" size=
"5"><b>}
</b></font> [
<font face=
"Courier New" color=
"#003258" size=
"5"><b>with
</b></font><i>attributes
</i> ]
</h3>
55 <p>The
<font face=
"Courier New" color=
"#003258" size=
"4"><b>control
</b></font> keyword introduces the module control part.
</p>
58 <p>the optional
<i>local_definitions
</i> part may contain variable, constant and timer definitions.
</p>
61 <p>the
<i>control_statements
</i> state the execution order of the test cases (cf. the keyword
<a href=
"execute.html"><b><font face=
"Courier New">execute
</font></b></a>).
</p>
64 <p><i>attributes:
</i> see the keyword
<b><font face=
"Courier New"><a href=
"with.html">with
</a></font></b> for details.
</p>
67 <hr align=
"left" width=
"50%">
68 <p><a name=
"parametrized">Example
</a>
69 <p><font face=
"Courier New">control { var boolean vl_mistni;
<br>
70 execute( tc_pad1());
<br>
71 execute( tc_pad2());
<br>
73 <p>The module Principal declared here has an integer module parameter (tsp_vypinac), an enumerated type (Examplg) defined in the module definitions part. The control part contains the execution of
74 the test case tc_prov.
</p>
75 <hr align=
"left" width=
"25%">
76 <hr align=
"left" width=
"25%">
77 <p><a HREF=
"BNF.html#modulecontrolpart">BNF definition
</a> of control
</p>