1. Several files in grafite that should be in grafite_parser moved there.

[helm.git] / helm / ocaml / grafite2 / grafiteMisc.mli

diff --git a/helm/ocaml/grafite2/grafiteMisc.mli b/helm/ocaml/grafite2/grafiteMisc.mli
index 9f1486b0b3ce8cedfe616c5e5f8442ed1ee7fbb9..833bb6360de768d0c05f35f19cac7c2209d9dd31 100644 (file)
--- a/helm/ocaml/grafite2/grafiteMisc.mli
+++ b/helm/ocaml/grafite2/grafiteMisc.mli
@@ -23,14 +23,5 @@
  * http://helm.cs.unibo.it/
  *)
 
-val baseuri_of_baseuri_decl :
- ('term, 'lazy_term, 'reduction, 'obj, 'ident) GrafiteAst.statement ->
-  string option
-
   (** check whether no objects are defined below a given baseuri *)
 val is_empty: string -> bool
-
-val baseuri_of_file : string -> string
-
-val obj_file_of_script : basedir:string -> string -> string
-val metadata_file_of_script : basedir:string -> string -> string