conformance_test/positive_tests added
[deliverable/titan.core.git] / conformance_test / positive_tests / 16_functions_altsteps_testcases / 1601_functions / 160102_predefined_functions / Sem_160102_predefined_functions_005.ttcn
1 /******************************************************************************
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
7 *
8 * Contributors:
9 * Adrien Kirjak – initial implementation
10 *
11 ** @version 0.0.1
12 ** @purpose 1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
13 ** @verdict pass accept, ttcn3verdict:pass
14 ***************************************************/
15 module Sem_160102_predefined_functions_005 {
16 type enumerated MyEnumeratedType {e_black, e_white, e_green};
17
18 type record MyRecord {
19 record {
20 boolean innerField1 optional,
21 integer innerField2 optional
22 } field1 optional,
23 integer field2,
24 integer field3,
25 MyEnumeratedType field4 optional
26 };
27
28 type component GeneralComp {
29 }
30
31 testcase TC_Sem_160102_predefined_functions_005 () runs on GeneralComp {
32 var MyRecord v_record1 := {
33 field1 := {},
34 field2 := 2,
35 field3 := 3,
36 field4 := omit
37 }
38
39 var bitstring v_encoded;
40 var MyRecord v_decoded;
41
42 v_encoded:=encvalue(v_record1);
43 if( match(decvalue(v_encoded,v_decoded), 0) and
44 match(v_record1,v_decoded)
45 ) {
46 setverdict(pass);
47 }
48 else {
49 setverdict(fail);
50 }
51 } with {
52 optional "implicit omit";
53 }
54
55 control{
56 execute(TC_Sem_160102_predefined_functions_005());
57 }
58 }
This page took 0.039462 seconds and 5 git commands to generate.