conformance_test/positive_tests/08_modules/0802_module_definitions_part/080203_importing_from_modules/08020301_general_format_of_import/Sem_08020301_GeneralFormatOfImport_004.ttcn

   1 /******************************************************************************
   2  * Copyright (c) 2000-2016 Ericsson Telecom AB
   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  * Contributors:
   9  *   Adrien Kirjak – initial implementation
  10  *
  11  ** @version  0.0.1
  12  ** @purpose  1:8.2.3.1, Make sure that imported enumeration values take precedence over local definition
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  *****************************************************************/
  15
  16 // The following requirements are tested:
  17 // There is one exception to this rule: when in the context of an enumerated type
  18 // (see clause 6.2.4), an enumerated value is clashing with the name of a definition in
  19 // the importing module, the enumerated value shall take precedence and the definition
  20 // in the importing module shall be referenced by using its qualified name.
  21
  22 module Sem_08020301_GeneralFormatOfImport_004 {
  23
  24         import from Sem_08020301_GeneralFormatOfImport_004_import all;
  25
  26         type component GeneralComp {}
  27
  28         testcase TC_Sem_08020301_GeneralFormatOfImport_004() runs on GeneralComp {
  29                 var integer enumX := 1;
  30                 if (c_enumVal == enumX) {
  31                         setverdict(pass);
  32                 } else {
  33                         setverdict(fail);
  34                 }
  35         }
  36
  37         control{
  38                 execute(TC_Sem_08020301_GeneralFormatOfImport_004());
  39         }
  40 }
  41