/*****************************************************************
 ** @author   STF 521
 ** @version  0.0.1
 ** @purpose  1:8.2.1, Ensure that module parameters remain constant.
 ** @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_004 {


modulepar integer MY_INT := 2;

type component GeneralComp {
}

testcase TC_NegSem_080201_ModuleParameters_004() runs on GeneralComp {
    MY_INT := 3;    // not allowed to change module parameter
    if (MY_INT == 2) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_NegSem_080201_ModuleParameters_004());
}

}
