summaryrefslogtreecommitdiffstats
path: root/win32caml/inria.h
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2004-06-17 07:33:45 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2004-06-17 07:33:45 +0000
commit8e391de7cfcbac0a5ea0213b4eb70ebbb64988e9 (patch)
tree17ceee9990d940777ca481c88ce81571b0e3bfe1 /win32caml/inria.h
parentfae0bc9d9ba0359d0f3d26325762e93a8e63c209 (diff)
Merge de OCamlWinPlus (Christopher Watford)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'win32caml/inria.h')
-rw-r--r--win32caml/inria.h33
1 files changed, 22 insertions, 11 deletions
diff --git a/win32caml/inria.h b/win32caml/inria.h
index afa252404..13949d52d 100644
--- a/win32caml/inria.h
+++ b/win32caml/inria.h
@@ -56,8 +56,12 @@
something in the pipe. This is enough for most
applications.
------------------------------------------------------------------------*/
+#ifndef _INRIA_H_
+#define _INRIA_H_
#include <windows.h>
+#include "editbuffer.h"
+#include "history.h"
// In this structure should go eventually all global variables scattered
// through the program.
@@ -90,26 +94,33 @@ void HandleCommand(HWND hwnd, WPARAM wParam,LPARAM lParam);
int GetOcamlPath(void); // Finds where ocaml.exe is
void ForceRepaint(void); // Ditto.
void AddLineToControl(char *buf);
+void AddStringToControl(char* buf);
char *GetHistoryLine(int n); // Gets the nth history line base 1.
int StartOcaml(void);
+void InterruptOcaml(void);
+int ResetText(void);
+BOOL SendingFullCommand(void);
+void RewriteCurrentEditBuffer(void);
+void RefreshCurrentEditBuffer(void);
+
// **************** User defined window messages *************
-#define WM_NEWLINE (WM_USER+6000)
-#define WM_TIMERTICK (WM_USER+6001)
-#define WM_QUITOCAML (WM_USER+6002)
+#define WM_NEWLINE (WM_USER+6000)
+#define WM_TIMERTICK (WM_USER+6001)
+#define WM_QUITOCAML (WM_USER+6002)
+#define WM_SYNTAXERROR (WM_USER+6003)
+#define WM_UNBOUNDVAL (WM_USER+6004)
+#define WM_ILLEGALCHAR (WM_USER+6005)
+
// ********************** Structures ***********************
typedef struct tagPosition {
int line;
int col;
} POSITION;
-// Simple linked list for holding the history lines
-typedef struct tagHistory {
- struct tagHistory *Next;
- char *Text;
-} HISTORYLINE;
-
extern void *SafeMalloc(int);
-extern HISTORYLINE *History; // The root of the history lines
+extern StatementHistory *History; // The root of the history lines
+extern StatementHistory *HistoryTail; // The tail of the history lines
+extern EditBuffer *CurrentEditBuffer; // current edit buffer
#define IDEDITCONTROL 15432
-
+#endif