Activate functionality “iteration” only on demand

[elfring]

👀 It can be determined that extra source code is generated for the execution of programming language scripts in SmPL rules even if the functionality “iteration” would not be needed for selected data processing.

• Function “prepare”

  • https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/bf018a0592f03aee93bcf33ed08a867457c90c15/ocaml/yes_prepare_ocamlcocci.ml#L323-341

  • coccinelle/ocaml/yes_prepare_ocamlcocci.ml

    Lines 323 to 341 in deb429d

    	let (file,o) = Filename.open_temp_file "ocaml_cocci_" ".ml" in
    	(* Global initialization *)
    	Printf.fprintf o "%s\n" (init_ocamlcocci());
    	(* virtual rules and identifiers *)
    	(if !Iteration.parsed_virtual_rules != []
    	then
    	Printf.fprintf o "type __virtual_rules__ = %s\n\n"
    	(String.concat " | "
    	(List.map Stdcompat.String.capitalize_ascii
    	!Iteration.parsed_virtual_rules)));
    	(if !Iteration.parsed_virtual_identifiers != []
    	then
    	Printf.fprintf o "type __virtual_identifiers__ = %s\n\n"
    	(String.concat " | "
    	(List.map
    	(function x -> Printf.sprintf "%s" x)
    	(List.map Stdcompat.String.capitalize_ascii
    	!Iteration.parsed_virtual_identifiers))));
    	print_iteration_code o;

• Definition “init_python_code”

  • https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/bf018a0592f03aee93bcf33ed08a867457c90c15/python/yes_pycocci.ml#L186-194

  • coccinelle/python/yes_pycocci.ml

    Lines 186 to 194 in deb429d

    	let init_python_code = "\
    	import coccinelle
    	import coccilib
    	import coccilib.org
    	import coccilib.report
    	import coccilib.xml_firehose
    	from coccinelle import *
    	from coccilib.iteration import Iteration
    	cocci = Cocci()"

🔮 Will the software implementation be better adapted to known run time conditions?