package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Operations on cil function.

val formal_args : Cil_types.varinfo -> (string * Cil_types.typ * Cil_types.attributes) list

Returns the list of the named formal arguments of a function. Never call on a variable of non functional type.

val is_formal : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_local : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_formal_or_local : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_formal_of_prototype : Cil_types.varinfo -> Cil_types.varinfo -> bool

is_formal_of_prototype v f returns true iff f is a prototype and v is one of its formal parameters.

val is_definition : Cil_types.cil_function -> bool
val get_name : Cil_types.cil_function -> string
val get_id : Cil_types.cil_function -> int