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