1 /******************************************************************************
2 * Copyright (c) 2000-2016 Ericsson Telecom AB
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
9 * Adrien Kirjak – initial implementation
12 ** @purpose 1:B.1.2.6, Ensure that the IUT correctly handles template matching of subset definition
13 ** @verdict pass reject
14 ***************************************************/
17 /*The individual members of the SuperSet's argument and the elements of the template in the all from clause
18 shall not be the matching mechanisms omit, SuperSet, SubSet and the matching attributes (length restriction
19 and ifpresent). In addition, the individual members shall not resolve to AnyValueOrNone and individual
20 elements of the template in the all from clause shall not resolve to AnyElementsOrNone or permutation.*/
22 module NegSem_B010206_superset_005 {
24 type set of integer SoI;
26 type port loopbackPort message {
28 } with {extension "internal"}
30 type component GeneralComp {
31 port loopbackPort messagePort
34 testcase TC_NegSem_B010206_superset_005() runs on GeneralComp {
36 var SoI v_testMessage;
38 template SoI Template := superset(1,2);
40 template SoI mw_matchingTemplate:= superset(all from Template); //error
44 connect(self:messagePort, self:messagePort);
45 messagePort.send(v_testMessage);
48 [] messagePort.receive(mw_matchingTemplate) {
51 [] messagePort.receive {
58 execute(TC_NegSem_B010206_superset_005());