Frama-C:
Plug-ins:
Libraries:

Frama-C API - Get

Get operations on behaviors, allows to get the representative of an AST element in the current state of the visitor.

Get.ast_element vis e with e of type ast_element gets the representative of e in vis. For example for Cil_types.varinfo: Get.varinfo vis vi.

  • since 20.0-Calcium