package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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
OCaml

Innovation. Community. Security.