/***************************************************
 ** @author   STF 470
 ** @version  0.0.1
 ** @purpose  1:6.2.2, The dot notation used in set type definitions is correctly handled
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_060202_SetTypeValues_002 {

type component GeneralComp {
}

 type set S {
  integer field1 (1 .. 10),
  charstring field2 optional
 }

 type S ConstrainedSet ({1, omit}, {2, "xyz"}, {3, "zyx"});

 type ConstrainedSet.field2 MyChar;

testcase TC_Sem_060202_SetTypeValues_002() runs on GeneralComp {

 var MyChar v_char := "abc";  // any character string is allowed

      if (v_char=="abc") {
	    setverdict(pass);
      }
      else {
	    setverdict(fail);
	  }

}

control {
    execute(TC_Sem_060202_SetTypeValues_002());
}

}
