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:19.7, Ensure that the IUT correctly handles label syntax.
13 ** @verdict pass reject
14 *****************************************************************/
16 module NegSyn_1907_label_statement_002 {
19 type record MessageType {
24 type port loopbackPort message {
26 } with {extension "internal"}
28 type component GeneralComp {
29 port loopbackPort messagePort
32 function f_test ( integer p_integer := 0 ) runs on GeneralComp return integer {
38 altstep AltSet1() runs on GeneralComp {
39 var integer v_LocalVar := f_test(); // local variable
41 label L_wrong; //wrong label on the altstep toplevel
43 [] messagePort.receive {
51 testcase TC_NegSyn_1907_label_statement_002 () runs on GeneralComp {
52 var MessageType v_testMessage;
57 field2 := "test string"
60 connect(self:messagePort,self:messagePort);
62 messagePort.send(v_testMessage);
68 [] messagePort.receive {
81 execute(TC_NegSyn_1907_label_statement_002());