Loading 06_types_and_values/0602_structured_types_and_values/060201_record_and_type_values/Syn_060201_RecordTypeValues_001.ttcn 0 → 100644 +19 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:6.2.1, The element identifiers are local to the record and shall be unique within the record (but do not have to be globally unique). ** @verdict pass accept, noexecution ***************************************************/ module Syn_060201_RecordTypeValues_001 { const integer field2 := 4; // do not edit the name type record MyRecordType { integer field1, MyOtherRecordType field2 optional, charstring field3 } type record MyOtherRecordType { bitstring field1, boolean field2 } } No newline at end of file 06_types_and_values/0602_structured_types_and_values/060201_record_and_type_values/Syn_060201_RecordTypeValues_002.ttcn 0 → 100644 +10 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:6.2.1, Empty record ** @verdict pass accept, noexecution ***************************************************/ module Syn_060201_RecordTypeValues_002 { type record MyRecordType { } } No newline at end of file Loading
06_types_and_values/0602_structured_types_and_values/060201_record_and_type_values/Syn_060201_RecordTypeValues_001.ttcn 0 → 100644 +19 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:6.2.1, The element identifiers are local to the record and shall be unique within the record (but do not have to be globally unique). ** @verdict pass accept, noexecution ***************************************************/ module Syn_060201_RecordTypeValues_001 { const integer field2 := 4; // do not edit the name type record MyRecordType { integer field1, MyOtherRecordType field2 optional, charstring field3 } type record MyOtherRecordType { bitstring field1, boolean field2 } } No newline at end of file
06_types_and_values/0602_structured_types_and_values/060201_record_and_type_values/Syn_060201_RecordTypeValues_002.ttcn 0 → 100644 +10 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:6.2.1, Empty record ** @verdict pass accept, noexecution ***************************************************/ module Syn_060201_RecordTypeValues_002 { type record MyRecordType { } } No newline at end of file