← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to python/pycocci.mli

  • Committer: Julia Lawall
  • Date: 2020-02-12 20:20:49 UTC
  • mfrom: (4831.1.13)
  • Revision ID: git-v1:bad1779ec17bb87a7ab35780713752c09092abe2
Merge gitlab.inria.fr:coccinelle/coccinelle

Show diffs side-by-side

added added

removed removed

Lines of Context:
python/pycocci.mli
36
36
    @param body the constraint code,
37
37
    @return whether the constraint is satisfied or not. *)
38
38
 
 
39
val run_fresh_id :
 
40
    Ast_c.metavars_binding ->
 
41
    Ast_cocci.script_position ->
 
42
    string ->
 
43
    string
 
44
(** [run_fresh_id args body] runs the id generator with
 
45
    @param args the arguments
 
46
    @param body the constraint code,
 
47
    @return a fresh id *)
 
48
 
39
49
val flush_stdout_and_stderr : unit -> unit
40
50
(** [flush_stdout_and_stderr ()] flushes Python stdout and stderr. *)