package mopsa

Operators

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

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

type operator += O_eq

adds a new constructor for an equality operator.

After adding the new variant, register it by declaring a compare and a print function:

let () = register_operator {
    compare = (fun next o1 o2 ->
        match o1, o2 with
        | O_eq, O_eq -> 0
        | _          -> next o1 o2
      );
    print = (fun next -> function
        | O_eq -> Format.pp_print_string fmt "=="
        | _    -> next fmt o
      );
  }

Note that the comparison function can be reduced in this cast to compare = (fun next -> next) because the operator O_eq doesn't have a structure and the pervasive compare used by default is sufficient.

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

Registration

Some common operators