conformance_test/positive_tests/06_types_and_values/0602_structured_types_and_values/060202_set_type_and_values/Sem_060202_SetTypeValues_006.ttcn

   1 /***************************************************
   2  ** @author   STF470
   3  ** @version  0.0.1
   4  ** @desc     Test cases for clause 6.2
   5  ** @purpose  1:6.2, Ensure that assignments with "implicit omit" attribute are correctly handled
   6  ** @verdict  pass accept, ttcn3verdict:pass
   7  ***************************************************/
   8 module Sem_060202_SetTypeValues_006 {
   9
  10 type component GeneralComp {
  11 }
  12
  13  type set S {
  14   integer f1,
  15   integer f2 optional,
  16   integer f3,
  17   integer f4 optional,
  18   integer f5 optional
  19  }
  20
  21  const S c_assigned := { 1, -, 2 } with { optional "implicit omit" }
  22
  23 testcase TC_Sem_060202_SetTypeValues_006() runs on GeneralComp {
  24
  25  template S m_check := { 1, omit, 2, omit, omit }
  26
  27       if (match(c_assigned,m_check)) {
  28             setverdict(pass);
  29       }
  30       else {
  31             setverdict(fail);
  32           }
  33
  34 }
  35
  36 control {
  37     execute(TC_Sem_060202_SetTypeValues_006());
  38 }
  39
  40 }