Frama-C:
Plug-ins:
Libraries:

Frama-C API - UntypedFiles

val get : unit -> Cabs.file list

The list of untyped AST that have been parsed.

  • raises NoUntypedAst

    if no untyped AST is available. This is in particular the case for projects obtained by code transformation from original C files.

val set : Cabs.file list -> unit

Should not be used by casual users.

val self : State.t