add code for dcl module caching using the IDE

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@501 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 20 insertions, 0 deletions

diff --git a/main/Windows/thread_message.dcl b/main/Windows/thread_message.dcl
new file mode 100644
index 0000000..04bc56e
--- /dev/null
+++ b/main/Windows/thread_message.dcl
@@ -0,0 +1,20 @@
+definition module thread_message;
+//1.3
+from StdString import String;
+//3.1
+get_message_number :: Int;
+// int get_message_number ();
+get_current_thread_id :: Int;
+// int get_current_thread_id ();
+start_compiler_process :: !String !String !String -> (!Int,!Int,!Int,!Int);
+// int start_compiler_process (CleanString compiler_path,CleanString compiler_directory,CleanString command,int* compiler_thread_id_p,int* compiler_thread_handle_p,int* process_handle_p);
+send_string_to_thread :: !Int !Int !Int !String -> Int;
+// int send_string_to_thread (int thread_id,int thread_handle,int wm_number,CleanString s);
+send_integers_to_thread :: !Int !Int !Int !Int -> Int;
+// int send_integers_to_thread (int thread_id,int wm_number,int i1,int i2);
+get_integers_from_message :: !Int -> (!Int,!Int,!Int);
+// int get_integers_from_message (int wm_number,int* i1_p,int* i2_p);
+get_integers_from_thread_message :: !Int !Int -> (!Int,!Int,!Int);
+// int get_integers_from_thread_message (int wm_number,int thread_handle,int* i1_p,int* i2_p);
+get_string_from_file_map_and_delete_map :: !Int !String -> Int;
+// int get_string_from_file_map_and_delete_map (int file_map,CleanString s);