Changeset 619 for Deliverables/D2.2/8051/src/languages.mli
- Timestamp:
- Mar 2, 2011, 3:27:41 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/languages.mli
r486 r619 61 61 val labelize : ast -> ast 62 62 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 *) 66 val annotate : ast -> ast -> (ast * string) 66 67 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. *) 72 val interpret : bool -> ast -> AST.trace 70 73 71 74 (** {2 Serialization} *) 72 75 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. *) 80 val 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. *) 85 val save_cost_incr : string -> string -> unit 77 86 78 87 (** [from_string s] parses [s] as an intermediate language name. *)
Note: See TracChangeset
for help on using the changeset viewer.