Frama-C:
Plug-ins:
Libraries:

Frama-C API - Get_orig

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

Get_orig.ast_element vis new_e with new_e of type ast_element gets the original representative of new_e in vis. For example for Cil_types.varinfo: Get_orig.varinfo vis new_vi.

  • since 20.0-Calcium