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 */
12/* Test that we can parse a spec using the parameter type 'signed' */
13
14connector C {
15    from Procedure;
16    to Procedure;
17}
18
19procedure P {
20    void foo(in signed x);
21}
22
23component Foo {
24    control;
25    uses P p;
26}
27
28component Bar {
29    provides P p;
30}
31
32assembly {
33    composition {
34        component Foo foo;
35        component Bar bar;
36
37        connection C conn(from foo.p, to bar.p);
38    }
39}
40