Commit | Line | Data |
---|---|---|
970ed795 | 1 | /****************************************************************************** |
3abe9331 | 2 | * Copyright (c) 2000-2015 Ericsson Telecom AB |
970ed795 EL |
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 Test332T | |
9 | { | |
10 | ||
11 | import from Test332A all; | |
12 | ||
13 | /* | |
14 | // start of simulated import from ASN*************************** | |
15 | // note : the following commented out section should be equivalent to | |
16 | // the sequences imported from ASN1 | |
17 | ||
18 | type record MyBigMessageType1 | |
19 | { | |
20 | boolean field1, | |
21 | integer field2 //Type | |
22 | } | |
23 | ||
24 | type record MyBigMessageType2 | |
25 | { | |
26 | bitstring field1, | |
27 | integer field2 //Type | |
28 | } | |
29 | ||
30 | type record MyBigMessageType3 | |
31 | { | |
32 | octetstring field1, | |
33 | integer field2 //Type | |
34 | } | |
35 | ||
36 | const MyBigMessageType1 myBigMessage1 := | |
37 | { | |
38 | field1 := true, | |
39 | field2 := 5 | |
40 | } | |
41 | ||
42 | const MyBigMessageType2 myBigMessage2 := | |
43 | { | |
44 | field1 := '010101'B, | |
45 | field2 := 2 | |
46 | } | |
47 | ||
48 | const MyBigMessageType3 myBigMessage3 := | |
49 | { | |
50 | field1 := 'FFFF'O, | |
51 | field2 := 3 | |
52 | } | |
53 | ||
54 | //end of simulated import from ASN*************************** | |
55 | */ | |
56 | ||
57 | //AS A CONSTANT*************************** | |
58 | ||
59 | const integer MyInt1 := myBigMessage1.field2 //5 | |
60 | ||
61 | const integer MyInt2 := myBigMessage2.field2 //2 | |
62 | ||
63 | const integer MyInt3 := myBigMessage3.field2 //3 | |
64 | // we only check the type here | |
65 | // ideally the values should be checked too (dynamically?) | |
66 | ||
67 | const boolean MyBoolean := myBigMessage1.field1 | |
68 | ||
69 | const bitstring MyBitstring := myBigMessage2.field1 | |
70 | ||
71 | const octetstring MyOctetstring := myBigMessage3.field1 | |
72 | //AS A CONSTANT*************************** | |
73 | ||
74 | type port MyPort message | |
75 | { | |
76 | inout MyType | |
77 | } with { extension "internal" } | |
78 | ||
79 | type record MyType | |
80 | { | |
81 | MyBigMessageType1 firstfield, | |
82 | MyBigMessageType2 secondfield, | |
83 | MyBigMessageType3 thirdfield | |
84 | } | |
85 | ||
86 | template MyType myMessage(template MyBigMessageType1 par_MyBigMessageType1, | |
87 | template MyBigMessageType2 par_MyBigMessageType2, | |
88 | template MyBigMessageType2 par_MyBigMessageType2 | |
89 | ) | |
90 | := | |
91 | { | |
92 | firstfield := par_MyBigMessageType1, | |
93 | secondfield := par_MyBigMessageType2, | |
94 | thirdfield := par_MyBigMessageType3 | |
95 | } | |
96 | ||
97 | type component MyMainComponent | |
98 | { | |
99 | port MyPort M_PCO; | |
100 | } | |
101 | ||
102 | type component MyParallelComponent | |
103 | { | |
104 | port MyPort P_PCO; | |
105 | } | |
106 | ||
107 | function handle_msg_on_ptc() runs on MyParallelComponent | |
108 | { | |
109 | ||
110 | // AS PARAMETER ********************************************* | |
111 | P_PCO.receive (myMessage(myBigMessage1, myBigMessage2, myBigMessage3)) | |
112 | setverdict ( pass ); | |
113 | // AS PARAMETER ********************************************* | |
114 | ||
115 | } // end of function | |
116 | ||
117 | testcase Test() runs on MyMainComponent | |
118 | { | |
119 | ||
120 | // AS A VARIABLE ********************************************* | |
121 | var MyBigMessageType1 myExampleMessage1 := myBigMessage1 | |
122 | ||
123 | var MyBigMessageType2 myExampleMessage2 := myBigMessage2 | |
124 | ||
125 | var MyBigMessageType3 myExampleMessage3 := myBigMessage3 | |
126 | // AS A VARIABLE ********************************************* | |
127 | ||
128 | var MyParallelComponent myparallelcomponent := MyParallelComponent.create; | |
129 | connect ( mtc:M_PCO, myparallelcomponent: P_PCO ); | |
130 | myparallelcomponent.start(handle_msg_on_ptc()); | |
131 | ||
132 | // AS A PARAMETER ********************************************* | |
133 | M_PCO.send(myMessage(myBigMessage1, myBigMessage2, myBigMessage3)) | |
134 | // AS A PARAMETER ********************************************* | |
135 | ||
136 | myparallelcomponent.done; | |
137 | } | |
138 | ||
139 | control | |
140 | { | |
141 | execute (Test()) | |
142 | } | |
143 | ||
144 | } |