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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/******************************************************************************
* 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:
* Balasko, Jeno
* Kovacs, Ferenc
*
******************************************************************************/
// Same as in "Compat.ttcn", but in a different module of the project. The
// tests from the "function_test" were moved here as well.
module Ext {
type component Empty { }
type integer I (0..2)
type float F
type anytype Atype
//** RECORDS **//
type record myrec1Ext {
integer f1 optional,
integer f2
}
type record myrec2Ext {
integer f1 optional,
integer f2
}
//** RECORDOFS **//
type record of integer myintlist1Ext
type record of integer myintlist2Ext
type record of myrec1Ext myr1listExt
type record of myrec2Ext myr2listExt
type record rtype { integer i1, integer i2 }
type record of integer r1type
template r1type t1 := { 1, 2 }
template rtype t modifies t1 := { 2, 1 }
testcase tc_ExtMatch() runs on Empty {
// Normal templates.
if (match({ 1, 2 }, t1)) { setverdict(pass) } else { setverdict(fail) }
if (match({ 2, 1 }, t)) { setverdict(pass) } else { setverdict(fail) }
// Same with local templates.
template r1type t1l := { 11, 22 }
template rtype tl modifies t1l := { 22, 11 }
if (match({ 11, 22 }, t1l)) { setverdict(pass) } else { setverdict(fail) }
if (match({ 22, 11 }, tl)) { setverdict(pass) } else { setverdict(fail) }
}
type record of recR recofR
type record recR { recofR rof optional }
type record c1 { recR f1 }
type record c11 { c1 f1 }
type record c2 { recofR f1 }
type record c22 { c2 f1 }
// Recursive type definitions.
testcase tc_Recursive() runs on Empty {
var recofR v_rof := { { omit } }
var recR v_r := { rof := omit }
var c11 cc1 := { f1 := { { omit } } }
var c22 cc2 := { f1 := { { { omit } } } }
//v_r := v_rof
if (v_r.rof == omit) { setverdict(pass) } else { setverdict(fail) }
//v_rof := v_r
}
testcase tc_ExtSimple() runs on Empty {
var myrec1Ext rec1 := { 1, 2 }
var myrec2Ext rec2 := { 1, 2 }
var myintlist1Ext il1 := { 1, 2 }
var myintlist2Ext il2 := { 9, 9 }
var myr1listExt r1l := { { 11, 22 }, { 33, 44 } }
var myr2listExt r2l := { { 0, 1 }, { 2, 3 } }
rec1 := rec2 ; rec2 := rec1
rec1 := il1 ; il1 := rec1
rec2 := il1 ; il1 := rec2
if (rec1 == rec2 and rec2 == rec1) { setverdict(pass) } else { setverdict(fail) }
if (rec1 != rec2 and rec2 != rec1) { setverdict(fail) } else { setverdict(pass) }
if (rec1 == il1 and il1 == rec1) { setverdict(pass) } else { setverdict(fail) }
if (rec1 != il1 and il1 != rec1) { setverdict(fail) } else { setverdict(pass) }
il1 := il2 ; il2 := il1
if (il1 == il2 and il2 == il1) { setverdict(pass) } else { setverdict(fail) }
if (il1 != il2 and il2 != il1) { setverdict(fail) } else { setverdict(pass) }
if (r1l == r2l or r2l == r1l) { setverdict(fail) } else { setverdict(pass) }
r1l := r2l
if (r1l == r2l or r2l == r1l) { setverdict(pass) } else { setverdict(fail) }
}
} with { extension "anytype I, F, integer, float" }
|
