Commit | Line | Data |
---|---|---|
4e4a3e2c AK |
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 | |
7 | * | |
8 | * Contributors: | |
9 | * Adrien Kirjak – initial implementation | |
10 | * | |
11 | ** @version 0.0.1 | |
12 | ** @purpose 1:22.3.3, Ensure that reply operations are only used on procedure based ports | |
13 | ** @verdict pass reject | |
14 | ***************************************************/ | |
15 | ||
16 | module NegSem_220303_ReplyOperation_001 { | |
17 | ||
18 | type port loopbackPort message { | |
19 | inout integer | |
20 | } with {extension "internal"} | |
21 | ||
22 | ||
23 | type component GeneralComp { | |
24 | port loopbackPort messagePort | |
25 | } | |
26 | ||
27 | testcase TC_NegSem_220303_ReplyOperation_001() runs on GeneralComp { | |
28 | ||
29 | connect(self:messagePort, self:messagePort); | |
30 | ||
31 | messagePort.send(2); | |
32 | ||
33 | alt { | |
34 | [] messagePort.receive(2) { | |
35 | messagePort.reply(3); //cannot use reply on a message based port | |
36 | setverdict(pass); | |
37 | } | |
38 | [] messagePort.receive { | |
39 | setverdict(fail); | |
40 | } | |
41 | } | |
42 | } | |
43 | ||
44 | control{ | |
45 | execute(TC_NegSem_220303_ReplyOperation_001()); | |
46 | } | |
47 | ||
48 | } |