Loading 06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_001/Neg_060502_date_and_time_001.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_001 { Loading 06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_002/Neg_060502_date_and_time_002.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_002 { Loading 06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_003/Neg_060502_date_and_time_003.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_003 { Loading 06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_004/Neg_060502_date_and_time_004.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_004 { Loading 06_built_in_data_types/0605_time_types/060502_date_and_time/Pos_060502_date_and_time_001/Pos_060502_date_and_time_001.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060502_date_and_time_001 { Loading Loading
06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_001/Neg_060502_date_and_time_001.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_001 { Loading
06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_002/Neg_060502_date_and_time_002.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_002 { Loading
06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_003/Neg_060502_date_and_time_003.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_003 { Loading
06_built_in_data_types/0605_time_types/060502_date_and_time/Neg_060502_date_and_time_004/Neg_060502_date_and_time_004.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass reject ***************************************************/ module Neg_060502_date_and_time_004 { Loading
06_built_in_data_types/0605_time_types/060502_date_and_time/Pos_060502_date_and_time_001/Pos_060502_date_and_time_001.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.5.2 Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @purpose 9:6.5.2, Verify that the dateTime type shall be translated to TTCN-3 using the pattern-restricted charstring ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060502_date_and_time_001 { Loading