stringify.mli 555 B

123456789101112131415
  1. (** Stringification functions for AST elements. *)
  2. (** Stringify an AST node (e.g. ["int a;"] for a [VarDec] node).
  3. [Block] node stringifications are multi-line, their contents are indented
  4. with four spaces for each nesting level. *)
  5. val node2str : Types.node -> string
  6. (** Stringify a CiviC type (e.g. ["bool"] or ["int"]). *)
  7. val type2str : Types.ctype -> string
  8. (** Stringify a constant value (e.g. ["1"] or ["1.0"]). *)
  9. val const2str : Types.const -> string
  10. (** Stringify an operator (e.g. ["+"]). *)
  11. val op2str : Types.operator -> string