/***************************************************
 ** @author   STF 451
 ** @version  0.0.1
 ** @purpose  1:6.2.1.1, The dot notation used in record type definitions is correctly handled
 ** @verdict  pass reject
 ***************************************************/
module NegSem_06020101_ReferencingRecordFields_001 {

type component GeneralComp {
}

 type record R {
  integer field1 (1 .. 10),
  charstring field2 optional
 }

 type R ConstrainedRecord ({1, omit}, {2, "xyz"}, {3, "zyx"}) ;

 type ConstrainedRecord.field1 MyInteger;

testcase TC_NegSem_06020101_ReferencingRecordFields_001() runs on GeneralComp {

 var MyInteger v_int := 11;  // assignment from outside of the carried over (1 .. 10) range constraint

}

control {
    execute(TC_NegSem_06020101_ReferencingRecordFields_001());
}

}
