Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/languages.mli

    r486 r619  
    6161val labelize : ast -> ast
    6262
    63 (** [annotate input_ast target_ast] inserts cost annotations into the
    64     input AST from the (final) target AST. *)
    65 val annotate : ast -> ast -> ast
     63(** [annotate input_ast target_ast] inserts cost annotations into the input AST
     64    from the (final) target AST. It also returns the name of the cost increment
     65    function *)
     66val annotate : ast -> ast -> (ast * string)
    6667
    67 (** [interpret ast] runs the program [ast] from the default initial
    68     configuration. This interpretation may emit some cost labels. *)
    69 val interpret : ast -> CostLabel.t list
     68(** [interpret print_result ast] runs the program [ast] from the default initial
     69    configuration. This interpretation may emit some cost labels. If
     70    [print_result] is [true], then the result of the interpretations is
     71    output. *)
     72val interpret : bool -> ast -> AST.trace
    7073
    7174(** {2 Serialization} *)
    7275
    73 (** [save filename input_ast] pretty prints [input_ast] in a fresh
    74     file whose name is prefixed by [filename] and whose extension
    75     is deduced from the language of the AST. *)
    76 val save : string -> ast -> unit
     76(** [save exact_output filename input_ast] pretty prints [input_ast] in a file
     77    whose name is prefixed by [filename] and whose extension is deduced from the
     78    language of the AST. If [exact_output] is false then the written file will
     79    be fresh. *)
     80val save : bool -> string -> ast -> unit
     81
     82(** [save_cost_incr filename cost_incr] prints the name of the cost increment
     83    function [cost_incr] in the file prefixed by [filename] and extended with
     84    ".cost". If the file already exists, it is overwritten. *)
     85val save_cost_incr : string -> string -> unit
    7786
    7887(** [from_string s] parses [s] as an intermediate language name. *)
Note: See TracChangeset for help on using the changeset viewer.