Changeset 619 for Deliverables/D2.2/8051/src/languages.mli

Timestamp:

Mar 2, 2011, 3:27:41 PM (10 years ago)

Author:

ayache

Message:

Update of D2.2 from Paris.

File:

• Deliverables/D2.2/8051/src/languages.mli (modified) (1 diff)

Deliverables/D2.2/8051/src/languages.mli

@@ -61 +61 @@
 val labelize : ast -> ast
 
-(** [annotate input_ast target_ast] inserts cost annotations into the
-    input AST from the (final) target AST. *)
-val annotate : ast -> ast -> ast
+(** [annotate input_ast target_ast] inserts cost annotations into the input AST
+    from the (final) target AST. It also returns the name of the cost increment
+    function *)
+val annotate : ast -> ast -> (ast * string)
 
-(** [interpret ast] runs the program [ast] from the default initial
-    configuration. This interpretation may emit some cost labels. *)
-val interpret : ast -> CostLabel.t list
+(** [interpret print_result ast] runs the program [ast] from the default initial
+    configuration. This interpretation may emit some cost labels. If
+    [print_result] is [true], then the result of the interpretations is
+    output. *)
+val interpret : bool -> ast -> AST.trace
 
 (** {2 Serialization} *)
 
-(** [save filename input_ast] pretty prints [input_ast] in a fresh
-    file whose name is prefixed by [filename] and whose extension
-    is deduced from the language of the AST. *)
-val save : string -> ast -> unit
+(** [save exact_output filename input_ast] pretty prints [input_ast] in a file
+    whose name is prefixed by [filename] and whose extension is deduced from the
+    language of the AST. If [exact_output] is false then the written file will
+    be fresh. *)
+val save : bool -> string -> ast -> unit
+
+(** [save_cost_incr filename cost_incr] prints the name of the cost increment
+    function [cost_incr] in the file prefixed by [filename] and extended with
+    ".cost". If the file already exists, it is overwritten. *)
+val save_cost_incr : string -> string -> unit
 
 (** [from_string s] parses [s] as an intermediate language name. *)