now database interfaces are more abstract

[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.mli

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index fba3d4263388b9ab8eda2cad7eaa59b4e5238106..c57674cc2126ba583ee6836e6acca6dd4441f943 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -36,6 +36,10 @@ type handle
 val init      : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle
 val close     : handle -> unit
 val connected : handle -> bool
+val exec      : handle -> 
+                MQITypes.table -> MQITypes.columns ->
+                string MQITypes.con_true -> string MQITypes.con_false -> 
+               MQITypes.result * MQITypes.query
 
 val init_if_connected : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle
 
@@ -45,7 +49,6 @@ val init_if_connected : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> h
 
 val log     : handle -> string -> unit
 val set     : handle -> flag -> bool   
-val pgc     : handle -> MQIDataBase.connection option
 val flags   : handle -> flag list  
 val tables  : handle -> MathQL.path -> MQIMap.pg_tables
 val field   : handle -> MathQL.path -> string -> string