瀏覽代碼

tools/dev/experimantal: fix the org mode of the Coccinelle scripts so that the HTML export is pretty.

Use the org markup language : =%s= instead of %s.
Cyril Roelandt 13 年之前
父節點
當前提交
a2c0ae2977

+ 3 - 1
tools/dev/experimental/cuda_check_return_values.cocci

@@ -51,7 +51,9 @@ E@p = cuda_func(...);
 
 
 @initialize:python depends on report || org@
+from re import sub
 msg = "Ignoring the return value of %s."
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @no_assignment@
 identifier cuda_func =~ "^cuda";
@@ -70,7 +72,7 @@ position no_assignment.p;
 p << no_assignment.p;
 func << no_assignment.cuda_func;
 @@
-coccilib.org.print_todo(p[0], msg % func)
+coccilib.org.print_todo(p[0], orgmsg % func)
 
 @depends on no_assignment && patch@
 identifier no_assignment.cuda_func;

+ 3 - 1
tools/dev/experimental/destroy_task_on_error.cocci

@@ -31,6 +31,8 @@ virtual report
 @initialize:python depends on org || report@
 msg = "Warning: in %s(): "
 msg+= "\"%s\" should probably be destroyed in the body of the if statement"
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @r@
 local idexpression t;
@@ -78,7 +80,7 @@ p << r.p;
 t << r.t;
 f << r.f;
 @@
-coccilib.org.print_todo(p[0], msg % (f,t))
+coccilib.org.print_todo(p[0], orgmsg % (f,t))
 
 // Patch mode.
 // XXX: Instead of "..." we could use a statement list (statement list SS). But

+ 3 - 1
tools/dev/experimental/function_call_termination_condition.cocci

@@ -34,6 +34,8 @@ virtual report
 
 @initialize:python depends on report || org@
 msg="Function call in the termination condition of a for loop"
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @r@
 type t;
@@ -62,7 +64,7 @@ expression r.E1;
 @script:python depends on r && org@
 p << r.p;
 @@
-coccilib.org.print_todo(p[0], msg)
+coccilib.org.print_todo(p[0], orgmsg)
 
 @depends on r && patch@
 type r.t;

+ 3 - 1
tools/dev/experimental/name_codelets.cocci

@@ -31,6 +31,8 @@ virtual report
 
 @initialize:python depends on org || report@
 msg = "Warning: %s has no attribute name"
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @found@
 identifier cl;
@@ -61,7 +63,7 @@ position found.p;
 cl << found.cl;
 p << found.p;
 @@
-coccilib.org.print_todo(p[0], msg % cl)
+coccilib.org.print_todo(p[0], orgmsg % cl)
 
 // Patch mode.
 @script:python stringify depends on found && !named && patch@

+ 3 - 1
tools/dev/experimental/not_unlocked_mutex.cocci

@@ -21,6 +21,8 @@ virtual report
 
 @initialize:python depends on report || org@
 msg="The mutex \"%s\" is not unlocked when leaving \"%s\""
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @r@
 expression E;
@@ -53,7 +55,7 @@ f << r.func;
 E << r.E;
 @@
 for p in ps:
-	coccilib.org.print_todo(p, msg % (E, f))
+	coccilib.org.print_todo(p, orgmsg % (E, f))
 
 
 @depends on r && patch@

+ 1 - 1
tools/dev/experimental/opencl_check_return_values.cocci

@@ -51,5 +51,5 @@ coccilib.report.print_report(p[0], msg)
 p << ignored_return_value.p;
 func << ignored_return_value.opencl_func;
 @@
-msg = "Ignoring the return value of %s." % func
+msg = "Ignoring the return value of =%s=." % func
 coccilib.org.print_todo(p[0], msg)

+ 3 - 1
tools/dev/experimental/skip_valgrind.cocci

@@ -21,6 +21,8 @@ virtual report
 
 @initialize:python depends on report || org@
 msg="Should you add STARPU_SKIP_IF_VALGRIND; at the beginning of this function ?"
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @find_codelet@
 identifier a, b;
@@ -66,7 +68,7 @@ position find_codelet.p;
 @script:python depends on find_codelet && !is_empty_codelet && !is_already_ok && org@
 p << find_codelet.p;
 @@
-coccilib.org.print_todo(p[0], msg)
+coccilib.org.print_todo(p[0], orgmsg)
 
 @depends on find_codelet && !is_empty_codelet && !is_already_ok && patch@
 identifier find_codelet.a, find_codelet.b;

+ 3 - 1
tools/dev/experimental/unchecked_starpu_function_calls.cocci

@@ -27,6 +27,8 @@ virtual report
 
 @initialize:python depends on report || org@
 msg = "Unchecked call to %s"
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @unchecked_starpu_func_call@
 identifier f;
@@ -59,7 +61,7 @@ f(...)
 f << unchecked_starpu_func_call.starpu_function;
 p << unchecked_starpu_func_call.p;
 @@
-coccilib.org.print_todo(p[0], msg % f)
+coccilib.org.print_todo(p[0], orgmsg % f)
 
 // Patch mode.
 @has_ret depends on unchecked_starpu_func_call@

+ 3 - 1
tools/dev/experimental/use_starpu_macros.cocci

@@ -24,6 +24,8 @@ virtual report
 @initialize:python depends on report || org@
 d = { 'abort':'STARPU_ABORT', 'assert':'STARPU_ASSERT'}
 msg = "Please use %s rather than %s."
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @r@
 identifier f =~ "abort|assert";
@@ -88,7 +90,7 @@ expression E1, E2;
 p << r.p;
 f << r.f;
 @@
-coccilib.org.print_todo(p[0], msg % (d[str(f)], f))
+coccilib.org.print_todo(p[0], orgmsg % (d[str(f)], f))
 
 @script:python depends on min && org@
 p << min.p;

+ 4 - 2
tools/dev/experimental/use_starpu_pthread_macros.cocci

@@ -43,6 +43,8 @@ d = {
 'pthread_spin_unlock'     : '_STARPU_PTHREAD_SPIN_UNLOCK'
 }
 msg = "Use %s instead of %s."
+from re import sub
+orgmsg = sub(r'(%[a-z])', r'=\1=', msg)
 
 @r@
 identifier f =~ "^pthread_";
@@ -66,9 +68,9 @@ p << r.p;
 f << r.f;
 @@
 if str(f) in d.keys():
-	coccilib.org.print_todo(p[0], msg % (d[str(f)], f))
+	coccilib.org.print_todo(p[0], orgmsg % (d[str(f)], f))
 else:
-	coccilib.org.print_todo(p[0], "Shouldn't %s be wrapped in a macro ?" % str(f))
+	coccilib.org.print_todo(p[0], "Shouldn't =%s= be wrapped in a macro ?" % str(f))
 
 
 //