Module Ast.ConstantSource

Constant

This module allows adding new constants to the extensible Mopsa AST.

To add a new constant, first extend type constant with a new variant constructor. For instance,

  type constant += C_int of int

adds a new constructor for integer constants.

The new constant needs to be registered by declaring a comparison and pretty-printing functions. For the previous example, the registration is as follows:

  let () = register_constant {
      compare = (fun next c1 c2 ->
          match c1, c2 with
          | C_int n1, C_int n2 -> compare n1 n2
          | _ -> next n1 n2
        );
      print = (fun next fmt c ->
          match c with
          | C_int n -> Format.pp_print_int fmt n
          | _ -> next fmt c
        );
    }

Any registered constant can be compared and printed with functions compare_constant and pp_constant.

Registration

Common constants