Module Coccilib

module Coccilib: sig .. end
A library of functions for use with Coccinelle OCaml script code.


A library of functions for use with Coccinelle OCaml script code.
include Exposed_modules
Coccinelle modules accessible from an ocaml script.
val no_format : string -> bool
Parameters:
s : string
val make_ident : string -> Ast_c.metavar_binding_kind
Parameters:
s : string
val make_expr : string -> Ast_c.metavar_binding_kind
Parameters:
s : string
val make_expr_with_env : string -> string -> Ast_c.metavar_binding_kind
Parameters:
env : string
s : string
val make_stmt : string -> Ast_c.metavar_binding_kind
Parameters:
s : string
val make_stmt_with_env : string -> string -> Ast_c.metavar_binding_kind
Parameters:
env : string
s : string
val make_type : string -> Ast_c.metavar_binding_kind
Parameters:
s : string
val make_listlen : int -> Ast_c.metavar_binding_kind
Parameters:
i : int
val make_position : Common.filename ->
string -> int -> int -> int -> int -> Ast_c.metavar_binding_kind
Parameters:
fl : Common.filename
fn : string
startl : int
startc : int
endl : int
endc : int
val inc_match : bool ref
See include_match.
val include_match : bool -> unit
If the argument is true, retain the environment with respect to which the ocaml script code is being executed for use in subsequent rules. If the argument is false, discard this environment. By default, the environment is retained.
Parameters:
x : bool
val exited : bool ref
See exit
val exit : unit -> unit
If called, aborts the treatment of the current file. All previous changes take effect.
Parameters:
() : unit
val dir : unit -> string
Parameters:
() : unit
val files : unit -> string list
Parameters:
() : unit
val cocci_version : unit -> string
Parameters:
() : unit
val build_link : pos -> string -> string -> string
Parameters:
p : pos
msg : string
color : string
val print_todo : ?color:string -> ?msg:string -> pos -> unit
Parameters:
color : string
msg : string
p : pos
val print_link : ?color:string -> ?msg:string -> pos -> unit
Parameters:
color : string
msg : string
p : pos
val print_safe_todo : ?color:string -> ?msg:string -> pos -> unit
Parameters:
color : string
msg : string
p : pos
val print_safe_link : ?color:string -> ?msg:string -> pos -> unit
Parameters:
color : string
msg : string
p : pos
val print_main : ?color:string -> string -> pos list -> unit
Parameters:
color : string
msg : string
ps : pos list
val print_sec : ?color:string -> string -> pos list -> unit
Parameters:
color : string
msg : string
ps : pos list
val print_secs : ?color:string -> string -> pos list -> unit
Parameters:
color : string
msg : string
ps : pos list
val basename_pos : pos -> pos
convert the filename of a pos to its basename
Parameters:
pos : pos
module Ana: sig .. end
external analysis integration.