high_titan_SE.ttcn 4.75 KB
Newer Older
Elemer Lelik's avatar
Elemer Lelik committed
1
/******************************************************************************
Elemer Lelik's avatar
Elemer Lelik committed
2
 * Copyright (c) 2000-2016 Ericsson Telecom AB
Elemer Lelik's avatar
Elemer Lelik committed
3
4
5
6
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
Elemer Lelik's avatar
Elemer Lelik committed
7
8
9
10
11
12
13
 *
 * Contributors:
 *   Balasko, Jeno
 *   Kovacs, Ferenc
 *   Pandi, Krisztian
 *   Raduly, Csaba
 *   Szabados, Kristof
14
 *   Szabo, Bence Janos
Elemer Lelik's avatar
Elemer Lelik committed
15
 *
Elemer Lelik's avatar
Elemer Lelik committed
16
17
18
19
20
21
22
23
24
25
26
27
 ******************************************************************************/
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 */
  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//
  // 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 !!!!!!! */
28
  extension "requiresTITAN CRL 113 200/6 R1A"; /* This one must just pass, the next one must just fail */
29
  extension "requiresTITAN CRL 113 200/6 R1B01"; //^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
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

  /* The old style RnXnn, without the CRL 113 200 and the suffix, implies major version 1
   * Now that Titan is at version 2, the following will always pass:
   */
  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";
  
  /* 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//

}