projects / deliverable / titan.core.git / blame
| 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 importer { //^In TTCN\-3 module `importer':$// | |
| 9 | ||
| 10 | import from R2D_SE all; | |
| 11 | import from R2D2_SE all; | |
| 12 | import from CRL_111_222_R2D_SE all; | |
| 13 | import from CRL_111_222_3_R2D_SE all; | |
| 14 | import from unreleased_SE all; | |
| 15 | import from noversion_SE all; | |
| 16 | ||
| 17 | } | |
| 18 | with { | |
| 19 | extension "requires R2D_SE R2D"; // exact match 2.3.99==2.3.99 | |
| 20 | extension "requires R2D_SE R2D99"; // exact match 2.3.99==2.3.99 | |
| 21 | extension "requires R2D_SE R2D1"; // 2.3.1 < 2.3.99 | |
| 22 | extension "requires R2D_SE R2C"; // 2.2.99 < 2.3.99 | |
| 23 | extension "requires R2D_SE R1Z"; | |
| 24 | ||
| 25 | extension "requires R2D2_SE R3A0"; //^error: Module 'importer' requires version R3A00 of module 'R2D2_SE', but only R2D02 is available$// | |
| 26 | extension "requires R2D2_SE R3A" ; //^error: Module 'importer' requires version R3A of module 'R2D2_SE', but only R2D02 is available$// | |
| 27 | extension "requires R2D2_SE R2Z" ; //^error: Module 'importer' requires version R2Z of module 'R2D2_SE', but only R2D02 is available$// | |
| 28 | extension "requires R2D2_SE R2D5"; //^error: Module 'importer' requires version R2D05 of module 'R2D2_SE', but only R2D02 is available$// | |
| 29 | ||
| 30 | extension "requires R2D_SE R3A0"; //^error: Module 'importer' requires version R3A00 of module 'R2D_SE', but only R2D is available$// | |
| 31 | extension "requires R2D_SE R3A" ; //^error: Module 'importer' requires version R3A of module 'R2D_SE', but only R2D is available$// | |
| 32 | extension "requires R2D_SE R2Z" ; //^error: Module 'importer' requires version R2Z of module 'R2D_SE', but only R2D is available$// | |
| 33 | extension "requires R2D_SE R2D5"; // not an error, R2D5 is lower than R2D | |
| 34 | ||
| 35 | extension "requires CRL_111_222_R2D_SE R2D"; //^warning: Module 'importer' requires module 'CRL_111_222_R2D_SE' of any product, while it specifies 'CRL 111 222'$// | |
| 36 | extension "requires CRL_111_222_R2D_SE CRL 111 222 R2D"; | |
| 37 | extension "requires CRL_111_222_R2D_SE CRL 111 222/1 R2D"; //^error: Module 'importer' requires version CRL 111 222/1 R2D of module 'CRL_111_222_R2D_SE', but only CRL 111 222 R2D is available$// | |
| 38 | extension "requires CRL_111_222_R2D_SE CRL 333 222 R2D"; //^error: Module 'importer' requires version CRL 333 222 R2D of module 'CRL_111_222_R2D_SE', but only CRL 111 222 R2D is available$// | |
| 39 | extension "requires CRL_111_222_3_R2D_SE R2D"; //^error: Module 'importer' requires version R2D of module 'CRL_111_222_3_R2D_SE', but only CRL 111 222/3 R2D is available$// \ | |
| 40 | //^warning: Module 'importer' requires module 'CRL_111_222_3_R2D_SE' of any product, while it specifies 'CRL 111 222'$// | |
| 41 | ||
| 42 | extension "requires CRL_111_222_3_R2D_SE CRL 111 222 R2D"; //^error: Module 'importer' requires version CRL 111 222 R2D of module 'CRL_111_222_3_R2D_SE', but only CRL 111 222/3 R2D is available$// | |
| 43 | extension "requires CRL_111_222_3_R2D_SE CRL 111 222/1 R2D"; //^error: Module 'importer' requires version CRL 111 222/1 R2D of module 'CRL_111_222_3_R2D_SE', but only CRL 111 222/3 R2D is available$// | |
| 44 | extension "requires CRL_111_222_3_R2D_SE CRL 111 222/3 R2D"; | |
| 45 | extension "requires CRL_111_222_3_R2D_SE CRL 333 222 R2D"; //^error: Module 'importer' requires version CRL 333 222 R2D of module 'CRL_111_222_3_R2D_SE', but only CRL 111 222\/3 R2D is available$// | |
| 46 | ||
| 47 | extension "requires unreleased_SE R9Z"; // highest possible version | |
| 48 | ||
| 49 | extension "requires noversion_SE R9Z"; // highest possible version | |
| 50 | extension "requires noversion_SE CNL 111 222 R9Z"; //^error: Module 'importer' requires module 'noversion_SE' of product CNL 111 222, but it is not specified// | |
| 51 | extension "requires noversion_SE CNL 111 222/2 R9Z"; //^error: Module 'importer' requires module 'noversion_SE' of product CNL 111 222, but it is not specified// | |
| 52 | } |