summaryrefslogtreecommitdiff
path: root/tests/good/directions.defs
blob: daae67810a5bd6e0985da0adee9e70488951909f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
/*
   Copyright (C) 2016 Free Software Foundation, Inc.

   This file is part of GNU MIG.

   GNU MIG is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License as
   published by the Free Software Foundation; either version 2, or (at
   your option) any later version.

   GNU MIG is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with GNU MIG.  If not, see <http://www.gnu.org/licenses/>.  */

/* Tests arguments with different directions.  */
subsystem directions 100;

type mach_port_t = MACH_MSG_TYPE_COPY_SEND;
type mach_port_array_t = array[] of mach_port_t;

routine callinout(port : mach_port_t;
                  in n : int;
                  out result : int);

routine multiplein(port : mach_port_t;
                   in n1 : int;
                   in n2 : int;
                   in n3 : int;
                   out result : int);

routine multipleout(port : mach_port_t;
                    in n : int;
                    out result1 : int;
                    out result2 : int;
                    out result3 : int);

routine serverreplyport(port : mach_port_t;
                        sreplyport server_port : mach_port_t;
                        in n : int;
                        out result : int);

routine userreplyport(port : mach_port_t;
                      ureplyport user_port : mach_port_t;
                      out result : int);

routine myrequestport(requestport port : mach_port_t;
                      new_port : mach_port_t);

routine singleinandout(port : mach_port_t;
                       inout n : int);

routine multipleinandout(port : mach_port_t;
                         inout n1 : int;
                         inout n2 : int;
                         out result : int);