conformance_test/positive_tests/08_modules/0802_module_definitions_part/080203_importing_from_modules/08020301_general_format_of_import/Sem_08020301_GeneralFormatOfImport_020.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, Verify that prefixed type is evaluated as expected
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  *****************************************************************/
  15
  16 // The following requirements are tested:
  17 /*In cases where there are no ambiguities the prefixing need not (but may) be present when the imported definitions are
  18 used. When the definition is referenced in the same module where it is defined, the module identifier of the module (the
  19 current module) also may be used for prefixing the identifier of the definition.*/
  20
  21 module Sem_08020301_GeneralFormatOfImport_020 {
  22
  23         import from Sem_08020301_GeneralFormatOfImport_020_import {type My_type};
  24
  25         type float My_type;     //float type
  26
  27         type component GeneralComp {}
  28
  29         testcase TC_Sem_08020301_GeneralFormatOfImport_020() runs on GeneralComp {
  30
  31                 var My_type v_1 := 2.5;         //prefixed type
  32                 var Sem_08020301_GeneralFormatOfImport_020_import.My_type v_2 := 1;    //prefix and the identifier
  33
  34                 if( (match(v_1,2.5)) and (match(v_2,1)))
  35                 {
  36                         setverdict(pass);
  37                 } else {
  38                         setverdict(fail);
  39                 }
  40
  41         }
  42
  43         control{
  44                 // testing if parameter names are imported
  45                 execute(TC_Sem_08020301_GeneralFormatOfImport_020());
  46         }
  47 }
  48