conformance_test/positive_tests/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/060201_toplevel/NegSem_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 reject
   7  ***************************************************/
   8 module NegSem_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         testcase TC_NegSem_060201_RecordTypeValues_002() runs on GeneralComp {
  22
  23                 var R v_assigned := { 1, 2 } with { optional "implicit omit" }
  24                 //rejected since f3 stays undefined
  25
  26         }
  27
  28         control {
  29                 execute(TC_NegSem_060201_RecordTypeValues_002());
  30         }
  31
  32 }