conformance_test/positive_tests/16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_016.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:16.1.2, Ensure that predefined encvalue function works correctly (as specified in Annex C.5.1)
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  ***************************************************/
  15
  16 // The following requirements are tested:
  17 // (C.5.1) The encvalue function encodes a value or template into a bitstring. When the actual
  18 // parameter that is passed to inpar is a template, it shall resolve to a specific value (the
  19 // same restrictions apply as for the argument of the send statement). The returned bitstring
  20 // represents the encoded value of inpar, however, the TTCN-3 test system need not make any
  21 // check on its correctness.
  22
  23 module Sem_160102_predefined_functions_016 {
  24     type integer I with { variant "32 bit"};
  25
  26     type component GeneralComp {
  27     }
  28
  29     testcase TC_Sem_160102_predefined_functions_016 () runs on GeneralComp {
  30         var template I v_test := 0;
  31                 var bitstring v_res := encvalue(v_test);
  32                 if (lengthof(v_res) == 32) {
  33                         setverdict(pass);
  34                 } else {
  35                         setverdict(fail, "Invalid encoding length");
  36                 }
  37     }
  38
  39     control{
  40         execute(TC_Sem_160102_predefined_functions_016());
  41     }
  42 }