From b5157a829d40fca5c4db74fbc036da58e11ccccf Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 19 Apr 2002 14:36:24 +0000
Subject: docommand.h

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1074 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backendC/CleanCompilerSources/docommand.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 backendC/CleanCompilerSources/docommand.h

(limited to 'backendC')

diff --git a/backendC/CleanCompilerSources/docommand.h b/backendC/CleanCompilerSources/docommand.h
new file mode 100644
index 0000000..af05aa0
--- /dev/null
+++ b/backendC/CleanCompilerSources/docommand.h
@@ -0,0 +1,12 @@
+#pragma export on
+
+Clean (:: *DoCommandEnvironment :== Int)
+/* Clean (DoCommand command :== DoCommandNullTerminated (command +++ "\0")) */
+
+Clean (DoCommandNullTerminated :: String DoCommandEnvironment -> (Int, DoCommandEnvironment))
+
+/* functions */
+int DoCommandNullTerminated (CleanString command);
+Clean (DoCommandNullTerminated :: String DoCommandEnvironment -> (Int, DoCommandEnvironment))
+
+#pragma export off
-- 
cgit v1.2.3