conformance_test/positive_tests/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/060201_toplevel/Sem_060201_RecordTypeValues_002.ttcn

   1 /***************************************************
   2  ** @author   STF 451, re-numbering done by STF 470 and 487
   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_060201_RecordTypeValues_002 {
   9
  10         type component GeneralComp {
  11         }
  12
  13         type record R {
  14                 integer f1,
  15                 integer f2 optional,
  16                 integer f3,
  17                 integer f4 optional,
  18                 integer f5 optional
  19         }
  20
  21         const R c_assigned := { 1, -, 2 } with { optional "implicit omit" }
  22
  23         testcase TC_Sem_060201_RecordTypeValues_002() runs on GeneralComp {
  24
  25                 template R 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_060201_RecordTypeValues_002());
  38         }
  39
  40 }