Titan Core Initial Contribution
[deliverable/titan.core.git] / regression_test / ASN1 / Test356 / Test356T.ttcn
1 /******************************************************************************
2 * Copyright (c) 2000-2014 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 module Test356T
9 {
10 import from Test356A all;
11
12 const MySetOfType1 mySetOfValue1B :=
13 {
14 3,664,234,-1 ,0
15 }
16
17 const MySetOfType2 mySetOfValue2B :=
18 {
19 '0011'B, '1'B, '00'B
20 }
21
22 const MySetOfType3 mySetOfValue3B :=
23 {
24 'FFAA'O, '1234'O, '00'O
25 }
26
27 const MySetOfType4 mySetOfValue4B :=
28 {
29 true, false, true
30 }
31
32 const MySetOfType5 mySetOfValue5B :=
33 {
34
35 {
36 field1 := 5,
37 field2 := true,
38 field4 := '1234567890FF'O,
39 field5 := '10'B,
40 field6 := a1
41 },
42
43 {
44 field1 := 77,
45 field2 := false,
46 field4 := '1234AA'O,
47 field5 := '01'B,
48 field6 := c1
49 }
50
51 }
52
53 const MySetOfType6 mySetOfValue6B :=
54 {
55
56 {
57 field1 := 5,
58 field4 := '1234567890FF'O,
59 field2 := true,
60 field5 := '10'B,
61 field6 := a2
62 },
63
64 {
65 field5 := '01'B,
66 field1 := 77,
67 field2 := false,
68 field4 := '1234AA'O,
69 field6 := c2
70 }
71
72 }
73
74 const MySetOfType7 mySetOfValue7B :=
75 {
76
77 {
78 field1 := 5
79 },
80
81 {
82 field2 := false
83 }
84
85 }
86
87 type component MyMainComponent
88 {}
89
90 testcase Test() runs on MyMainComponent
91 {
92
93 if ((mySetOfValue1A == mySetOfValue1B)
94 and (mySetOfValue2B == mySetOfValue2B)
95 and (mySetOfValue3B == mySetOfValue3B)
96 and (mySetOfValue4B == mySetOfValue4B)
97 and (mySetOfValue5B == mySetOfValue5B)
98 and (mySetOfValue6B == mySetOfValue6B)
99 and (mySetOfValue7B == mySetOfValue7B))
100
101 {setverdict ( pass );}
102 else { setverdict ( fail );}
103
104 }
105
106 control
107 {
108 execute (Test())
109 }
110
111 }
This page took 0.051711 seconds and 5 git commands to generate.