/***************************************************
 ** @author   STF 548
 ** @version  0.0.1
 ** @purpose  1:B.1.2.6, Ensure that the IUT correctly handles template matching of superset definition
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/

 //Restriction g) Templates in SuperSet's argument shall obey the present template restriction

module Sem_B010206_superset_010 {

  	type set of charstring SoI;

    type port loopbackPort message {
	  inout SoI
	}


type component GeneralComp {
	  port loopbackPort messagePort
}

testcase TC_Sem_B010206_superset_010() runs on GeneralComp {

 var SoI v_testMessage;

 template SoI mw_matchingTemplate:= superset(pattern "[^a-z]", pattern "[^A-Z]");    //template is a set of charstrings


 v_testMessage:={"1","2"};

 messagePort.send(v_testMessage);

    alt {
     [] messagePort.receive(mw_matchingTemplate) {
        setverdict(pass);
     }
     [] messagePort.receive {
        setverdict(fail);
     }
    }
}

control{
    execute(TC_Sem_B010206_superset_010());
}

}
