aboutsummaryrefslogtreecommitdiffstats
path: root/lib/ic/examples/pre_post_condition/ex.idl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ic/examples/pre_post_condition/ex.idl')
-rw-r--r--lib/ic/examples/pre_post_condition/ex.idl29
1 files changed, 29 insertions, 0 deletions
diff --git a/lib/ic/examples/pre_post_condition/ex.idl b/lib/ic/examples/pre_post_condition/ex.idl
new file mode 100644
index 0000000000..e632448cc5
--- /dev/null
+++ b/lib/ic/examples/pre_post_condition/ex.idl
@@ -0,0 +1,29 @@
+// ``The contents of this file are subject to the Erlang Public License,
+// Version 1.1, (the "License"); you may not use this file except in
+// compliance with the License. You should have received a copy of the
+// Erlang Public License along with this software. If not, it can be
+// retrieved via the world wide web at http://www.erlang.org/.
+//
+// Software distributed under the License is distributed on an "AS IS"
+// basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+// the License for the specific language governing rights and limitations
+// under the License.
+//
+// The Initial Developer of the Original Code is Ericsson Utvecklings AB.
+// Portions created by Ericsson are Copyright 1999, Ericsson Utvecklings
+// AB. All Rights Reserved.''
+//
+// $Id$
+//
+
+module m {
+
+ exception NotAnInteger {};
+
+ interface i {
+ short f(in short i);
+ oneway void g(in long i);
+ };
+
+};
+