blob: 4d1c52897245e3a606d2eeffa178e57ad198dc98 (
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
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S12.5_A12_T3;
* @section: 12.5;
* @assertion: Embedded "if/else" constructions are allowed;
* @description: Using embedded "if/else" into "if" without "else" constructions;
*/
//CHECK# 1
if(true)
if (false)
$ERROR('#1.1: At embedded "if/else" constructions engine must select right branches');
else
;
//CHECK# 2
if(true)
if (true)
;
else
$ERROR('#2.1: At embedded "if/else" constructions engine must select right branches');
//CHECK# 3
if(false)
if (true)
$ERROR('#3.1: At embedded "if/else" constructions engine must select right branches');
else
$ERROR('#3.2: At embedded "if/else" constructions engine must select right branches');
//CHECK# 4
if(false)
if (true)
$ERROR('#4.1: At embedded "if/else" constructions engine must select right branches');
else
$ERROR('#4.2: At embedded "if/else" constructions engine must select right branches');
|