high_titan_SE.ttcn 7.21 KB
Newer Older
Elemer Lelik's avatar
Elemer Lelik committed
1
/******************************************************************************
Adam Knapp's avatar
Adam Knapp committed
2
 * Copyright (c) 2000-2021 Ericsson Telecom AB
Elemer Lelik's avatar
Elemer Lelik committed
3
 * All rights reserved. This program and the accompanying materials
4
 * are made available under the terms of the Eclipse Public License v2.0
Elemer Lelik's avatar
Elemer Lelik committed
5
 * which accompanies this distribution, and is available at
6
 * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
Elemer Lelik's avatar
Elemer Lelik committed
7
8
9
 *
 * Contributors:
 *   Balasko, Jeno
10
 *   Knapp, Adam
Elemer Lelik's avatar
Elemer Lelik committed
11
12
13
14
 *   Kovacs, Ferenc
 *   Pandi, Krisztian
 *   Raduly, Csaba
 *   Szabados, Kristof
15
 *   Szabo, Bence Janos
Elemer Lelik's avatar
Elemer Lelik committed
16
 *
Elemer Lelik's avatar
Elemer Lelik committed
17
18
19
20
21
 ******************************************************************************/
module high_titan_SE {	//^In TTCN-3 module `high_titan_SE':$//
}
with {
  extension "requiresTITAN R1A01"; /* surely this can be satisfied, but not the next one */
22
  /* legacy versioning: */
23
  extension "requiresTITAN CRL 113 200/65535 R99Z"; //^error: This module needs to be compiled with TITAN version CRL 113 200/\d+ R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version CRL 113 200(\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//
Elemer Lelik's avatar
Elemer Lelik committed
24
25
26
27
28
  // WARNING! Different regexes, where one is a stricter version of the other, are not allowed
  // (a limitation of the checker script logic).
  // So we can't have the above regex check for precisely /R9Z/ and the one below
  // check for the more general /R\d[A-HJ-NS-VX-Z](\d{1,2})?/
  /* Test needs to be adjusted for every release !!!!!!! */
balaskoa's avatar
balaskoa committed
29
  extension "requiresTITAN CRL 113 200/7 R2A"; /* This one must just pass, the next one must just fail */
30
  extension "requiresTITAN CRL 113 200/7 R3B01"; //^error: This module needs to be compiled with TITAN version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//
Elemer Lelik's avatar
Elemer Lelik committed
31
  /* The old style RnXnn, without the CRL 113 200 and the suffix, implies major version 1
32
   * Now that Titan is at version 6, the following will always pass:
Elemer Lelik's avatar
Elemer Lelik committed
33
34
35
36
37
38
   */
  extension "requiresTITAN R99A"; /* highest version without the suffix is still only v1 */
  extension "requiresTITAN R99AA";
  extension "requiresTITAN	CRL		113		200/1 R8H";
  extension "requiresTITAN	CRL		113		200/1 R8HH";
  
39
40
41
42
43
44
45
46
  /* current versioning: */
  extension "requiresTITAN 65535/CAX 105 7730 R99Z"; //^error: This module needs to be compiled with TITAN version \d+/CAX 105 7730 R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (\d+\/)?CAX 105 7730 R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//
  // WARNING! Different regexes, where one is a stricter version of the other, are not allowed
  // (a limitation of the checker script logic).
  // So we can't have the above regex check for precisely /R9Z/ and the one below
  // check for the more general R\d[A-HJ-NS-VX-Z](\d{1,2})?/
  /* Test needs to be adjusted for every release !!!!!!! */
  extension "requiresTITAN 7/CAX 105 7730 R2A"; /* This one must just pass, the next one must just fail */
47
  extension "requiresTITAN 7/CAX 105 7730 R3B01"; //^error: This module needs to be compiled with TITAN version (\d+\/CAX \d+ \d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (\d+\/CAX \d+ \d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//
48
49
50
51
52
53
  /* The old style RnXnn, without the CRL 113 200 and the suffix, implies major version 1
   * Now that Titan is at version 6, the following will always pass:
   */
  extension "requiresTITAN	1/CAX    105    7730    R8H";
  extension "requiresTITAN	1/CAX    105    7730    R8HH";
  
Elemer Lelik's avatar
Elemer Lelik committed
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
  /* The old keyword requiresTitan has been superseded by requiresTITAN */
  extension "requiresTitan R9Z"; //^error: at or before token `requiresTitan': syntax error, unexpected Identifier, expecting \$end//

  /* Tests for incorrect version data, copied from c3p0 */
  /* First letter must be 'R' */
  extension "requiresTITAN C3P0"; //^error: Incorrect version data//
  extension "requiresTITAN C3PO"; //^error: Incorrect version data//
  /* I said R! */
  extension "requiresTITAN r2D2"; //^error: Incorrect version data//

  /* Negative number ? Surely not */
  extension "requiresTITAN R-1Z"; //^error: Incorrect version data// //^error: at or before token `-': syntax error, unexpected '-', expecting \$end//
  /*   above parses "R" as the identifier, then stumbles on the '-' */

  extension "requiresTITAN RAWR"; //^error: Incorrect version data//

  extension "requiresTITAN R2ZZZ"; //^error: Incorrect version data//
  extension "requiresTITAN R2ZZZ1"; //^error: Incorrect version data//
  extension "requiresTITAN R0FLMAOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOooooooooooooooooooooooooooooooooooooooooooooooooooooooo"; //^error: Incorrect version data//

  extension "requiresTITAN R2Z-1"; //^error: at or before token `-': syntax error, unexpected '-', expecting \$end//
  /* It was going so well until the - */

  /* template NOT allowed for requiresTITAN */
  extension "requiresTITAN <>"     ; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier//
  extension "requiresTITAN <R2D>"  ; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier//
  extension "requiresTITAN <R2D2>" ; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier//
  extension "requiresTITAN <RnXnn;"; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier//
  extension "requiresTITAN <RmXnn>"; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier//

  /* test "forbidden" letters */
  extension "requiresTITAN R2I"; //^error: Incorrect version data//
  extension "requiresTITAN R2O"; //^error: Incorrect version data//
  extension "requiresTITAN R2P"; //^error: Incorrect version data//
  extension "requiresTITAN R2Q"; //^error: Incorrect version data//
  extension "requiresTITAN R2R"; //^error: Incorrect version data//
  extension "requiresTITAN R2W"; //^error: Incorrect version data//

92
93
  /* test major.minor.patch version format */
  extension "requiresTITAN 7.2.1"; /* This one must just pass */
Adam Knapp's avatar
Adam Knapp committed
94
  extension "requiresTITAN 7.1"; //^error: syntax error, unexpected \$end, expecting '.'//
95
96
  extension "requiresTITAN 1.0.1"; /* This one must just pass */
  extension "requiresTITAN 0.2.1"; /* This one must just pass, the next one must just fail */
Adam Knapp's avatar
Adam Knapp committed
97
98
  extension "requiresTITAN 77.2.1"; //^error: This module needs to be compiled with TITAN version 77.2.1 or higher; version \d+\.\d+\.\d+ detected//
  extension "requiresTITAN 77.22.1"; //^error: This module needs to be compiled with TITAN version 77.22.1 or higher; version \d+\.\d+\.\d+ detected//
99
  extension "requiresTITAN 6.22.1"; /* This one must just pass */
Adam Knapp's avatar
Adam Knapp committed
100
  extension "requiresTITAN 7.2.11"; //^error: This module needs to be compiled with TITAN version 7.2.11 or higher; version \d+\.\d+\.\d+ detected//
101
102
103
104
  extension "requiresTITAN 4.2.11"; /* This one must just pass */
  extension "requiresTITAN .2.1"; //^error: at or before token `.': syntax error, unexpected '.', expecting Identifier or Number//
  extension "requiresTITAN 77..1"; //^error: at or before token `.': syntax error, unexpected '.', expecting Number//
  
Elemer Lelik's avatar
Elemer Lelik committed
105
}