reordered modules for the module name checker script.

 ** @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_012_import {

    const integer repeatedIdentifier := 0; 	    

}

module NegSem_050202_Uniqueness_012 {

	import from NegSem_050202_Uniqueness_012_import {

		execute(TC_NegSem_050202_Uniqueness_012());

	}

}

module NegSem_050202_Uniqueness_012_import {

    const integer repeatedIdentifier := 0; 	    

}

 No newline at end of file

 ** @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_013_import {

    const integer c_integer := 0; 	    

}

module NegSem_050202_Uniqueness_013 {

	import from NegSem_050202_Uniqueness_013_import { const all; }

		execute(TC_NegSem_050202_Uniqueness_013());

	}

}

module NegSem_050202_Uniqueness_013_import {

    const integer c_integer := 0; 	    

}

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Sem_0505_cyclic_definitions_002_import { 

   import from Sem_0505_cyclic_definitions_002 { type MyInteger } 

   type record of MyInteger MyIntegerList; 

} 

module Sem_0505_cyclic_definitions_002 { 

   type integer MyInteger; 

   import from Sem_0505_cyclic_definitions_002_import { type MyIntegerList } 

}

}

module Sem_0505_cyclic_definitions_002_import { 

   import from Sem_0505_cyclic_definitions_002 { type MyInteger } 

   type record of MyInteger MyIntegerList; 

}