rules_java.io.File.mkdir.json

{"consistent_output": "correct_usage_1(\"java.io.File.mkdir\", label_2, var1, in_meth) :- \n    call(\"java.io.File.mkdir\", label_2, var1, in_meth), \n    assigned(ret_var, label_2, in_meth),\n    v_condition(ret_var, label_2, in_meth),\n    sat_transition(label_2, in_meth, label_check, in_meth), \n    dom(label_check, in_meth, label_2, in_meth).\n\ncorrect_usage_2(\"java.io.File.mkdir\", label_2, var1, in_meth) :- \n    call(\"java.io.File.mkdir\", label_2, var1, in_meth), \n    assigned(directory_var, label_1, in_meth),\n    actual_argument(\"java.io.File.mkdir\", directory_var, label_2, 0, in_meth),\n    check_directory_existence(directory_var, label_1, in_meth),\n    dom(label_2, in_meth, label_1, in_meth).\n\ncheck_directory_existence(directory_var, label_1, in_meth):-\n    call(\"java.io.File.exists\", label_1, directory_var, in_meth),\n    v_condition(directory_exists_return, label_1, in_meth),\n    not(sat_transition(label_1, in_meth, label_skip_mkdir, in_meth)).\n\nv_condition(var1, label_2, in_meth):- \n    binary_op(var1, \"EQ\", \"false\", label_2, in_meth).", "all_outputs": ["correct_usage_1(\"java.io.File.mkdir\", label_2, var1, in_meth) :- \n    call(\"java.io.File.mkdir\", label_2, var1, in_meth), \n    assigned(ret_var, label_2, in_meth),\n    v_condition(ret_var, label_2, in_meth),\n    sat_transition(label_2, in_meth, label_check, in_meth), \n    dom(label_check, in_meth, label_2, in_meth).\n\ncorrect_usage_2(\"java.io.File.mkdir\", label_2, var1, in_meth) :- \n    call(\"java.io.File.mkdir\", label_2, var1, in_meth), \n    assigned(directory_var, label_1, in_meth),\n    actual_argument(\"java.io.File.mkdir\", directory_var, label_2, 0, in_meth),\n    check_directory_existence(directory_var, label_1, in_meth),\n    dom(label_2, in_meth, label_1, in_meth).\n\ncheck_directory_existence(directory_var, label_1, in_meth):-\n    call(\"java.io.File.exists\", label_1, directory_var, in_meth),\n    v_condition(directory_exists_return, label_1, in_meth),\n    not(sat_transition(label_1, in_meth, label_skip_mkdir, in_meth)).\n\nv_condition(var1, label_2, in_meth):- \n    binary_op(var1, \"EQ\", \"false\", label_2, in_meth)."]}