1 files changed, 62 insertions, 0 deletions
diff --git a/tests/good/directions.defs b/tests/good/directions.defs
new file mode 100644
index 0000000..37c5767
--- /dev/null
+++ b/tests/good/directions.defs
@@ -0,0 +1,62 @@
+/*
+   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 char = MACH_MSG_TYPE_BYTE;
+type int = MACH_MSG_TYPE_INTEGER_32;
+
+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);