rules_java.net.URLDecoder.decode.json

{"consistent_output": "correct_usage_1(\"java.net.URLDecoder.decode\", label_2, var1, in_meth) :- \n    call(\"java.net.URLDecoder.decode\", label_2, var1, in_meth), \n    exception_handling_condition(\"UnsupportedEncodingException\", label_0, label_1, label_2, in_meth).\n\ncorrect_usage_2(\"java.net.URLDecoder.decode\", label_2, var1, in_meth) :- \n    call(\"java.net.URLDecoder.decode\", label_2, var1, in_meth), \n    input_value_check(var1, label_2, in_meth).\n\nexception_handling_condition(exc_type, label_try, label_catch, label_api_call, in_meth) :-\n    try(label_try, label_catch, in_meth), \n    catch(exc_type, _, label_catch, _, _, in_meth),\n    flow_reach(label_try, in_meth, label_api_call, in_meth),\n    flow_reach(label_api_call, in_meth, label_catch, in_meth).\n\ninput_value_check(var1, label_2, in_meth) :- \n    actual_argument(\"java.net.URLDecoder.decode\", var1, label_2, 0, in_meth), \n    v_condition(var1, label_2, in_meth).\n    \nv_condition(var1, label_2, in_meth) :- \n    variable(var1, in_meth), \n    dom(label_condition_check, in_meth, label_2, in_meth),\n    v_condition_satisfied(var1, label_condition_check, in_meth).\n\nv_condition_satisfied(var1, label_condition_check, in_meth) :- \n    assigned(var1, label_condition_check, in_meth), \n    not value(\"null\", label_condition_check, in_meth).\n\nv_condition_satisfied(var1, label_condition_check, in_meth) :- \n    actual_argument(_, value_arg, label_condition_check, 0, in_meth),\n    value(value_arg, label_condition_check, in_meth),\n    value_arg != \"null\".", "all_outputs": ["correct_usage_1(\"java.net.URLDecoder.decode\", label_2, var1, in_meth) :- \n    call(\"java.net.URLDecoder.decode\", label_2, var1, in_meth), \n    exception_handling_condition(\"UnsupportedEncodingException\", label_0, label_1, label_2, in_meth).\n\ncorrect_usage_2(\"java.net.URLDecoder.decode\", label_2, var1, in_meth) :- \n    call(\"java.net.URLDecoder.decode\", label_2, var1, in_meth), \n    input_value_check(var1, label_2, in_meth).\n\nexception_handling_condition(exc_type, label_try, label_catch, label_api_call, in_meth) :-\n    try(label_try, label_catch, in_meth), \n    catch(exc_type, _, label_catch, _, _, in_meth),\n    flow_reach(label_try, in_meth, label_api_call, in_meth),\n    flow_reach(label_api_call, in_meth, label_catch, in_meth).\n\ninput_value_check(var1, label_2, in_meth) :- \n    actual_argument(\"java.net.URLDecoder.decode\", var1, label_2, 0, in_meth), \n    v_condition(var1, label_2, in_meth).\n    \nv_condition(var1, label_2, in_meth) :- \n    variable(var1, in_meth), \n    dom(label_condition_check, in_meth, label_2, in_meth),\n    v_condition_satisfied(var1, label_condition_check, in_meth).\n\nv_condition_satisfied(var1, label_condition_check, in_meth) :- \n    assigned(var1, label_condition_check, in_meth), \n    not value(\"null\", label_condition_check, in_meth).\n\nv_condition_satisfied(var1, label_condition_check, in_meth) :- \n    actual_argument(_, value_arg, label_condition_check, 0, in_meth),\n    value(value_arg, label_condition_check, in_meth),\n    value_arg != \"null\"."]}