Commit 172d69cf authored by stancakapost's avatar stancakapost
Browse files

fixed module names

parent c614bdba
Loading
Loading
Loading
Loading
+10 −12
Original line number Diff line number Diff line
@@ -4,17 +4,15 @@
 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_050202_Scope_001 {

module NegSem_050202_Uniqueness_001 {
	type component GeneralComp {
		const integer cl_int := 0;
	}

testcase TC_Sem_0502_Scope_001() runs on GeneralComp {
	testcase TC_NegSem_050202_Uniqueness_001() runs on GeneralComp {
		const integer cl_int := 0;
	}

	control {
    execute(TC_Sem_050202_Scope_001());
		execute(TC_NegSem_050202_Uniqueness_001());
	}
}
+22 −0
Original line number Diff line number Diff line
@@ -4,21 +4,19 @@
 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_050202_Scope_003 {

module NegSem_050202_Uniqueness_002 {
	type component GeneralComp {
		const integer cl_int := 0;
	}

	function f_funcScope() {
		const integer cl_int := 0;
	}

testcase TC_Sem_0502_Scope_003() runs on GeneralComp {
    const integer cl_int := 0;
	testcase TC_NegSem_050202_Uniqueness_002() runs on GeneralComp {
		f_funcScope();
	}

	control {
    execute(TC_Sem_050202_Scope_003());
		execute(TC_NegSem_050202_Uniqueness_002());
	}
}
+22 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev: 20 $
 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
 ** @verdict  pass reject
 ***************************************************/
module NegSem_050202_Uniqueness_003 {
	type component GeneralComp {
	}

	function f_funcScope() {
		const integer cl_int := 0;
	}

	testcase TC_NegSem_050202_Uniqueness_003() runs on GeneralComp {
		const integer cl_int := 0;
		f_funcScope();
	}
	control {
		execute(TC_NegSem_050202_Uniqueness_003());
	}
}
+22 −0
Original line number Diff line number Diff line
@@ -4,21 +4,19 @@
 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_050202_Scope_002 {
module NegSem_050202_Uniqueness_004 {
	const integer c_int := 0;

	type component GeneralComp {
    const integer cl_int := 0;
	}

function f_funcScope() {
    const integer cl_int := 0; 	    
}
	function f_funcScope() {}

testcase TC_Sem_0502_Scope_002() runs on GeneralComp {
	testcase TC_NegSem_050202_Uniqueness_004() runs on GeneralComp {
		const integer c_int := 0;
		f_funcScope();
	}

	control {
    execute(TC_Sem_050202_Scope_002());
		execute(TC_NegSem_050202_Uniqueness_004());
	}
}
+23 −0
Original line number Diff line number Diff line
@@ -4,21 +4,20 @@
 ** @purpose  1:5.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
 ** @verdict  pass reject
 ***************************************************/
module Sem_050202_Scope_004 {
module NegSem_050202_Uniqueness_005 {
	const integer c_int := 0;

	type component GeneralComp {
	}

	function f_funcScope() {
		const integer c_int := 0;
	}

testcase TC_Sem_0502_Scope_004() runs on GeneralComp {
    const integer c_int := 0;
	testcase TC_Sem_0502_Scope_005() runs on GeneralComp {
		f_funcScope();
	}

	control {
    execute(TC_Sem_050202_Scope_004());
		execute(TC_NegSem_050202_Uniqueness_005());
	}
}
Loading