conformance_test/positive_tests/22_communication_operations/2202_message_based_communication/220201_send_operation/NegSem_220201_SendOperation_004.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.2.1, Ensure that the IUT correctly handles message sending operations
  13  ** @verdict  pass reject
  14  *****************************************************************/
  15
  16 module NegSem_220201_SendOperation_004 {
  17
  18 signature p_NegSem_220201_SendOperation_004(in integer p_par1, out integer p_par2, inout integer p_par3) return integer;
  19
  20         /*template p_NegSem_220201_SendOperation_004 s_baseTemplate := {
  21                 p_par1 := -,
  22                 p_par2 := 4,
  23                 p_par3 := ?
  24         }
  25
  26         template p_NegSem_220201_SendOperation_004 s_returnTemplate modifies s_baseTemplate := {
  27                 p_par3 := 5
  28         }
  29
  30         template p_NegSem_220201_SendOperation_004 s_wrongTemplate modifies s_baseTemplate := {
  31                 p_par3 := 3
  32         }*/
  33
  34         template p_NegSem_220201_SendOperation_004 s_callTemplate := {
  35                 p_par1 := 1,
  36                 p_par2 := -,
  37                 p_par3 := 3
  38         }
  39
  40         type port remotePort procedure {
  41                 out p_NegSem_220201_SendOperation_004;
  42         } with {extension "internal"}
  43
  44         type component GeneralComp {
  45                   port remotePort PCO;
  46         }
  47
  48         testcase NegSem_220201_SendOperation_004() runs on GeneralComp {
  49
  50                 //connect(self:PCO,self:PCO);
  51
  52                 PCO.send(p_NegSem_220201_SendOperation_004:s_callTemplate);
  53
  54                 //cannot use send operation on a procedure based port
  55                 /*PCO.send(p_NegSem_220201_SendOperation_004:s_callTemplate, 5.0) {
  56                         [] PCO.getreply(p_NegSem_220201_SendOperation_004:s_wrongTemplate value 1) {
  57                                 setverdict(fail);
  58                         }
  59                         [] PCO.getreply(p_NegSem_220201_SendOperation_004:s_returnTemplate value 2) {
  60                                 setverdict(fail);
  61                         }
  62                         [] PCO.getreply(p_NegSem_220201_SendOperation_004:s_returnTemplate value 1) {
  63                                 setverdict(pass);
  64                         }
  65                         [] PCO.catch (timeout) {
  66                                 setverdict(fail);
  67                         }
  68                 }*/
  69         }
  70
  71         control{
  72                 execute(NegSem_220201_SendOperation_004());
  73         }
  74
  75 }