Frama-C:
Plug-ins:
Libraries:

Frama-C API - Observe

type 'a visitor = {
  1. neutral : 'a;
  2. combine : 'a -> 'a -> 'a;
  3. exp : Eva_ast_types.exp -> 'a;
  4. lval : Eva_ast_types.lval -> 'a;
  5. varinfo : Eva_ast_types.varinfo -> 'a;
  6. offset : Eva_ast_types.offset -> 'a;
}
type 'a observer = {
  1. observe_exp : visitor:'a visitor -> Eva_ast_types.exp -> 'a;
  2. observe_lval : visitor:'a visitor -> Eva_ast_types.lval -> 'a;
  3. observe_varinfo : visitor:'a visitor -> Eva_ast_types.varinfo -> 'a;
  4. observe_offset : visitor:'a visitor -> Eva_ast_types.offset -> 'a;
}
val default : 'a observer
val visit_exp : neutral:'a -> combine:('a -> 'a -> 'a) -> 'a observer -> Eva_ast_types.exp -> 'a
val visit_lval : neutral:'a -> combine:('a -> 'a -> 'a) -> 'a observer -> Eva_ast_types.lval -> 'a