From 5404041e9b6c6c8bba38c58e510327c129df4cc7 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 28 Jun 2009 13:49:32 -0400
Subject: Start of multi-DBMS support

---
 src/settings.sig | 25 +++++++++++++++++++++----
 1 file changed, 21 insertions(+), 4 deletions(-)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 8259e519..215839a1 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -27,6 +27,11 @@
 
 signature SETTINGS = sig
     
+    val setDebug : bool -> unit
+    val getDebug : unit -> bool
+                           
+    val clibFile : string -> string
+
     (* How do all application URLs begin? *)
     val setUrlPrefix : string -> unit
     val getUrlPrefix : unit -> string
@@ -92,13 +97,25 @@ signature SETTINGS = sig
         persistent : bool   (* Multiple requests per process? *)
     }
     val addProtocol : protocol -> unit
-    val getProtocol : string -> protocol option
     val setProtocol : string -> unit
     val currentProtocol : unit -> protocol
 
-    val setDebug : bool -> unit
-    val getDebug : unit -> bool
+    (* Different DBMSes *)
+    type dbms = {
+         name : string,
+         (* Call it this on the command line *)
+         header : string,
+         (* Include this C header file *)
+         link : string,
+         (* Pass these linker arguments *)
+         global_init : Print.PD.pp_desc,
+         (* Define uw_client_init() *)
+         init : string * (string * int) list -> Print.PD.pp_desc
+         (* Define uw_db_init() from dbstring and prepared statements *)
+    }
 
-    val clibFile : string -> string
+    val addDbms : dbms -> unit
+    val setDbms : string -> unit
+    val currentDbms : unit -> dbms
 
 end
-- 
cgit v1.2.3