From 4beef8d7eac23c6015d2d4cf887e4fc9d546c07a Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Fri, 4 Apr 2003 10:14:44 +0000 Subject: [PATCH] * added .mli file for the editor --- helm/DEVEL/mathml_editor/ocaml/.depend | 5 +- helm/DEVEL/mathml_editor/ocaml/Makefile.am | 6 +-- .../mathml_editor/ocaml/mathml_editor.mli | 49 +++++++++++++++++++ 3 files changed, 55 insertions(+), 5 deletions(-) create mode 100644 helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli diff --git a/helm/DEVEL/mathml_editor/ocaml/.depend b/helm/DEVEL/mathml_editor/ocaml/.depend index 6da802c7e..ceb7476a9 100644 --- a/helm/DEVEL/mathml_editor/ocaml/.depend +++ b/helm/DEVEL/mathml_editor/ocaml/.depend @@ -1,2 +1,3 @@ -mathml_editor.cmo: i_mathml_editor.cmo -mathml_editor.cmx: i_mathml_editor.cmx +mathml_editor.cmo: i_mathml_editor.cmo mathml_editor.cmi +mathml_editor.cmx: i_mathml_editor.cmx mathml_editor.cmi +mathml_editor.cmi: i_mathml_editor.cmo diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am index 450d61ab0..14cd3934c 100644 --- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am +++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am @@ -26,11 +26,11 @@ LO_S = $(O_S:%.o=%.lo) SHARED_LIBS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) -lmlgdome2-xslt -lmlgdome -lstdc++ -L$(top_builddir)/src/.libs/ -leditex BYTE_STUFF = i_mathml_editor.cmi mathml_editor.cmi $(ARCHIVE).cma $(DLL) lib$(ARCHIVE).a NATIVE_STUFF = $(ARCHIVE).cmxa $(ARCHIVE).a -BYTE_INSTALL_STUFF = $(BYTE_STUFF) META +BYTE_INSTALL_STUFF = $(BYTE_STUFF) META mathml_editor.mli NATIVE_INSTALL_STUFF = $(NATIVE_STUFF) EXTRA_DIST = \ - META.in mathml_editor.ml i_mathml_editor.ml \ + META.in mathml_editor.ml mathml_editor.mli i_mathml_editor.ml \ c_mathml_editor.h .depend if HAVE_OCAMLOPT_COND @@ -92,6 +92,6 @@ i_mathml_editor.cmx: i_mathml_editor.ml $(OCAMLOPT) -c $< depend: *.ml - $(OCAMLDEP) *.ml >.depend + $(OCAMLDEP) *.ml *.mli >.depend include .depend diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli new file mode 100644 index 000000000..f215561f5 --- /dev/null +++ b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli @@ -0,0 +1,49 @@ +(* This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax. + * + * Copyright (C) 2002-2003 Luca Padovani , + * 2003 Paolo Marinelli . + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * + * For more information, please visit the project's home page + * http://helm.cs.unibo.it/editex/ + * or send an email to + *) + +val default_dictionary_path : string +val default_mathml_stylesheet_path : string +val default_tex_stylesheet_path : string + +val create : + dictionary:< as_Document : [> `Document] GdomeT.t; .. > -> + mml:< as_Document : [> `Document] GdomeT.t; .. > -> + tml:< as_Document : [> `Document] GdomeT.t; .. > -> + log:(int -> string -> unit) -> I_mathml_editor.t + +val freeze : editor:I_mathml_editor.t -> bool +val thaw : editor:I_mathml_editor.t -> bool + +val reset : editor:I_mathml_editor.t -> unit +val push : editor:I_mathml_editor.t -> ch:char -> unit +val drop : editor:I_mathml_editor.t -> alt:bool -> unit + +val cursor_hide : editor:I_mathml_editor.t -> unit +val cursor_show : editor:I_mathml_editor.t -> unit + +val get_tex : editor:I_mathml_editor.t -> string +val get_tml : editor:I_mathml_editor.t -> Gdome.document +val get_mml : editor:I_mathml_editor.t -> Gdome.document + -- 2.39.2