Frama-C:
Plug-ins:
Libraries:

Frama-C API - Logic_aggr

Utilities function for aggregate types.

  • returns

    the content of the array type if ty is an array, or None otherwise.

type t =
  1. | StructOrUnion
  2. | Array
  3. | NotAggregate

Represent the different types of aggregations.

get_t ty returns Array if ty is an array type, StructOrUnion if ty is a struct or an union type and NotAggregate otherwise.