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