conformance_test/positive_tests/08_modules/0802_module_definitions_part/080203_importing_from_modules/08020301_general_format_of_import/NegSem_08020301_GeneralFormatOfImport_040_import.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 unsupported language concepts cannot be used when language is set by import clause
  13  ** @verdict  pass reject
  14  *****************************************************************/
  15
  16 // The following requirements are tested:
  17 // Restriction h:
  18 // If no [language specification is defined in the source module], the language
  19 // specification in the import statement is taken as the language specification
  20 // of the source module. If the source module uses however language concepts not
  21 // being part of that language specification, this causes an error for the import
  22 // statement.
  23
  24 module NegSem_08020301_GeneralFormatOfImport_040_import {
  25         type set of integer SoI;
  26         template SoI m_src := {1, 2, 3};
  27         // all from is a TTCN-3:2013 feature: it shall cause an import error
  28         template integer m_test := ( 10, all from m_src );
  29         const integer c_test := 0;
  30 }