Newer
Older
/***************************************************
** @author STF 487
** @version 0.0.1
** @purpose 1:5.4.1.2, verify that default template instance of template formal parameters cannot reference component elements
** @verdict pass reject
***************************************************/
// The following requirement is tested:
// Restriction e)
// The template instance shall not refer to elements of the component type in a runs on clause.
module NegSem_05040102_parameters_of_kind_template_008 language "TTCN-3:2016" {
type component GeneralComp {
var template integer vc_int := ?;
}
function f(in template integer p_int := vc_int) runs on GeneralComp {
}
testcase TC_NegSem_05040102_parameters_of_kind_template_008() runs on GeneralComp {
f();
setverdict(pass);
}
control{
execute(TC_NegSem_05040102_parameters_of_kind_template_008());
}
}