/***************************************************
 ** @author   STF 470
 ** @version  0.0.1
 ** @purpose  1:B.1.3.3, Ensure that type restriction for permutation elements is applied
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// Each individual member listed in the permutation shall be of the type replicated
// by the record of type.

module NegSem_B010303_permutation_003 {

	type record of integer RoI;

	template RoI t_perm1 := { permutation ( 5, 2.0 ) }; // float value is not compatible


	type component GeneralComp {
	}

	testcase TC_NegSem_B010303_permutation_003() runs on GeneralComp {
		if (match({ 2, 5 }, t_perm1)) {
			setverdict(pass);
		} else {
			setverdict(fail);
		}
	}

	control{
	    execute(TC_NegSem_B010303_permutation_003());
	}

}
