/*****************************************************************
 ** @author   STF 521
 ** @version  0.0.1
 ** @purpose  1:8.2.1, Ensure that a port, default or component types cannot be module parameters.
 ** @verdict  pass reject
 *****************************************************************/
// The following requirements are tested:
/* Restriction B: Module parameters shall not be of port type,
 * default type or component type and shall not be of a structured type that contains a sub-element of
 * port type at any level of nesting.*/

module NegSem_080201_ModuleParameters_001 {

   type port MyMessagePortType message
	{
		in		integer;
		out		integer;
		inout 	integer
	}

modulepar MyMessagePortType MY_PORT;    // not allowed

type component GeneralComp {
}

testcase TC_NegSem_080201_ModuleParameters_001() runs on GeneralComp {
	if (MY_PORT) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_NegSem_080201_ModuleParameters_001());
}

}
