conformance_test/positive_tests/19_basic_program_statements/1907_label_statement/Syn_1907_label_statement_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  ** @purpose  1:19.7, Ensure that the IUT correctly handles label syntax.
  13  ** @verdict  pass accept, noexecution
  14  *****************************************************************/
  15
  16 module Syn_1907_label_statement_001 {
  17
  18
  19         type record MessageType {
  20                 integer                 field1,
  21                 charstring      field2
  22         }
  23
  24     type port loopbackPort message {
  25                 inout MessageType
  26         } with {extension "internal"}
  27
  28         type component GeneralComp {
  29                   port loopbackPort messagePort
  30         }
  31
  32         function f_test ( integer p_integer := 0 ) runs on GeneralComp return integer {
  33                 label L1;
  34                 return p_integer+1;
  35         }
  36
  37
  38         altstep AltSet1() runs on GeneralComp {
  39                 var integer v_LocalVar := f_test();   // local variable
  40
  41                  [] messagePort.receive {
  42                         label L_A;
  43                     setverdict(pass);
  44                         label L_B;
  45                  }
  46
  47         }
  48
  49         testcase TC_Syn_1907_label_statement_001 () runs on GeneralComp {
  50                 var MessageType v_testMessage;
  51                 timer t_timer;
  52
  53                 v_testMessage:=  {
  54                         field1 := 1,
  55                         field2 := "test string"
  56                 }
  57
  58                 connect(self:messagePort,self:messagePort);
  59
  60                 messagePort.send(v_testMessage);
  61                 t_timer.start( 1.0 );
  62                 label L1;
  63
  64                 alt {
  65                         [] AltSet1();
  66                         [] messagePort.receive {
  67                                 label L2;
  68                                 setverdict(pass);
  69                         }
  70                         [] t_timer.timeout {
  71                                 label L3;
  72                         }
  73                  }
  74
  75                 label L4;
  76         }
  77
  78         control{
  79                 execute(TC_Syn_1907_label_statement_001());
  80         }
  81
  82 }