blob: f1c8e64441366717da9f43f0729a2f3b6be2b72d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S12.5_A1_T2;
* @section: 12.5;
* @assertion: 1, true, non-empty string in expression is evaluated to true;
* @description: Using "if/else" construction;
*/
var c=0;
//////////////////////////////////////////////////////////////////////////////
//CHECK#1
if(!(1))
$ERROR('#1.1: 1 in expression is evaluated to true');
else
c++;
if (c!=1) $ERROR('#1.2: else branch don`t execute');
//
//////////////////////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////////////////////
//CHECK#2
if(!(true))
$ERROR('#2.1: true in expression is evaluated to true');
else
c++;
if (c!=2) $ERROR('#2.2: else branch don`t execute');
//
//////////////////////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////////////////////
//CHECK#3
if(!("1"))
$ERROR('#3.1: "1" in expression is evaluated to true');
else
c++;
if (c!=3) $ERROR('#3.2: else branch don`t execute');
//
//////////////////////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////////////////////
//CHECK#4
if(!("A"))
$ERROR('#4.1: "A" in expression is evaluated to true');
else
c++;
if (c!=4) $ERROR('#4.2: else branch don`t execute');
//
//////////////////////////////////////////////////////////////////////////////
|
