conformance_test/positive_tests/05_basic_language_elements/0503_ordering_of_declarations/Sem_0503_Ordering_001.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  ** @desc     Test cases for clause 5.2 Scope rules
  13  ** @purpose  1:5.3, Ensure that allowed orderings of declarations are supported
  14  ** @verdict  pass accept, ttcn3verdict:pass
  15  ***************************************************/
  16 module Sem_0503_Ordering_001 {
  17
  18 type component GeneralComp {
  19     var integer vc_component := 0;
  20 }
  21
  22 testcase TC_Sem_0503_Ordering_001() runs on GeneralComp  {
  23     var integer v_testcase := 0;
  24
  25     f_function();
  26     if(true) {
  27      var integer v_statement := 0;
  28       if (v_statement == 0) {
  29             var integer v_nested_statement := 0;
  30             setverdict(pass);
  31       }
  32
  33     }
  34 }
  35
  36 function f_function() runs on GeneralComp {
  37     var integer v_function := 0;
  38 }
  39
  40 control {
  41     var integer v_control := 0;
  42     execute(TC_Sem_0503_Ordering_001());
  43 }
  44
  45 }