Commit 9d305721 authored by pakulin's avatar pakulin
Browse files

Final version made by STF-409

parents
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
</classpath>
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType">
<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_BUILDER_ENABLED" value="false"/>
<stringAttribute key="org.eclipse.ui.externaltools.ATTR_DISABLED_BUILDER" value="de.ugoe.cs.swe.trex.ui.rulebuilder"/>
<mapAttribute key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS"/>
<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/>
</launchConfiguration>
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>ATS</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
<triggers>full,incremental,</triggers>
<arguments>
<dictionary>
<key>LaunchConfigHandle</key>
<value>&lt;project&gt;/.externalToolBuilders/de.ugoe.cs.swe.trex.ui.rulebuilder.launch</value>
</dictionary>
</arguments>
</buildCommand>
<buildCommand>
<name>com.testingtech.ttworkbench.ttthree.modelBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>com.testingtech.ttworkbench.xcleditor.todoBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>com.testingtech.ttworkbench.core.ttcn3nature</nature>
<nature>de.ugoe.cs.swe.trex.ui.trexnature</nature>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>
#Mon Oct 25 16:26:49 CEST 2010
eclipse.preferences.version=1
keep_migrated_project_properties=true
reporting=2
standard-compliance=error
tt3-plugins-path=
ttcn3-version=7
ttcn3.continue_on_fail=true
ttcn3.gen_debug_code_record_init=false
ttcn3.generate_mlf=false
ttcn3.java_compile_all_at_once=true
ttcn3.main_module=
ttcn3.mlf_class=com.testingtech.ttcn.tri.PluginTestAdapter
ttcn3.mlf_class_builtin=com.testingtech.ttcn.tri.PluginTestAdapter
ttcn3.mlf_jar=
ttcn3.mlf_radiobutton=1
ttcn3.mlf_ta_config=taconfig.xml
ttcn3.output_folder=//PROJECT_NAME//ttcn3build
ttcn3.output_same_as_src=false
ttcn3.source_folders=//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060207_arrays\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060210_component_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010205_pattern_subtyping_of_character_string_types\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060204_enumerated_type_and_values\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150704_special_symbols_which_describe_attributes_of_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010201_lists_of_values\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields/150602_referencing_record_and_set_fields\n//PROJECT_NAME//15_templates/15_toplevel\n//PROJECT_NAME//07_expressions\n//PROJECT_NAME//05_basic_language_elements/0501_identifiers_and_keywords\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050402_actual_parameters\n//PROJECT_NAME//07_expressions/0701_operators/070102_list_operator\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010204_string_length_restrictions\n//PROJECT_NAME//06_types_and_values/0604_type_synonym\n//PROJECT_NAME//16_functions_altsteps_testcases\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060201_record_and_type_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges\n//PROJECT_NAME//27_specifying_attributes\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules\n//PROJECT_NAME//07_expressions/0701_operators\n//PROJECT_NAME//08_modules/0802_module_definitions_part\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules/050202_Uniqueness_of_identifiers\n//PROJECT_NAME//07_expressions/0702_field_references_and_list_elements\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060210_component_types/06021002_reuse_component_type\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/0602_toplevel\n//PROJECT_NAME//26_module_control\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules/0502_toplevel\n//PROJECT_NAME//06_types_and_values\n//PROJECT_NAME//07_expressions/07_toplevel\n//PROJECT_NAME//23_timer_operations\n//PROJECT_NAME//15_templates/1503_global_and_local_templates\n//PROJECT_NAME//C_predefined_functions\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value\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//17_void\n//PROJECT_NAME//10_constants\n//PROJECT_NAME//15_templates/1505_modified_templates\n//PROJECT_NAME//15_templates/1510_valueof_operation\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040104_parameters_of_kind_port\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020303_importing_groups\n//PROJECT_NAME//21_configuration_operations\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080205_visibility_of_definitions\n//PROJECT_NAME//D_preprocessing_macros\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020304_importing_definitions_of_the_same_kind\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields/150603_referencing_record_of_and_set_elements\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020306_importing_definitions_from_other_t3_editions_and_non_t3_modules\n//PROJECT_NAME//07_expressions/0701_operators/070104_logical_operators\n//PROJECT_NAME//11_variables\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060208_default_type\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080204_definition_of_friend_modules\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060100_simple_basic_types_and_values\n//PROJECT_NAME//09_test_configurations\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040103_parameters_of_kind_timer\n//PROJECT_NAME//15_templates/1501_declaring_message_templates\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010203_ranges\n//PROJECT_NAME//08_modules/0802_module_definitions_part/0802_toplevel\n//PROJECT_NAME//08_modules/0803_module_control_part\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060213_subtyping_of_structured_types\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020307_importing_of_import_statements_from_t3_modules\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060203_records_and_sets_of_single_types\n//PROJECT_NAME//15_templates\n//PROJECT_NAME//24_test_verdict_operations\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization\n//PROJECT_NAME//07_expressions/0701_operators/070101_arithmetic_operators\n//PROJECT_NAME//15_templates/1509_match_operation\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150701_specific_values\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020301_general_format_of_import\n//PROJECT_NAME//07_expressions/0701_operators/070107_rotate_operators\n//PROJECT_NAME//05_basic_language_elements/05_toplevel\n//PROJECT_NAME//25_external_actions\n//PROJECT_NAME//15_templates/1506_referencing_elements_of_templates_or_template_fields/150601_referencing_individual_string_elements\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060212_addressing_entities_inside_sut\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080201_module_parameters\n//PROJECT_NAME//18_overview_program_statements_and_operations\n//PROJECT_NAME//15_templates/1504_inline_templates\n//PROJECT_NAME//11_variables/1101_value_variables\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060211_component_references\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080202_groups_of_definitions\n//PROJECT_NAME//05_basic_language_elements/0505_cyclic_definitions\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020305_importing_all_definitions_of_a_module\n//PROJECT_NAME//E_library_of_useful_types\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150703_special_symbols_that_can_be_used_inside_values\n//PROJECT_NAME//14_procedure_signatures\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility/060301_non-structured_types\n//PROJECT_NAME//B_matching_incoming_values\n//PROJECT_NAME//20_statement_and_operations_for_alt\n//PROJECT_NAME//13_messages\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template\n//PROJECT_NAME//07_expressions/0701_operators/070105_bitwise_operators\n//PROJECT_NAME//12_timers\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060206_anytype\n//PROJECT_NAME//05_basic_language_elements\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/1507_toplevel\n//PROJECT_NAME//11_variables/1102_template_variables\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values\n//PROJECT_NAME//15_templates/1502_declaring_signature_templates\n//PROJECT_NAME//22_communication_operations\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010202_lists_of_types\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060205_unions\n//PROJECT_NAME//05_basic_language_elements/0502_scope_rules/050201_Scope_of_parameters\n//PROJECT_NAME//08_modules/08_toplevel\n//PROJECT_NAME//08_modules\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060202_set_type_and_values\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel\n//PROJECT_NAME//07_expressions/0701_operators/070106_shift_operators\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules\n//PROJECT_NAME//19_basic_program_statements\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060210_component_types/06021001_component_type_definition\n//PROJECT_NAME//07_expressions/0701_operators/070103_relational_operators\n//PROJECT_NAME//05_basic_language_elements/0503_ordering_of_declarations\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020308_compatibility_of_language_specifications_in_imports\n//PROJECT_NAME//06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms\n//PROJECT_NAME//15_templates/1508_template_restrictions\n//PROJECT_NAME//15_templates/1507_template_matching_mechanisms/150702_special_symbols_that_can_be_used_instead_of_values\n//PROJECT_NAME//05_basic_language_elements/0504_parametrization/0504_toplevel\n//PROJECT_NAME//15_templates/1511_concatenating_templates_of_string_and_list_types\n//PROJECT_NAME//08_modules/0801_definition_of_a_module\n//PROJECT_NAME//06_types_and_values/0602_structured_types_and_values/060209_comm_port_types\n//PROJECT_NAME//08_modules/0802_module_definitions_part/080203_importing_from_modules/08020302_importing_single_definitions\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters\n//PROJECT_NAME//19_basic_program_statements/1903_select_case_statement\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility/060302_structured_types\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values/B010101_omitting_values\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010204_any_value_or_none\n//PROJECT_NAME//19_basic_program_statements/1901_assignments\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B0105_toplevel\n//PROJECT_NAME//20_statement_and_operations_for_alt/2004_the_interleave_statement\n//PROJECT_NAME//16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms\n//PROJECT_NAME//20_statement_and_operations_for_alt/2003_the_repeat_statement\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010502_reference_expression\n//PROJECT_NAME//16_functions_altsteps_testcases/1601_functions/160103_external_functions\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010501_set_expression\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010203_any_value\n//PROJECT_NAME//06_types_and_values/0603_type_compatibility/060303_component_types\n//PROJECT_NAME//20_statement_and_operations_for_alt/2001_the_snapshot_mechanism\n//PROJECT_NAME//16_functions_altsteps_testcases/1601_functions/160104_invoking_functions_from_specific_places\n//PROJECT_NAME//19_basic_program_statements/1904_for_statement\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010505_pattern_compatibility\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010201_value_list\n//PROJECT_NAME//19_basic_program_statements/1902_if_else_statement\n//PROJECT_NAME//16_functions_altsteps_testcases/1602_altsteps\n//PROJECT_NAME//20_statement_and_operations_for_alt/20_toplevel\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010202_complemented_value_list\n//PROJECT_NAME//16_functions_altsteps_testcases/1603_testcases\n//PROJECT_NAME//16_functions_altsteps_testcases/1601_functions/1601_toplevel\n//PROJECT_NAME//16_functions_altsteps_testcases/1601_functions\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010301_any_element\n//PROJECT_NAME//20_statement_and_operations_for_alt/2005_default_handling\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values/B010401_length_restrictions\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010206_superset\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values/B0101_toplevel\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values\n//PROJECT_NAME//16_functions_altsteps_testcases/1601_functions/160101_invoking_functions\n//PROJECT_NAME//26_module_control/2601_execute_statement\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010207_subset\n//PROJECT_NAME//16_functions_altsteps_testcases/1601_functions/160102_predefined_functions\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010302_any_number_of_elements_or_none\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010503_match_n_times\n//PROJECT_NAME//26_module_control/2602_the_control_part\n//PROJECT_NAME//20_statement_and_operations_for_alt/2002_the_alt_statement\n//PROJECT_NAME//16_functions_altsteps_testcases/1602_altsteps/1602_toplevel\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values/B010402_ifPresent_indicator\n//PROJECT_NAME//26_module_control/26_toplevel\n//PROJECT_NAME//B_matching_incoming_values/B01_template_matching
ttcn3.use_bigint=true
ttcn3.use_destination_path_for_ttcn3view=true
/*****************************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.1, Ensure that cannot pass a charstring value to an integer variable.
** @verdict pass reject
*****************************************************************/
module NegSem_0501_Identifier_001 {
type component GeneralComp {
}
testcase TC_NegSem_0501_Identifier_001() runs on GeneralComp {
var integer v_i := "wrong_type";
}
control{
execute(TC_NegSem_0501_Identifier_001());
}
}
/*****************************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.1, Ensure that when the IUT loads a module containing an
identifier named with a keyword then the module is rejected.
** @verdict pass reject
*****************************************************************/
module NegSyn_0501_Identifier_001 {
type component GeneralComp {
}
testcase TC_NegSyn_0501_Identifier_001() runs on GeneralComp {
var integer component := 1;
}
control{
execute(TC_NegSyn_0501_Identifier_001());
}
}
/*****************************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.1, Ensure that the IUT handle the identifiers case sensitively.
** @verdict pass accept, ttcn3verdict:pass
*****************************************************************/
module Syn_0501_Identifier_001 {
type component IdComp {
const integer cl_int := 0;
}
testcase TC_Syn_0501_Identifier_001() runs on IdComp {
const integer cl_iNT := 1;
if (cl_int == 0){
setverdict(pass);
}
else {
setverdict(fail);
}
}
control{
execute(TC_Syn_0501_Identifier_001());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @desc Test cases for clause 5.2 Scope rules
** @purpose 1:5.2.1, Ensure that the IUT correctly handles scope of formal function parameters
** @verdict pass accept, ttcn3verdict:pass
***************************************************/
module Sem_050201_Scope_of_parameters_001 {
type component GeneralComp {
}
function f_formalParameterScope_in(in integer p_myParameter) {
p_myParameter := 1;
if (p_myParameter == 1){
setverdict(pass);
}
else {
setverdict(fail);
}
}
function f_formalParameterScope_inout(inout integer p_myParameter) {
p_myParameter := 1;
}
testcase TC_Sem_050201_Scope_of_parameters_001_a() runs on GeneralComp {
var integer v_int := 0;
f_formalParameterScope_in(v_int);
}
testcase TC_Sem_050201_Scope_of_parameters_001_b() runs on GeneralComp {
var integer v_int := 0;
f_formalParameterScope_in(v_int);
if (v_int == 0) {
setverdict(pass);
}
else {
setverdict(fail);
}
}
testcase TC_Sem_050201_Scope_of_parameters_001_c() runs on GeneralComp {
var integer v_int := 0;
f_formalParameterScope_inout(v_int);
if (v_int == 1) {
setverdict(pass);
}
else {
setverdict(fail);
}
}
control{
execute(TC_Sem_050201_Scope_of_parameters_001_a());
execute(TC_Sem_050201_Scope_of_parameters_001_b());
execute(TC_Sem_050201_Scope_of_parameters_001_c());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_001 {
type component GeneralComp {
const integer cl_int := 0;
}
testcase TC_NegSem_050202_Uniqueness_001() runs on GeneralComp {
const integer cl_int := 0;
}
control {
execute(TC_NegSem_050202_Uniqueness_001());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_004 {
const integer c_int := 0;
type component GeneralComp {
}
function f_funcScope() {}
testcase TC_NegSem_050202_Uniqueness_004() runs on GeneralComp {
const integer c_int := 0;
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_004());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_005 {
const integer c_int := 0;
type component GeneralComp {
}
function f_funcScope() {
const integer c_int := 0;
}
testcase TC_NegSem_050202_Uniqueness_005() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_005());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_006 {
type component GeneralComp {
const integer repeatedIdentifier := 0;
}
testcase TC_NegSem_050202_Uniqueness_006() runs on GeneralComp {
var boolean repeatedIdentifier := true;
}
control {
execute(TC_NegSem_050202_Uniqueness_006());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_007 {
type component GeneralComp {
const integer repeatedIdentifier := 0;
}
function f_funcScope() runs on GeneralComp {
var boolean repeatedIdentifier := true;
}
testcase TC_NegSem_050202_Uniqueness_007() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_007());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_008 {
type component GeneralComp {
}
function f_funcScope(boolean repeatedIdentifier) {
const integer repeatedIdentifier := 0;
}
testcase TC_NegSem_050202_Uniqueness_008() runs on GeneralComp {
var boolean v_boolean := true;
f_funcScope(v_boolean);
}
control {
execute(TC_NegSem_050202_Uniqueness_008());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_009 {
const integer repeatedIdentifier := 0;
type component GeneralComp {
}
function f_funcScope() {}
testcase TC_NegSem_050202_Uniqueness_009() runs on GeneralComp {
var boolean repeatedIdentifier := true;
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_009());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_010 {
const integer repeatedIdentifier := 0;
type component GeneralComp {
}
function f_funcScope() {
var boolean repeatedIdentifier := true;
}
testcase TC_NegSem_050202_Uniqueness_010() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_010());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_011 {
type component GeneralComp {
}
function f_funcScope() {
var boolean NegSem_050202_Uniqueness_011 := true;
}
testcase TC_NegSem_050202_Uniqueness_011() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_011());
}
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass reject
***************************************************/
module NegSem_050202_Uniqueness_012 {
import from NegSem_050202_Uniqueness_012_import { const all; }
type component GeneralComp {
}
function f_funcScope() {
var boolean NegSem_050202_Uniqueness_012_import := true;
}
testcase TC_NegSem_050202_Uniqueness_012() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_NegSem_050202_Uniqueness_012());
}
}
module NegSem_050202_Uniqueness_012_import {
const integer c_integer := 0;
}
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass accept, ttcn3verdict:pass
***************************************************/
module Sem_050202_Uniqueness_001 {
import from Sem_050202_Uniqueness_001_import {
const all;
}
type component GeneralComp {
}
function f_funcScope() {
var boolean repeatedIdentifier := true;
if(repeatedIdentifier==true) { setverdict(pass); }
}
testcase TC_Sem_050202_Uniqueness_001() runs on GeneralComp {
f_funcScope();
}
control {
execute(TC_Sem_050202_Uniqueness_001());
}
}
module Sem_050202_Uniqueness_001_import {
const integer repeatedIdentifier := 0; // repeated indentifier from imported module is allowed
}
\ No newline at end of file
/***************************************************
** @author STF 409
** @version 0.0.1
** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
** @verdict pass accept, ttcn3verdict:pass
***************************************************/
module Sem_050202_Uniqueness_002 {
type component GeneralComp {
const integer cl_int := 0;
}
function f_funcScope() {
const integer cl_int := 1;
}
testcase TC_Sem_050202_Uniqueness_002() runs on GeneralComp {
f_funcScope();
if (cl_int == 0) { // component value
setverdict(pass);
} else {
setverdict(fail);
}
}
control {
execute(TC_Sem_050202_Uniqueness_002());
}
}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment