Commit | Line | Data |
---|---|---|
114d1c9a | 1 | /****************************************************************************** |
d44e3c4f | 2 | * Copyright (c) 2000-2016 Ericsson Telecom AB |
114d1c9a 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 | |
d44e3c4f | 7 | * |
8 | * Contributors: | |
9 | * Balasko, Jeno | |
10 | * Kovacs, Ferenc | |
11 | * Pandi, Krisztian | |
12 | * Raduly, Csaba | |
13 | * Szabados, Kristof | |
14 | * | |
114d1c9a EL |
15 | ******************************************************************************/ |
16 | module high_titan_SE { //^In TTCN-3 module `high_titan_SE':$// | |
17 | } | |
18 | with { | |
19 | extension "requiresTITAN R1A01"; /* surely this can be satisfied, but not the next one */ | |
20 | 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// | |
21 | // WARNING! Different regexes, where one is a stricter version of the other, are not allowed | |
22 | // (a limitation of the checker script logic). | |
23 | // So we can't have the above regex check for precisely /R9Z/ and the one below | |
24 | // check for the more general /R\d[A-HJ-NS-VX-Z](\d{1,2})?/ | |
25 | ||
26 | /* Test needs to be adjusted for every release !!!!!!! */ | |
acfdc7e1 | 27 | extension "requiresTITAN CRL 113 200/5 R5A"; /* This one must just pass, the next one must just fail */ |
caae0b64 | 28 | extension "requiresTITAN CRL 113 200/5 R6A01"; //^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// |
114d1c9a EL |
29 | |
30 | /* The old style RnXnn, without the CRL 113 200 and the suffix, implies major version 1 | |
31 | * Now that Titan is at version 2, the following will always pass: | |
32 | */ | |
33 | extension "requiresTITAN R99A"; /* highest version without the suffix is still only v1 */ | |
34 | extension "requiresTITAN R99AA"; | |
35 | ||
36 | extension "requiresTITAN CRL 113 200/1 R8H"; | |
37 | extension "requiresTITAN CRL 113 200/1 R8HH"; | |
38 | ||
39 | /* The old keyword requiresTitan has been superseded by requiresTITAN */ | |
40 | extension "requiresTitan R9Z"; //^error: at or before token `requiresTitan': syntax error, unexpected Identifier, expecting \$end// | |
41 | ||
42 | /* Tests for incorrect version data, copied from c3p0 */ | |
43 | /* First letter must be 'R' */ | |
44 | extension "requiresTITAN C3P0"; //^error: Incorrect version data// | |
45 | extension "requiresTITAN C3PO"; //^error: Incorrect version data// | |
46 | /* I said R! */ | |
47 | extension "requiresTITAN r2D2"; //^error: Incorrect version data// | |
48 | ||
49 | /* Negative number ? Surely not */ | |
50 | extension "requiresTITAN R-1Z"; //^error: Incorrect version data// //^error: at or before token `-': syntax error, unexpected '-', expecting \$end// | |
51 | /* above parses "R" as the identifier, then stumbles on the '-' */ | |
52 | ||
53 | extension "requiresTITAN RAWR"; //^error: Incorrect version data// | |
54 | ||
55 | extension "requiresTITAN R2ZZZ"; //^error: Incorrect version data// | |
56 | extension "requiresTITAN R2ZZZ1"; //^error: Incorrect version data// | |
57 | extension "requiresTITAN R0FLMAOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOooooooooooooooooooooooooooooooooooooooooooooooooooooooo"; //^error: Incorrect version data// | |
58 | ||
59 | extension "requiresTITAN R2Z-1"; //^error: at or before token `-': syntax error, unexpected '-', expecting \$end// | |
60 | /* It was going so well until the - */ | |
61 | ||
62 | /* template NOT allowed for requiresTITAN */ | |
63 | extension "requiresTITAN <>" ; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier// | |
64 | extension "requiresTITAN <R2D>" ; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier// | |
65 | extension "requiresTITAN <R2D2>" ; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier// | |
66 | extension "requiresTITAN <RnXnn;"; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier// | |
67 | extension "requiresTITAN <RmXnn>"; //^error: at or before token `<': syntax error, unexpected '<', expecting Identifier// | |
68 | ||
69 | /* test "forbidden" letters */ | |
70 | extension "requiresTITAN R2I"; //^error: Incorrect version data// | |
71 | extension "requiresTITAN R2O"; //^error: Incorrect version data// | |
72 | extension "requiresTITAN R2P"; //^error: Incorrect version data// | |
73 | extension "requiresTITAN R2Q"; //^error: Incorrect version data// | |
74 | extension "requiresTITAN R2R"; //^error: Incorrect version data// | |
75 | extension "requiresTITAN R2W"; //^error: Incorrect version data// | |
76 | ||
77 | } |