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