Coqide: opening non-existing files won't create them immediately anymore

 ... and many more code cleanup concerning file loading

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16034 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 12 insertions, 2 deletions

diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index 740a830e1..291c0c137 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -27,8 +27,6 @@ val find_tag_start : GText.tag -> GText.iter -> GText.iter
 val find_tag_stop : GText.tag -> GText.iter -> GText.iter
 val get_insert : < get_iter_at_mark : [> `INSERT] -> 'a; .. > -> 'a
 
-val my_stat : string -> Unix.stats option
-
 val print_id : 'a -> unit
 
 val select_file_for_open : title:string -> unit -> string option
@@ -68,3 +66,15 @@ val textview_width : #GText.view -> int
 
 val default_logger : Interface.message_level -> string -> unit
 (** Default logger. It logs messages that the casual user should not see. *)
+
+(** {6 File operations} *)
+
+(** A customized [stat] function. Exceptions are catched. *)
+
+type stats = MTime of float | NoSuchFile | OtherError
+val stat : string -> stats
+
+(** Read the content of file [f] and add it to buffer [b].
+    I/O Exceptions are propagated. *)
+
+val read_file : string -> Buffer.t -> unit