/***************************************************
 ** @author   STF 470
 ** @version  0.0.1
 ** @purpose  1:B.1.3.3, Verify restriction on individual members of all from operand in permutation
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// The template in the all from clause as a whole shall not resolve into a matching
// mechanism

module NegSem_B010303_permutation_005 {

	type record of integer RoI;

	template RoI t_source := ?;
	// The source template resolves to a matching mechanism. It should cause an error.
	template RoI t_perm1 := { permutation ( all from t_source, 2 ) };


	type component GeneralComp {
	}

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

	control{
	    execute(TC_NegSem_B010303_permutation_005());
	}

}
