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>setverdict
</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 alt=
"previous" href=
"set.html"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"signature.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
<b><font face=
"Courier New">setverdict
</font></b> belongs to the family of verdict operations. It is used to set the local verdict of the test component it is executed in.
</p>
36 <li>When a test component is instantiated, its local verdict is set to the value none.
</li>
37 <li>The operation can have four different arguments: pass, fail, inconc, none.
</li>
38 <li>The operation may be executed several times. A subsequent execution must not
"improve
" the verdict. In other words, the verdict may either remain the old one or be chaneged
39 according to the following rule: none
> pass
> inconc(lusive)
> fail.
</li>
40 <li>Beside the local verdict value, the verdict reason can also be set in the second (optional) argument. The syntax of verdict reason is the same as in the
<a href=
"log.html"><b><font
41 face=
"Courier New" color=
"#003258" size=
"4">log
</font></b></a> operation.
</li>
42 <li>Verdict operations shall only be used in test cases, altsteps and functions.
</li>
44 <p>Related keywords:
</p>
46 <li><a href=
"error.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">error
</font></b></a></li>
47 <li><a href=
"fail.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">fail
</font></b></a></li>
48 <li><a href=
"getverdict.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">getverdict
</font></b></a></li>
49 <li><a href=
"inconc.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">inconc
</font></b></a></li>
50 <li><a href=
"none.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">none
</font></b></a></li>
51 <li><a href=
"pass.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">pass
</font></b></a></li>
52 <li><a href=
"verdicttype.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">verdicttype
</font></b></a></li>
54 <hr align=
"left" width=
"50%">
57 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
60 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>setverdict( verdict [ ,
" free_text_string " [ , ... ] ] )
</b></font></h3>
66 <hr align=
"left" width=
"50%">
67 <p><a name=
"double_quotation">Example
1</a>:
68 <p><font face=
"Courier New">setverdict (pass);
<br>
69 <p>setverdict (pass,
"incoming data matches with: %s",
"a*");
<br>
71 <p>The local verdict of the component where the operation is issued is set to pass.
</p>
72 <hr align=
"left" width=
"25%">
73 <hr align=
"left" width=
"25%">
74 <p align=
"left"><a HREF=
"BNF.html#setlocalverdict">BNF definition
</a> of
<font face=
"Courier New">setverdict
</font></p>