1/* 2 * Copyright 2017, Data61 3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 * ABN 41 687 119 230. 5 * 6 * This software may be distributed and modified according to the terms of 7 * the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 * See "LICENSE_BSD2.txt" for details. 9 * 10 * @TAG(DATA61_BSD) 11 */ 12procedure P { 13 void foo(in int x, out string x); 14} 15 16connector C { 17 from Procedure; 18 to Procedure; 19} 20 21component A { 22 uses P p; 23} 24 25component B { 26 provides P p; 27} 28 29assembly { 30 composition { 31 component A a; 32 component B b; 33 connection C conn(from a.p, to b.p); 34 } 35} 36