/***************************************************
 ** @author   STF 470
 ** @version  0.0.1
 ** @purpose  1:B.1.3.3, Ensure that all from operand can be a record of or set of only
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// Besides specifying all individual values, it is possible to add all elements of
// a record of or set of template into permutations using an all from clause.

module NegSem_B010303_permutation_002 {

	type record of integer RoI;
	template integer t_source := 2;
	// t_source is not a record of or set of -> an error expected
	template RoI t_perm1 := { permutation ( 5, all from t_source ) };

	type component GeneralComp {
	}

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

	control{
	    execute(TC_NegSem_B010303_permutation_002());
	}

}

