/*****************************************************************
 ** @author   STF 470 (updated by STF 521)
 ** @version  0.0.2
 ** @purpose  1:15.11, Ensure that concatenations of record of charstrings work when parameterized.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_015 {

type component GeneralComp { }

type record of charstring RecOfChar;

template RecOfChar m_myRec_par(integer p_num) := {"ABC"} & ? & * length(p_num) & {"EF"};

testcase TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_015() runs on GeneralComp {
    var integer v_int := 3;
    var template RecOfChar v_recofChar;
    v_recofChar :={ "ABC" } & { "Z" } & { "Z" } & { "Z" } & { "EF" };

    if (match(valueof(v_recofChar), m_myRec_par(2))) {
        setverdict(pass);
    } else {
        setverdict(fail);
    }

}

control{
    execute(TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_015());
}

}