/*****************************************************************
 ** @author   STF 470
 ** @version  0.0.1
 ** @purpose  1:8.2.3.1, Make sure that it is possible to use module prefix for local definitions
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

// The following requirements are tested:
// When the definition is referenced in the same module where it is defined, the
// module identifier of the module (the current module) also may be used for prefixing
// the identifier of the definition.

module Sem_08020301_GeneralFormatOfImport_005 {

type component GeneralComp {}
const integer c_test := 5;

testcase TC_Sem_08020301_GeneralFormatOfImport_005() runs on GeneralComp {
	log(Sem_08020301_GeneralFormatOfImport_005.c_test);
	setverdict(pass);
}

control{
    execute(TC_Sem_08020301_GeneralFormatOfImport_005());
}
}