conformance_test/positive_tests/09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_003.ttcn

   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:9, Ensure that it is not possible to connect a port with two other ports owned by the same component
  13  ** @verdict  pass reject
  14  ** @configuration  port:broadcast
  15  ***************************************************/
  16
  17 /*NOTE: see Figure 7(a): MyCompA has 3 ports and A2 shall not be connected to A1 and A3 both
  18  * */
  19
  20 module NegSem_0901_Communication_ports_003{
  21
  22         type charstring address;
  23
  24     type port IntegerInputPortType message {
  25           inout integer
  26         } with {extension "internal"}
  27
  28         type component MycompA {         // MyCompA has 3 ports
  29                   port IntegerInputPortType messagePortA1,messagePortA2,messagePortA3
  30         }
  31
  32         testcase TC_NegSem_0901_Communication_ports_003() runs on MycompA {
  33
  34                 connect(mtc:messagePortA1,mtc:messagePortA2);
  35                 connect(mtc:messagePortA2,mtc:messagePortA3); // Error: this is not allowed
  36         }
  37
  38         control{
  39                 execute(TC_NegSem_0901_Communication_ports_003());
  40         }
  41
  42 }