Loading .settings/com.testingtech.ttworkbench.core.prefs +2 −2 Original line number Diff line number Diff line #Mon Oct 04 15:25:55 CEST 2010 #Mon Oct 04 16:43:01 CEST 2010 eclipse.preferences.version=1 keep_migrated_project_properties=true reporting=2 Loading @@ -11,6 +11,6 @@ ttcn3.java_compile_all_at_once=true ttcn3.main_module= ttcn3.output_folder=//PROJECT_NAME//ttcn3build ttcn3.output_same_as_src=false ttcn3.source_folders=//PROJECT_NAME//12_timers\n//PROJECT_NAME//24_test_verdict_operations\n//PROJECT_NAME//05_basic_language_elements\n//PROJECT_NAME//21_configuration_operations\n//PROJECT_NAME//22_communication_operations\n//PROJECT_NAME//07_expressions\n//PROJECT_NAME//08_modules\n//PROJECT_NAME//25_external_actions\n//PROJECT_NAME//16_functions_altsteps_testcases\n//PROJECT_NAME//19_basic_program_statements\n//PROJECT_NAME//27_specifying_attributes\n//PROJECT_NAME//11_variables\n//PROJECT_NAME//18_overview_program_statements_and_operations\n//PROJECT_NAME//09_test_configurations\n//PROJECT_NAME//26_module_control\n//PROJECT_NAME//06_types_and_values\n//PROJECT_NAME//23_timer_operations\n//PROJECT_NAME//14_procedure_signatures\n//PROJECT_NAME//15_templates\n//PROJECT_NAME//13_messages\n//PROJECT_NAME//20_statement_and_operations_for_alt\n//PROJECT_NAME//10_constants\n//PROJECT_NAME//17_void\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/06010101_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility\n//PROJECT_NAME//06_types_and_values/0604_type_synonym\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010201_lists_of_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010202_lists_of_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010203_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010204_string_length_restrictions\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010205_pattern_subtyping_of_character_string_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_using_length_restriction_with_other_constraints ttcn3.source_folders=//PROJECT_NAME//12_timers\n//PROJECT_NAME//24_test_verdict_operations\n//PROJECT_NAME//05_basic_language_elements\n//PROJECT_NAME//21_configuration_operations\n//PROJECT_NAME//22_communication_operations\n//PROJECT_NAME//07_expressions\n//PROJECT_NAME//08_modules\n//PROJECT_NAME//25_external_actions\n//PROJECT_NAME//16_functions_altsteps_testcases\n//PROJECT_NAME//19_basic_program_statements\n//PROJECT_NAME//27_specifying_attributes\n//PROJECT_NAME//11_variables\n//PROJECT_NAME//18_overview_program_statements_and_operations\n//PROJECT_NAME//09_test_configurations\n//PROJECT_NAME//26_module_control\n//PROJECT_NAME//06_types_and_values\n//PROJECT_NAME//23_timer_operations\n//PROJECT_NAME//14_procedure_signatures\n//PROJECT_NAME//15_templates\n//PROJECT_NAME//13_messages\n//PROJECT_NAME//20_statement_and_operations_for_alt\n//PROJECT_NAME//10_constants\n//PROJECT_NAME//17_void\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/06010101_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility\n//PROJECT_NAME//06_types_and_values/0604_type_synonym\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010201_lists_of_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010202_lists_of_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010203_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010204_string_length_restrictions\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010205_pattern_subtyping_of_character_string_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_using_length_restriction_with_other_constraints\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel ttcn3.use_bigint=true ttcn3.use_destination_path_for_ttcn3view=true 06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,5 +5,5 @@ ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_001 { const integer i1 := 0.0; const integer i1 := 0.0; // not an integer value } No newline at end of file 06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,5 +5,5 @@ ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_002 { const integer i1 := true; const integer i1 := true; // not an integer value } No newline at end of file 06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_003.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.0, Assign integer to float values ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_001 { const float f1 := 0; module NegSyn_060100_SimpleBasicTypes_003 { const float f1 := 0; // not a float value } No newline at end of file 06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_004.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.0, Assign boolean to float values ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_002 { const float f1 := true; module NegSyn_060100_SimpleBasicTypes_004 { const float f1 := true; // not a float value } No newline at end of file Loading
.settings/com.testingtech.ttworkbench.core.prefs +2 −2 Original line number Diff line number Diff line #Mon Oct 04 15:25:55 CEST 2010 #Mon Oct 04 16:43:01 CEST 2010 eclipse.preferences.version=1 keep_migrated_project_properties=true reporting=2 Loading @@ -11,6 +11,6 @@ ttcn3.java_compile_all_at_once=true ttcn3.main_module= ttcn3.output_folder=//PROJECT_NAME//ttcn3build ttcn3.output_same_as_src=false ttcn3.source_folders=//PROJECT_NAME//12_timers\n//PROJECT_NAME//24_test_verdict_operations\n//PROJECT_NAME//05_basic_language_elements\n//PROJECT_NAME//21_configuration_operations\n//PROJECT_NAME//22_communication_operations\n//PROJECT_NAME//07_expressions\n//PROJECT_NAME//08_modules\n//PROJECT_NAME//25_external_actions\n//PROJECT_NAME//16_functions_altsteps_testcases\n//PROJECT_NAME//19_basic_program_statements\n//PROJECT_NAME//27_specifying_attributes\n//PROJECT_NAME//11_variables\n//PROJECT_NAME//18_overview_program_statements_and_operations\n//PROJECT_NAME//09_test_configurations\n//PROJECT_NAME//26_module_control\n//PROJECT_NAME//06_types_and_values\n//PROJECT_NAME//23_timer_operations\n//PROJECT_NAME//14_procedure_signatures\n//PROJECT_NAME//15_templates\n//PROJECT_NAME//13_messages\n//PROJECT_NAME//20_statement_and_operations_for_alt\n//PROJECT_NAME//10_constants\n//PROJECT_NAME//17_void\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/06010101_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility\n//PROJECT_NAME//06_types_and_values/0604_type_synonym\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010201_lists_of_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010202_lists_of_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010203_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010204_string_length_restrictions\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010205_pattern_subtyping_of_character_string_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_using_length_restriction_with_other_constraints ttcn3.source_folders=//PROJECT_NAME//12_timers\n//PROJECT_NAME//24_test_verdict_operations\n//PROJECT_NAME//05_basic_language_elements\n//PROJECT_NAME//21_configuration_operations\n//PROJECT_NAME//22_communication_operations\n//PROJECT_NAME//07_expressions\n//PROJECT_NAME//08_modules\n//PROJECT_NAME//25_external_actions\n//PROJECT_NAME//16_functions_altsteps_testcases\n//PROJECT_NAME//19_basic_program_statements\n//PROJECT_NAME//27_specifying_attributes\n//PROJECT_NAME//11_variables\n//PROJECT_NAME//18_overview_program_statements_and_operations\n//PROJECT_NAME//09_test_configurations\n//PROJECT_NAME//26_module_control\n//PROJECT_NAME//06_types_and_values\n//PROJECT_NAME//23_timer_operations\n//PROJECT_NAME//14_procedure_signatures\n//PROJECT_NAME//15_templates\n//PROJECT_NAME//13_messages\n//PROJECT_NAME//20_statement_and_operations_for_alt\n//PROJECT_NAME//10_constants\n//PROJECT_NAME//17_void\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/06010101_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility\n//PROJECT_NAME//06_types_and_values/0604_type_synonym\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010201_lists_of_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010202_lists_of_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010203_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010204_string_length_restrictions\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010205_pattern_subtyping_of_character_string_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_accessing_individual_string_elements/06010206_mixing_subtyping_mechanisms/0601020601_using_length_restriction_with_other_constraints\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel ttcn3.use_bigint=true ttcn3.use_destination_path_for_ttcn3view=true
06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,5 +5,5 @@ ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_001 { const integer i1 := 0.0; const integer i1 := 0.0; // not an integer value } No newline at end of file
06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,5 +5,5 @@ ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_002 { const integer i1 := true; const integer i1 := true; // not an integer value } No newline at end of file
06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_003.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.0, Assign integer to float values ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_001 { const float f1 := 0; module NegSyn_060100_SimpleBasicTypes_003 { const float f1 := 0; // not a float value } No newline at end of file
06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values/NegSyn_060100_SimpleBasicTypes_004.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.0, Assign boolean to float values ** @verdict pass reject ***************************************************/ module NegSyn_060100_SimpleBasicTypes_002 { const float f1 := true; module NegSyn_060100_SimpleBasicTypes_004 { const float f1 := true; // not a float value } No newline at end of file