conformance_test/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/Sem_220203_TriggerOperation_013.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, @decoded redirect assignment of an octetstring field
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  *****************************************************************/
  15
  16 // The following requirements are tested:
  17 // Rules in clause 22.2.2 shall apply.
  18 // When assigning individual fields of a message, encoded payload fields can be
  19 // decoded prior to assignment using the @decoded modifier. In this case, the
  20 // referenced field on the right hand sided of the assignment shall be one of the
  21 // bitstring, hexstring, octetstring, charstring or universal charstring types. It
  22 // shall be decoded into a value of the same type as the variable on the left hand
  23 // side of the assignment.
  24
  25 module Sem_220203_TriggerOperation_013 {
  26         type record R
  27     {
  28         integer id,
  29         octetstring payload
  30     }
  31
  32         type port P message {
  33                 inout R;
  34         } with {extension "internal"}
  35
  36     type component GeneralComp
  37         {
  38                 port P p;
  39         }
  40
  41     testcase TC_Sem_220203_TriggerOperation_013() runs on GeneralComp {
  42         var charstring v_src := "abc", v_res;
  43         var octetstring v_os := bit2oct(encvalue(v_src));
  44
  45                 connect(self:p, self:p);
  46         p.send(R:{ id := 1, payload := v_os });
  47         alt {
  48             [] p.trigger(R:?) -> value (v_res := @decoded payload) {
  49                 if (v_res == "abc") { setverdict (pass); }
  50                 else { setverdict(fail); }
  51             }
  52         }
  53     }
  54
  55     control {
  56         execute(TC_Sem_220203_TriggerOperation_013(), 5.0);
  57     }
  58 }