Ast.UntypedFiles - Frama-C Kernel

The list of untyped AST that have been parsed.
Raises

Bad_Initialization if neither File.init_from_c_files nor File.init_project_from_cil_file nor File.init_from_cmdline was called before.
NoUntypedAst if no untyped AST is available. This is in particular the case for projects obtained by code transformation from original C files.

Change in Nitrogen-20111001: raise NoUntypedAst

Module Ast.UntypedFiles