conformance_test/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_006.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:22.3.2, Verify that error occurs when any from getcall is applied to 1D array and index target has wrong type
  13  ** @verdict  pass reject
  14  *****************************************************************/
  15 // The following requirements are tested:
  16 // Restriction i
  17 // If the index redirection is used for single-dimensional port arrays, the type
  18 // of the integer variable shall allow storing the highest index of the respective array.
  19 module NegSem_220302_GetcallOperation_006 {
  20
  21         signature S();
  22
  23         type port P procedure {
  24                 inout S;
  25         } with {extension "internal"}
  26
  27         const integer c_portCount := 4;
  28
  29     type component GeneralComp {
  30                 port P p[c_portCount];
  31         }
  32
  33         function f() runs on GeneralComp
  34         {
  35                 var float v_index;
  36         alt
  37                 {
  38                 [] any from p.getcall(S:?) -> @index v_index {
  39                                 if(v_index == 1.0){
  40                             setverdict(pass);
  41                         } else {
  42                             setverdict(fail, "Index or parameter value incorrectly assigned");
  43                         }
  44                         }
  45                         [else] { setverdict(fail, "The any from getcall operation didn't match for some reason");  }
  46                 }
  47         }
  48
  49     testcase TC_NegSem_220302_GetcallOperation_006() runs on GeneralComp system GeneralComp {
  50                 var GeneralComp v_ptc := GeneralComp.create;
  51                 for(var integer i := 0; i < c_portCount; i := i + 1) {
  52                         connect(self:p[i], v_ptc:p[i]);
  53                         if (i mod 2 > 0) { p[i].call(S:{}, nowait); }
  54                 }
  55                 v_ptc.start(f());
  56                 v_ptc.done;
  57     }
  58
  59     control {
  60         execute(TC_NegSem_220302_GetcallOperation_006(), 5.0);
  61     }
  62 }