conformance_test/positive_tests/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_199.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:5.4.2, verify that the Example 5 can be executed
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  ***************************************************/
  15
  16 module Sem_050402_actual_parameters_199 {
  17
  18     type port P message {
  19         inout MyMessageType;
  20     } with {extension "internal"}
  21
  22     type component GeneralComp {
  23         port P MyPCO;
  24         }
  25
  26     // Given the message definition
  27     type record MyMessageType
  28     {
  29         integer field1,
  30         charstring field2,
  31         boolean field3
  32     }
  33
  34     // A message template might be
  35     template MyMessageType MyTemplate(integer MyValue) :=
  36     {
  37         field1 := MyValue,
  38         field2 := pattern "abc*xyz",
  39         field3 := true
  40     }
  41
  42     testcase TC_Sem_050402_actual_parameters_199(template MyMessageType RxMsg) runs on GeneralComp {
  43                 connect(self:MyPCO,self:MyPCO);
  44         MyPCO.send(MyMessageType:{7, "abcdefxyz", true });
  45         MyPCO.receive(RxMsg);
  46         setverdict(pass);
  47         }
  48
  49         control {
  50                 execute(TC_Sem_050402_actual_parameters_199(MyTemplate(7)));
  51         }
  52 }