From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Cfg.html | 69 ---------------------------------------------------- 1 file changed, 69 deletions(-) delete mode 100644 cil/doc/api/Cfg.html (limited to 'cil/doc/api/Cfg.html') diff --git a/cil/doc/api/Cfg.html b/cil/doc/api/Cfg.html deleted file mode 100644 index 142de8ae..00000000 --- a/cil/doc/api/Cfg.html +++ /dev/null @@ -1,69 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Cfg - - - -

Module Cfg

-
-

module Cfg: sig .. end

Code to compute the control-flow graph of a function or file. - This will fill in the preds and succs fields of Cil.stmt -

- - This is required for several other extensions, such as Dataflow.
-

val computeFileCFG : Cil.file -> unit

-Compute the CFG for an entire file, by calling cfgFun on each function.
-

val clearFileCFG : Cil.file -> unit

-clear the sid, succs, and preds fields of each statement.
-

val cfgFun : Cil.fundec -> int

-Compute a control flow graph for fd. Stmts in fd have preds and succs - filled in
-

val clearCFGinfo : Cil.fundec -> unit

-clear the sid, succs, and preds fields of each statment in a function
-

val printCfgChannel : Pervasives.out_channel -> Cil.fundec -> unit

-print control flow graph (in dot form) for fundec to channel
-

val printCfgFilename : string -> Cil.fundec -> unit

-Print control flow graph (in dot form) for fundec to file
-

val start_id : int Pervasives.ref

-Next statement id that will be assigned.
-

val nodeList : Cil.stmt list Pervasives.ref

-All of the nodes in a file.
-

val numNodes : int Pervasives.ref

-number of nodes in the CFG
-

- \ No newline at end of file -- cgit