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
|
/******************************************************************************
* Copyright (c) 2000-2021 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Gabor, Szalai – initial implementation
*
******************************************************************************/
module Issue560withJSON {
type union PCUIF_ContainerMsgUnion {
octetstring other
}
type record PCUIF_container {
integer msg_type,
PCUIF_ContainerMsgUnion u
} with {
variant (u) "chosen (
other, otherwise)"
};
type component CT{}
testcase tc_issue560_with_json() runs on CT {
// Compile test. If compiled then pass.
setverdict(pass)
}
control {
execute(tc_issue560_with_json());
}
} with {
encode "JSON"
}
|
