let compute_parameters_usage () =
debug
"[Parameters Usage] logic parameters usage computation";
debug
"[Parameters Usage] computing address taken and logic parameters first";
compute_logic_params ();
if not (ByValue.is_computed()) ||
not (ByPReference.is_computed() || not(ByAReference.is_computed()))
then
( Visitor.visitFramacFile
(new parameters_call_kind_analysis)(Ast.get());
ByPReference.mark_as_computed();ByAReference.mark_as_computed();
ByValue.mark_as_computed())