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
val make_ident : string -> Ast_c.metavar_binding_kind
val make_expr : string -> Ast_c.metavar_binding_kind
val make_expr_with_env : string -> string -> Ast_c.metavar_binding_kind
val make_stmt : string -> Ast_c.metavar_binding_kind
val make_stmt_with_env : string -> string -> Ast_c.metavar_binding_kind
val make_type : string -> Ast_c.metavar_binding_kind
val make_listlen : int -> Ast_c.metavar_binding_kind
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.
val exited : bool ref
See exit
val exit : unit -> unit
If called, aborts the treatment of the current file. All previous
changes take effect.
val dir : unit -> string
val files : unit -> string list
val cocci_version : unit -> string
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
module Ana: sig
.. end
external analysis integration.