package mopsa

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