/*****************************************************************
 ** @author   STF 470
 ** @version  0.0.1
 ** @purpose  1:8.2.3.1, Verify that identifiers of component types (system) are not imported together with test cases
 ** @verdict  pass reject
 *****************************************************************/

// The following requirements are tested:
// The TTCN-3 import mechanism distinguishes between the identifier of a referenced
// definition and the information necessary for the usage of a referenced definition
// within the imported definition. For the usage, the identifier of a referenced
// definition is not required and therefore not imported automatically.
// Table 8:
// Possible referenced definitions for a test case: component types (system)

module NegSem_08020301_GeneralFormatOfImport_037 {
import from NegSem_08020301_GeneralFormatOfImport_037_import { testcase TC_01 };
	// C2 should be undefined, because it is not automatically imported
	testcase TC_02() runs on C2 { }
}

module NegSem_08020301_GeneralFormatOfImport_037_import {
	type component C1 {};
	type component C2 {};
	testcase TC_01() runs on C1 system C2 {
	}
}