Loading 05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_003/Pos_050202_name_conversion_rules_003.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:5.2.2, TODO: add description ** @purpose 9:5.2.2, Verify that multiple "_" are simplified in transforming identifiers ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ // The following requirements are tested: Loading 06_built_in_data_types/0601_mapping_of_facets/060112_fraction_digits/Pos_060112_fraction_digits_001/Pos_060112_fraction_digits_001.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 487 ** @version 0.0.1 ** @purpose 9:6.1.12, TODO write purpose ** @purpose 9:6.1.12, Check that floats having same accuracy as fractionDigits are converted correct ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060112_fraction_digits_001 { Loading 06_built_in_data_types/0601_mapping_of_facets/060112_fraction_digits/Pos_060112_fraction_digits_002/Pos_060112_fraction_digits_002.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 487 ** @version 0.0.1 ** @purpose 9:6.1.12, TODO write purpose ** @purpose 9:6.1.12, Check that floats having higher accuracy than fractionDigits are converted correct ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060112_fraction_digits_002 { Loading Loading
05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_003/Pos_050202_name_conversion_rules_003.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:5.2.2, TODO: add description ** @purpose 9:5.2.2, Verify that multiple "_" are simplified in transforming identifiers ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ // The following requirements are tested: Loading
06_built_in_data_types/0601_mapping_of_facets/060112_fraction_digits/Pos_060112_fraction_digits_001/Pos_060112_fraction_digits_001.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 487 ** @version 0.0.1 ** @purpose 9:6.1.12, TODO write purpose ** @purpose 9:6.1.12, Check that floats having same accuracy as fractionDigits are converted correct ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060112_fraction_digits_001 { Loading
06_built_in_data_types/0601_mapping_of_facets/060112_fraction_digits/Pos_060112_fraction_digits_002/Pos_060112_fraction_digits_002.ttcn_ +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 487 ** @version 0.0.1 ** @purpose 9:6.1.12, TODO write purpose ** @purpose 9:6.1.12, Check that floats having higher accuracy than fractionDigits are converted correct ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060112_fraction_digits_002 { Loading