Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
pairsD4j_Features.features_Math_73.json Maven / Gradle / Ivy
{
"id": "Math_73",
"files": [
{
"file_name": "BrentSolver",
"features": [
{
"S1_LOCAL_VAR_NOT_ASSIGNED": "true",
"S14_TYPE_OF_FAULTY_STATEMENT_PARENT": "Class",
"S9_METHOD_CALL_WITH_NORMAL_GUARD": "true",
"S2_SIMILAR_OBJECT_TYPE_WITH_NORMAL_GUARD": "false",
"S4_Field_NOT_USED": "false",
"S18_In_Synchronized_Method": "false",
"S8_PRIMITIVE_USED_IN_ASSIGNMENT": "false",
"FEATURES_METHODS": {
"verifySequence": {
"M10_WRAPTTED_IN_OTHER_CALLS": "false",
"M4_Field_NOT_ASSIGNED": "false",
"M7_INV_Invocation_INV_REPLACE_BY_INV": "false",
"M1_LOCAL_VAR_NOT_USED": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NORMAL_GUARD": "false",
"M8_RETURN_PRIMITIVE": "false",
"M12_METHOD_CALL_WITH_TRY_CATCH": "false",
"M9_RETURN_OBJECTIVE": "true",
"M1_OVERLOADED_METHOD": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NULL_GUARD": "false",
"M4_Field_NOT_USED": "false",
"M13_Argument_Has_Primitive": "true",
"M10_METHOD_CALL_WITH_NULL_GUARD": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NULL_GUARD": "false",
"M11_Satrt_With_Get": "false",
"M3_ANOTHER_METHOD_WITH_PARAMETER_RETURN_COMP": "false",
"M12_Has_Var_Similar_In_Name": "false",
"M4_PARAMETER_RETURN_COMPABILITY": "false",
"M1_LOCAL_VAR_NOT_ASSIGNED": "false",
"M7_OBJECT_USED_IN_ASSIGNMENT": "false",
"M5_MI_WITH_COMPATIBLE_VAR_TYPE": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NORMAL_GUARD": "false",
"M6_INV_Invocation_INV_REPLACE_BY_VAR": "false",
"M8_PRIMITIVE_USED_IN_ASSIGNMENT": "false",
"M2_SIMILAR_METHOD_WITH_SAME_RETURN": "false",
"M9_METHOD_CALL_WITH_NORMAL_GUARD": "false"
},
"abs": {
"M10_WRAPTTED_IN_OTHER_CALLS": "true",
"M4_Field_NOT_ASSIGNED": "false",
"M7_INV_Invocation_INV_REPLACE_BY_INV": "false",
"M1_LOCAL_VAR_NOT_USED": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NORMAL_GUARD": "false",
"M8_RETURN_PRIMITIVE": "true",
"M12_METHOD_CALL_WITH_TRY_CATCH": "false",
"M9_RETURN_OBJECTIVE": "false",
"M1_OVERLOADED_METHOD": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NULL_GUARD": "false",
"M4_Field_NOT_USED": "false",
"M13_Argument_Has_Primitive": "true",
"M10_METHOD_CALL_WITH_NULL_GUARD": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NULL_GUARD": "false",
"M11_Satrt_With_Get": "false",
"M3_ANOTHER_METHOD_WITH_PARAMETER_RETURN_COMP": "true",
"M12_Has_Var_Similar_In_Name": "false",
"M4_PARAMETER_RETURN_COMPABILITY": "true",
"M1_LOCAL_VAR_NOT_ASSIGNED": "false",
"M7_OBJECT_USED_IN_ASSIGNMENT": "false",
"M5_MI_WITH_COMPATIBLE_VAR_TYPE": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NORMAL_GUARD": "false",
"M6_INV_Invocation_INV_REPLACE_BY_VAR": "false",
"M8_PRIMITIVE_USED_IN_ASSIGNMENT": "false",
"M2_SIMILAR_METHOD_WITH_SAME_RETURN": "false",
"M9_METHOD_CALL_WITH_NORMAL_GUARD": "true"
},
"setResult": {
"M10_WRAPTTED_IN_OTHER_CALLS": "false",
"M4_Field_NOT_ASSIGNED": "false",
"M7_INV_Invocation_INV_REPLACE_BY_INV": "false",
"M1_LOCAL_VAR_NOT_USED": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NORMAL_GUARD": "false",
"M8_RETURN_PRIMITIVE": "false",
"M12_METHOD_CALL_WITH_TRY_CATCH": "false",
"M9_RETURN_OBJECTIVE": "true",
"M1_OVERLOADED_METHOD": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NULL_GUARD": "false",
"M4_Field_NOT_USED": "false",
"M13_Argument_Has_Primitive": "true",
"M10_METHOD_CALL_WITH_NULL_GUARD": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NULL_GUARD": "false",
"M11_Satrt_With_Get": "false",
"M3_ANOTHER_METHOD_WITH_PARAMETER_RETURN_COMP": "false",
"M12_Has_Var_Similar_In_Name": "false",
"M4_PARAMETER_RETURN_COMPABILITY": "false",
"M1_LOCAL_VAR_NOT_ASSIGNED": "false",
"M7_OBJECT_USED_IN_ASSIGNMENT": "false",
"M5_MI_WITH_COMPATIBLE_VAR_TYPE": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NORMAL_GUARD": "false",
"M6_INV_Invocation_INV_REPLACE_BY_VAR": "false",
"M8_PRIMITIVE_USED_IN_ASSIGNMENT": "false",
"M2_SIMILAR_METHOD_WITH_SAME_RETURN": "false",
"M9_METHOD_CALL_WITH_NORMAL_GUARD": "true"
},
"solve": {
"M10_WRAPTTED_IN_OTHER_CALLS": "false",
"M4_Field_NOT_ASSIGNED": "false",
"M7_INV_Invocation_INV_REPLACE_BY_INV": "false",
"M1_LOCAL_VAR_NOT_USED": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NORMAL_GUARD": "false",
"M8_RETURN_PRIMITIVE": "true",
"M12_METHOD_CALL_WITH_TRY_CATCH": "false",
"M9_RETURN_OBJECTIVE": "false",
"M1_OVERLOADED_METHOD": "true",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NULL_GUARD": "false",
"M4_Field_NOT_USED": "false",
"M13_Argument_Has_Primitive": "true",
"M10_METHOD_CALL_WITH_NULL_GUARD": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NULL_GUARD": "false",
"M11_Satrt_With_Get": "false",
"M3_ANOTHER_METHOD_WITH_PARAMETER_RETURN_COMP": "true",
"M12_Has_Var_Similar_In_Name": "false",
"M4_PARAMETER_RETURN_COMPABILITY": "true",
"M1_LOCAL_VAR_NOT_ASSIGNED": "false",
"M7_OBJECT_USED_IN_ASSIGNMENT": "false",
"M5_MI_WITH_COMPATIBLE_VAR_TYPE": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NORMAL_GUARD": "false",
"M6_INV_Invocation_INV_REPLACE_BY_VAR": "false",
"M8_PRIMITIVE_USED_IN_ASSIGNMENT": "false",
"M2_SIMILAR_METHOD_WITH_SAME_RETURN": "true",
"M9_METHOD_CALL_WITH_NORMAL_GUARD": "true"
},
"clearResult": {
"M10_WRAPTTED_IN_OTHER_CALLS": "false",
"M4_Field_NOT_ASSIGNED": "false",
"M7_INV_Invocation_INV_REPLACE_BY_INV": "false",
"M1_LOCAL_VAR_NOT_USED": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NORMAL_GUARD": "false",
"M8_RETURN_PRIMITIVE": "false",
"M12_METHOD_CALL_WITH_TRY_CATCH": "false",
"M9_RETURN_OBJECTIVE": "true",
"M1_OVERLOADED_METHOD": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NULL_GUARD": "false",
"M4_Field_NOT_USED": "false",
"M13_Argument_Has_Primitive": "false",
"M10_METHOD_CALL_WITH_NULL_GUARD": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NULL_GUARD": "false",
"M11_Satrt_With_Get": "false",
"M3_ANOTHER_METHOD_WITH_PARAMETER_RETURN_COMP": "false",
"M12_Has_Var_Similar_In_Name": "false",
"M4_PARAMETER_RETURN_COMPABILITY": "false",
"M1_LOCAL_VAR_NOT_ASSIGNED": "false",
"M7_OBJECT_USED_IN_ASSIGNMENT": "false",
"M5_MI_WITH_COMPATIBLE_VAR_TYPE": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NORMAL_GUARD": "false",
"M6_INV_Invocation_INV_REPLACE_BY_VAR": "false",
"M8_PRIMITIVE_USED_IN_ASSIGNMENT": "false",
"M2_SIMILAR_METHOD_WITH_SAME_RETURN": "false",
"M9_METHOD_CALL_WITH_NORMAL_GUARD": "false"
},
"value": {
"M10_WRAPTTED_IN_OTHER_CALLS": "false",
"M4_Field_NOT_ASSIGNED": "false",
"M7_INV_Invocation_INV_REPLACE_BY_INV": "false",
"M1_LOCAL_VAR_NOT_USED": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NORMAL_GUARD": "false",
"M8_RETURN_PRIMITIVE": "true",
"M12_METHOD_CALL_WITH_TRY_CATCH": "false",
"M9_RETURN_OBJECTIVE": "false",
"M1_OVERLOADED_METHOD": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NULL_GUARD": "false",
"M4_Field_NOT_USED": "false",
"M13_Argument_Has_Primitive": "true",
"M10_METHOD_CALL_WITH_NULL_GUARD": "false",
"M2_SIMILAR_OBJECT_TYPE_WITH_NULL_GUARD": "false",
"M11_Satrt_With_Get": "false",
"M3_ANOTHER_METHOD_WITH_PARAMETER_RETURN_COMP": "true",
"M12_Has_Var_Similar_In_Name": "false",
"M4_PARAMETER_RETURN_COMPABILITY": "true",
"M1_LOCAL_VAR_NOT_ASSIGNED": "false",
"M7_OBJECT_USED_IN_ASSIGNMENT": "false",
"M5_MI_WITH_COMPATIBLE_VAR_TYPE": "false",
"M5_SIMILAR_PRIMITIVE_TYPE_WITH_NORMAL_GUARD": "false",
"M6_INV_Invocation_INV_REPLACE_BY_VAR": "false",
"M8_PRIMITIVE_USED_IN_ASSIGNMENT": "false",
"M2_SIMILAR_METHOD_WITH_SAME_RETURN": "false",
"M9_METHOD_CALL_WITH_NORMAL_GUARD": "false"
}
},
"S11_FAULTY_CLASS_EXCEPTION_TYPE": "false",
"FEATURES_BINARYOPERATOR": {
"20_java.lang.Math.abs(dx) <= tolerance": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"9_sign > 0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"48_(((1.5 * dx) * p1) - java.lang.Math.abs(tolerance * p1))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"67_(y2 > 0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"11_java.lang.Math.abs(yMax) <= functionValueAccuracy": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"39_((r1 - 1.0) * (r2 - 1.0)) * (r3 - 1.0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"61_(0.5 * tolerance)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"15_i < maximalIterationCount": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"60_x1 + (0.5 * tolerance)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"19_relativeAccuracy * java.lang.Math.abs(x1)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"44_p > 0.0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"14_x1 - x0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"2_java.lang.Math.abs(yMin) <= functionValueAccuracy": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"0_\"function values at endpoints do not have different signs. \" + \"Endpoints: [{0}, {1}], Values: [{2}, {3}]\"": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"17_java.lang.Math.abs(y1) <= functionValueAccuracy": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"43_(r3 - 1.0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"30_y1 / y2": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"10_java.lang.Math.abs(yMin) <= functionValueAccuracy": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"28_1.0 - r3": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"40_((r1 - 1.0) * (r2 - 1.0))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"4_(yInitial * yMin)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"29_y0 / y2": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"31_r3 * (((dx * r1) * (r1 - r2)) - ((x1 - x0) * (r2 - 1.0)))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"16_java.lang.Math.abs(y2) < java.lang.Math.abs(y1)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"63_x1 - (0.5 * tolerance)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"45_((2.0 * p) >= (((1.5 * dx) * p1) - java.lang.Math.abs(tolerance * p1))) || (p >= java.lang.Math.abs((0.5 * oldDelta) * p1))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "true",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"59_dx > 0.0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"26_x0 == x2": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"18_x2 - x1": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"51_tolerance * p1": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"22_(java.lang.Math.abs(oldDelta) < tolerance)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"5_java.lang.Math.abs(yMax) <= functionValueAccuracy": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"12_sign < 0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"23_(java.lang.Math.abs(y0) <= java.lang.Math.abs(y1))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"3_(yInitial * yMin) < 0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"55_0.5 * dx": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"66_(y1 > 0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"42_(r2 - 1.0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"47_(2.0 * p)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"58_x1 + delta": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"8_yMin * yMax": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"50_(1.5 * dx)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"35_(r1 - r2)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"52_(p >= java.lang.Math.abs((0.5 * oldDelta) * p1))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"57_java.lang.Math.abs(delta) > tolerance": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"38_(r2 - 1.0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"32_(((dx * r1) * (r1 - r2)) - ((x1 - x0) * (r2 - 1.0)))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"46_((2.0 * p) >= (((1.5 * dx) * p1) - java.lang.Math.abs(tolerance * p1)))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"37_(x1 - x0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"33_((dx * r1) * (r1 - r2))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"7_(yInitial * yMax)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"65_(y1 > 0) == (y2 > 0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"53_(0.5 * oldDelta) * p1": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"62_dx <= 0.0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"49_((1.5 * dx) * p1)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"36_((x1 - x0) * (r2 - 1.0))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"24_0.5 * dx": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"21_(java.lang.Math.abs(oldDelta) < tolerance) || (java.lang.Math.abs(y0) <= java.lang.Math.abs(y1))": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "true",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"25_y1 / y0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"27_dx * r3": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"41_(r1 - 1.0)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"1_java.lang.Math.abs(yInitial) <= functionValueAccuracy": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"56_p / p1": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"68_x1 - x0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "true",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"34_(dx * r1)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"64_(0.5 * tolerance)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"54_(0.5 * oldDelta)": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "false",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "true",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "false"
},
"13_yMin == 0.0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
},
"6_(yInitial * yMax) < 0": {
"O1_IS_BIT": "false",
"O1_IS_LOGICAL": "false",
"O3_CONTAIN_01": "true",
"O1_IS_OTHERS": "false",
"O2_LOGICAL_CONTAIN_NOT": "false",
"O4_COMPARE_IN_CONDITION": "false",
"O5_IS_MATH_ROOT": "false",
"O1_IS_MATH": "false",
"O3_CONTAIN_NULL": "false",
"O1_IS_SHIFT": "false",
"O1_IS_COMPARE": "true"
}
},
"S16_HAS_Invocations_Prone_Exception": "false",
"S7_OBJECT_USED_IN_ASSIGNMENT": "false",
"S5_SIMILAR_PRIMITIVE_TYPE_WITH_NULL_GUARD": "false",
"FEATURES_LOGICAL_EXPRESSION": {
"logical_expression_2_(yInitial * yMin) < 0": {
"LE9_NULL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_SAME_INVOCATION_TARGET": "false",
"LE2_IS_BOOLEAN_METHOD_PARAM_TYPE_VAR": "false",
"LE5_COMPLEX_REFERENCE": "true",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_LEFT": "false",
"LE7_SIMPLE_VAR_OR_METHOD_IN_LOGIC": "false",
"LE9_EQUAL_NOTEQUAL_NULL_CHECK": "false",
"LE6_HAS_NEGATION": "false",
"LE1_EXISTS_RELATED_BOOLEAN_EXPRESSION": "true",
"LE9_MIX_CHECK": "false",
"LE3_IS_COMPATIBLE_VAR_NOT_INCLUDED": "false",
"LE4_EXISTS_LOCAL_UNUSED_VARIABLES": "false",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_RIGHT": "false",
"LE9_NORMAL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_MULTIPLE_VAR_AS_BOOLEAN": "false",
"LE10_ATOMIC_EXPRESSION_USED_IN_INVOCATION_COMPARISION_VARIABLE": "false",
"LE10_CONTAINS_ALL_INVOCATION_COMPARISION_VARIABLE": "false",
"LE8_SCOPE_VAR_USED_OTHER_BOOLEXPER": "false"
},
"logical_expression_3_java.lang.Math.abs(yMax) <= functionValueAccuracy": {
"LE9_NULL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_SAME_INVOCATION_TARGET": "false",
"LE2_IS_BOOLEAN_METHOD_PARAM_TYPE_VAR": "true",
"LE5_COMPLEX_REFERENCE": "true",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_LEFT": "false",
"LE7_SIMPLE_VAR_OR_METHOD_IN_LOGIC": "false",
"LE9_EQUAL_NOTEQUAL_NULL_CHECK": "false",
"LE6_HAS_NEGATION": "false",
"LE1_EXISTS_RELATED_BOOLEAN_EXPRESSION": "true",
"LE9_MIX_CHECK": "false",
"LE3_IS_COMPATIBLE_VAR_NOT_INCLUDED": "false",
"LE4_EXISTS_LOCAL_UNUSED_VARIABLES": "false",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_RIGHT": "false",
"LE9_NORMAL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_MULTIPLE_VAR_AS_BOOLEAN": "false",
"LE10_ATOMIC_EXPRESSION_USED_IN_INVOCATION_COMPARISION_VARIABLE": "false",
"LE10_CONTAINS_ALL_INVOCATION_COMPARISION_VARIABLE": "false",
"LE8_SCOPE_VAR_USED_OTHER_BOOLEXPER": "false"
},
"logical_expression_4_(yInitial * yMax) < 0": {
"LE9_NULL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_SAME_INVOCATION_TARGET": "false",
"LE2_IS_BOOLEAN_METHOD_PARAM_TYPE_VAR": "false",
"LE5_COMPLEX_REFERENCE": "true",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_LEFT": "false",
"LE7_SIMPLE_VAR_OR_METHOD_IN_LOGIC": "false",
"LE9_EQUAL_NOTEQUAL_NULL_CHECK": "false",
"LE6_HAS_NEGATION": "false",
"LE1_EXISTS_RELATED_BOOLEAN_EXPRESSION": "true",
"LE9_MIX_CHECK": "false",
"LE3_IS_COMPATIBLE_VAR_NOT_INCLUDED": "false",
"LE4_EXISTS_LOCAL_UNUSED_VARIABLES": "false",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_RIGHT": "false",
"LE9_NORMAL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_MULTIPLE_VAR_AS_BOOLEAN": "false",
"LE10_ATOMIC_EXPRESSION_USED_IN_INVOCATION_COMPARISION_VARIABLE": "false",
"LE10_CONTAINS_ALL_INVOCATION_COMPARISION_VARIABLE": "false",
"LE8_SCOPE_VAR_USED_OTHER_BOOLEXPER": "false"
},
"logical_expression_1_java.lang.Math.abs(yMin) <= functionValueAccuracy": {
"LE9_NULL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_SAME_INVOCATION_TARGET": "false",
"LE2_IS_BOOLEAN_METHOD_PARAM_TYPE_VAR": "true",
"LE5_COMPLEX_REFERENCE": "true",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_LEFT": "false",
"LE7_SIMPLE_VAR_OR_METHOD_IN_LOGIC": "false",
"LE9_EQUAL_NOTEQUAL_NULL_CHECK": "false",
"LE6_HAS_NEGATION": "false",
"LE1_EXISTS_RELATED_BOOLEAN_EXPRESSION": "true",
"LE9_MIX_CHECK": "false",
"LE3_IS_COMPATIBLE_VAR_NOT_INCLUDED": "false",
"LE4_EXISTS_LOCAL_UNUSED_VARIABLES": "false",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_RIGHT": "false",
"LE9_NORMAL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_MULTIPLE_VAR_AS_BOOLEAN": "false",
"LE10_ATOMIC_EXPRESSION_USED_IN_INVOCATION_COMPARISION_VARIABLE": "false",
"LE10_CONTAINS_ALL_INVOCATION_COMPARISION_VARIABLE": "false",
"LE8_SCOPE_VAR_USED_OTHER_BOOLEXPER": "false"
},
"logical_expression_0_java.lang.Math.abs(yInitial) <= functionValueAccuracy": {
"LE9_NULL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_SAME_INVOCATION_TARGET": "false",
"LE2_IS_BOOLEAN_METHOD_PARAM_TYPE_VAR": "true",
"LE5_COMPLEX_REFERENCE": "true",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_LEFT": "false",
"LE7_SIMPLE_VAR_OR_METHOD_IN_LOGIC": "false",
"LE9_EQUAL_NOTEQUAL_NULL_CHECK": "false",
"LE6_HAS_NEGATION": "false",
"LE1_EXISTS_RELATED_BOOLEAN_EXPRESSION": "true",
"LE9_MIX_CHECK": "false",
"LE3_IS_COMPATIBLE_VAR_NOT_INCLUDED": "false",
"LE4_EXISTS_LOCAL_UNUSED_VARIABLES": "false",
"LE10_ATOMIC_EXPRESSION_COMPARISION_SAME_RIGHT": "false",
"LE9_NORMAL_CHECK": "false",
"LE10_ATOMIC_EXPRESSION_MULTIPLE_VAR_AS_BOOLEAN": "false",
"LE10_ATOMIC_EXPRESSION_USED_IN_INVOCATION_COMPARISION_VARIABLE": "false",
"LE10_CONTAINS_ALL_INVOCATION_COMPARISION_VARIABLE": "false",
"LE8_SCOPE_VAR_USED_OTHER_BOOLEXPER": "false"
}
},
"S13_TYPE_OF_FAULTY_STATEMENT_BEFORE_2": "",
"S13_TYPE_OF_FAULTY_STATEMENT_BEFORE_1": "",
"FEATURES_VARS": {
"result": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "false",
"V4_Field_NOT_USED": "false",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "false",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "true",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "true",
"V1_LOCAL_VAR_NOT_ASSIGNED": "false",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "false",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "false",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "true",
"V14_VAR_INSTANCE_OF_CLASS": "true",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"yMin": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "true",
"V4_Field_NOT_USED": "false",
"V4_FIRST_TIME_USED_AS_PARAMETER": "true",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "true",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "true",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "true",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "true",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "false",
"V14_VAR_INSTANCE_OF_CLASS": "false",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"functionValueAccuracy": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "false",
"V4_Field_NOT_USED": "false",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "false",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "false",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "false",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "false",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "true",
"V14_VAR_INSTANCE_OF_CLASS": "true",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"min": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "true",
"V4_Field_NOT_USED": "false",
"V4_FIRST_TIME_USED_AS_PARAMETER": "true",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "true",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "false",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "false",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "true",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "false",
"V14_VAR_INSTANCE_OF_CLASS": "false",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"yInitial": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "true",
"V4_Field_NOT_USED": "false",
"V4_FIRST_TIME_USED_AS_PARAMETER": "true",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "true",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "true",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "true",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "true",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "false",
"V14_VAR_INSTANCE_OF_CLASS": "false",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"yMax": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "true",
"V4_Field_NOT_USED": "false",
"V4_FIRST_TIME_USED_AS_PARAMETER": "true",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "true",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "true",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "true",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "true",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "false",
"V14_VAR_INSTANCE_OF_CLASS": "false",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"initial": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "true",
"V4_Field_NOT_USED": "false",
"V4_FIRST_TIME_USED_AS_PARAMETER": "true",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "true",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "false",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "false",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "true",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "false",
"V14_VAR_INSTANCE_OF_CLASS": "false",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"max": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "true",
"V4_Field_NOT_USED": "false",
"V4_FIRST_TIME_USED_AS_PARAMETER": "true",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "true",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "false",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "false",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "true",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "false",
"V14_VAR_INSTANCE_OF_CLASS": "false",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
},
"f": {
"V2_HAS_VAR_SIM_NAME_COMP_TYPE": "false",
"V3_HAS_CONSTANT": "false",
"V9_VAR_TYPE_Similar_Literal": "false",
"V4_Field_NOT_USED": "false",
"V13_VAR_Invocation_VAR_REPLACE_BY_INVOCATION": "false",
"V1_IS_TYPE_COMPATIBLE_METHOD_CALL_PARAM_RETURN": "true",
"V2_HAS_VAR_SIM_NAME": "false",
"V1_LOCAL_VAR_NOT_USED": "false",
"V18_Has_Method_Similar_In_Name": "false",
"V11_VAR_COMPATIBLE_TYPE_IN_CONDITION": "false",
"V1_LOCAL_VAR_NOT_ASSIGNED": "false",
"V19_With_Special_Name": "false",
"V16_IS_METHOD_PARAMETER_TYPE_VAR": "true",
"V6_IS_METHOD_RETURN_TYPE_VAR": "true",
"V12_VAR_Invocation_VAR_REPLACE_BY_VAR": "false",
"V4_Field_NOT_ASSIGNED": "false",
"V8_VAR_PRIMITIVE": "false",
"V5_HAS_VAR_IN_TRANSFORMATION": "false",
"V8_VAR_OBJECT": "true",
"V14_VAR_INSTANCE_OF_CLASS": "false",
"V4B_USED_MULTIPLE_AS_PARAMETER": "false",
"V10_VAR_TYPE_Similar_VAR": "false",
"V17_VAR_IS_ENUMERATION": "false"
}
},
"S13_TYPE_OF_FAULTY_STATEMENT_BEFORE_3": "",
"S12_METHOD_CALL_WITH_TRY_CATCH": "false",
"CONSTANT": {
"0": {
"C1_SAME_TYPE_CONSTANT": "true",
"C2_SAME_TYPE_CONSTANT_VAR": "false",
"C2_SAME_TYPE_VAR": "false"
}
},
"S10_METHOD_CALL_WITH_NULL_GUARD": "false",
"S5_SIMILAR_PRIMITIVE_TYPE_WITH_NORMAL_GUARD": "false",
"S2_SIMILAR_OBJECT_TYPE_WITH_NULL_GUARD": "false",
"S4_Field_NOT_ASSIGNED": "false",
"S13_TYPE_OF_FAULTY_STATEMENT_AFTER_1": "",
"S1_LOCAL_VAR_NOT_USED": "false",
"S3_TYPE_OF_FAULTY_STATEMENT": "Method",
"S13_TYPE_OF_FAULTY_STATEMENT_AFTER_3": "",
"FEATURES_TYPEACCESS": {
"org.apache.commons.math.analysis.solvers.BrentSolver": {
"C3_TYPEACCESS_ACTUAL_VAR": "false",
"C4_SIMILAR_TYPEACCESS_ACTUAL_VAR": "false"
},
"java.lang.Math": {
"C3_TYPEACCESS_ACTUAL_VAR": "false",
"C4_SIMILAR_TYPEACCESS_ACTUAL_VAR": "false"
}
},
"S13_TYPE_OF_FAULTY_STATEMENT_AFTER_2": "",
"S15_HAS_OBJECTIVE_METHOD_CALL": "false",
"FEATURES_METHOD_INVOCATION": {},
"ast_info": {
"operator": "INS",
"src_type": "If",
"dst_type": "null",
"src": "if ((yMin * yMax) > 0) {\n throw org.apache.commons.math.MathRuntimeException.createIllegalArgumentException(org.apache.commons.math.analysis.solvers.BrentSolver.NON_BRACKETING_MESSAGE, min, max, yMin, yMax);\n}",
"dst": "null",
"src_parent_type": "Block",
"dst_parent_type": "null",
"src_parent": "{\n clearResult();\n verifySequence(min, initial, max);\n double yInitial = f.value(initial);\n if (java.lang.Math.abs(yInitial) <= functionValueAccuracy) {\n setResult(initial, 0);\n return result;\n }\n double yMin = f.value(min);\n if (java.lang.Math.abs(yMin) <= functionValueAccuracy) {\n setResult(yMin, 0);\n return result;\n }\n if ((yInitial * yMin) < 0) {\n return solve(f, min, yMin, initial, yInitial, min, yMin);\n }\n double yMax = f.value(max);\n if (java.lang.Math.abs(yMax) <= functionValueAccuracy) {\n setResult(yMax, 0);\n return result;\n }\n if ((yInitial * yMax) < 0) {\n return solve(f, initial, yInitial, max, yMax, initial, yInitial);\n }\n if ((yMin * yMax) > 0) {\n throw org.apache.commons.math.MathRuntimeException.createIllegalArgumentException(org.apache.commons.math.analysis.solvers.BrentSolver.NON_BRACKETING_MESSAGE, min, max, yMin, yMax);\n }\n return solve(f, min, yMin, max, yMax, initial, yInitial);\n}",
"dst_parent": "null"
},
"P4J": {
"P4J_FORMER_INSERT_CONTROL_RF": "false",
"P4J_FORMER_INSERT_GUARD_RF": "false",
"P4J_FORMER_INSERT_STMT_RF": "false",
"P4J_FORMER_REPLACE_COND_RF": "false",
"P4J_FORMER_REPLACE_STMT_RF": "false",
"P4J_FORMER_REMOVE_PARTIAL_IF": "false",
"P4J_FORMER_REMOVE_STMT": "false",
"P4J_FORMER_REMOVE_WHOLE_IF": "false",
"P4J_FORMER_REMOVE_WHOLE_BLOCK": "false",
"P4J_FORMER_OP_ADD_AF": "false",
"P4J_FORMER_OP_SUB_AF": "false",
"P4J_FORMER_OP_MUL_AF": "true",
"P4J_FORMER_OP_DIV_AF": "false",
"P4J_FORMER_OP_MOD_AF": "false",
"P4J_FORMER_OP_LE_AF": "true",
"P4J_FORMER_OP_LT_AF": "true",
"P4J_FORMER_OP_GE_AF": "false",
"P4J_FORMER_OP_GT_AF": "false",
"P4J_FORMER_OP_EQ_AF": "false",
"P4J_FORMER_OP_NE_AF": "false",
"P4J_FORMER_UOP_INC_AF": "false",
"P4J_FORMER_UOP_DEC_AF": "false",
"P4J_FORMER_ASSIGN_LHS_AF": "false",
"P4J_FORMER_ASSIGN_ZERO_AF": "false",
"P4J_FORMER_ASSIGN_CONST_AF": "false",
"P4J_FORMER_CHANGED_AF": "false",
"P4J_FORMER_DEREF_AF": "false",
"P4J_FORMER_INDEX_AF": "false",
"P4J_FORMER_MEMBER_ACCESS_AF": "true",
"P4J_FORMER_CALLEE_AF": "true",
"P4J_FORMER_CALL_ARGUMENT_AF": "true",
"P4J_FORMER_ABST_V_AF": "false",
"P4J_FORMER_STMT_LABEL_AF": "false",
"P4J_FORMER_STMT_LOOP_AF": "false",
"P4J_FORMER_STMT_ASSIGN_AF": "false",
"P4J_FORMER_STMT_CALL_AF": "true",
"P4J_FORMER_STMT_COND_AF": "true",
"P4J_FORMER_STMT_CONTROL_AF": "true",
"P4J_FORMER_R_STMT_ASSIGN_AF": "false",
"P4J_FORMER_R_STMT_CALL_AF": "false",
"P4J_FORMER_R_STMT_COND_AF": "false",
"P4J_FORMER_R_STMT_CONTROL_AF": "false",
"P4J_FORMER_MODIFIED_VF": "false",
"P4J_FORMER_MODIFIED_SIMILAR_VF": "false",
"P4J_FORMER_FUNC_ARGUMENT_VF": "false",
"P4J_FORMER_MEMBER_VF": "false",
"P4J_FORMER_LOCAL_VARIABLE_VF": "false",
"P4J_FORMER_GLOBAL_VARIABLE_VF": "false",
"P4J_FORMER_ZERO_CONST_VF": "false",
"P4J_FORMER_NONZERO_CONST_VF": "false",
"P4J_FORMER_STRING_LITERAL_VF": "false",
"P4J_FORMER_SIZE_LITERAL_VF": "false",
"P4J_SRC_INSERT_CONTROL_RF": "true",
"P4J_SRC_INSERT_GUARD_RF": "false",
"P4J_SRC_INSERT_STMT_RF": "false",
"P4J_SRC_REPLACE_COND_RF": "false",
"P4J_SRC_REPLACE_STMT_RF": "false",
"P4J_SRC_REMOVE_PARTIAL_IF": "false",
"P4J_SRC_REMOVE_STMT": "false",
"P4J_SRC_REMOVE_WHOLE_IF": "false",
"P4J_SRC_REMOVE_WHOLE_BLOCK": "false",
"P4J_SRC_OP_ADD_AF": "false",
"P4J_SRC_OP_SUB_AF": "false",
"P4J_SRC_OP_MUL_AF": "true",
"P4J_SRC_OP_DIV_AF": "false",
"P4J_SRC_OP_MOD_AF": "false",
"P4J_SRC_OP_LE_AF": "false",
"P4J_SRC_OP_LT_AF": "false",
"P4J_SRC_OP_GE_AF": "false",
"P4J_SRC_OP_GT_AF": "true",
"P4J_SRC_OP_EQ_AF": "false",
"P4J_SRC_OP_NE_AF": "false",
"P4J_SRC_UOP_INC_AF": "false",
"P4J_SRC_UOP_DEC_AF": "false",
"P4J_SRC_ASSIGN_LHS_AF": "false",
"P4J_SRC_ASSIGN_ZERO_AF": "false",
"P4J_SRC_ASSIGN_CONST_AF": "false",
"P4J_SRC_CHANGED_AF": "false",
"P4J_SRC_DEREF_AF": "false",
"P4J_SRC_INDEX_AF": "false",
"P4J_SRC_MEMBER_ACCESS_AF": "true",
"P4J_SRC_CALLEE_AF": "true",
"P4J_SRC_CALL_ARGUMENT_AF": "true",
"P4J_SRC_ABST_V_AF": "false",
"P4J_SRC_STMT_LABEL_AF": "false",
"P4J_SRC_STMT_LOOP_AF": "false",
"P4J_SRC_STMT_ASSIGN_AF": "false",
"P4J_SRC_STMT_CALL_AF": "true",
"P4J_SRC_STMT_COND_AF": "true",
"P4J_SRC_STMT_CONTROL_AF": "true",
"P4J_SRC_R_STMT_ASSIGN_AF": "false",
"P4J_SRC_R_STMT_CALL_AF": "false",
"P4J_SRC_R_STMT_COND_AF": "false",
"P4J_SRC_R_STMT_CONTROL_AF": "false",
"P4J_SRC_MODIFIED_VF": "false",
"P4J_SRC_MODIFIED_SIMILAR_VF": "false",
"P4J_SRC_FUNC_ARGUMENT_VF": "true",
"P4J_SRC_MEMBER_VF": "false",
"P4J_SRC_LOCAL_VARIABLE_VF": "true",
"P4J_SRC_GLOBAL_VARIABLE_VF": "true",
"P4J_SRC_ZERO_CONST_VF": "true",
"P4J_SRC_NONZERO_CONST_VF": "false",
"P4J_SRC_STRING_LITERAL_VF": "false",
"P4J_SRC_SIZE_LITERAL_VF": "false",
"P4J_LATER_INSERT_CONTROL_RF": "false",
"P4J_LATER_INSERT_GUARD_RF": "false",
"P4J_LATER_INSERT_STMT_RF": "false",
"P4J_LATER_REPLACE_COND_RF": "false",
"P4J_LATER_REPLACE_STMT_RF": "false",
"P4J_LATER_REMOVE_PARTIAL_IF": "false",
"P4J_LATER_REMOVE_STMT": "false",
"P4J_LATER_REMOVE_WHOLE_IF": "false",
"P4J_LATER_REMOVE_WHOLE_BLOCK": "false",
"P4J_LATER_OP_ADD_AF": "false",
"P4J_LATER_OP_SUB_AF": "false",
"P4J_LATER_OP_MUL_AF": "true",
"P4J_LATER_OP_DIV_AF": "false",
"P4J_LATER_OP_MOD_AF": "false",
"P4J_LATER_OP_LE_AF": "false",
"P4J_LATER_OP_LT_AF": "false",
"P4J_LATER_OP_GE_AF": "false",
"P4J_LATER_OP_GT_AF": "true",
"P4J_LATER_OP_EQ_AF": "false",
"P4J_LATER_OP_NE_AF": "false",
"P4J_LATER_UOP_INC_AF": "false",
"P4J_LATER_UOP_DEC_AF": "false",
"P4J_LATER_ASSIGN_LHS_AF": "false",
"P4J_LATER_ASSIGN_ZERO_AF": "false",
"P4J_LATER_ASSIGN_CONST_AF": "false",
"P4J_LATER_CHANGED_AF": "false",
"P4J_LATER_DEREF_AF": "false",
"P4J_LATER_INDEX_AF": "false",
"P4J_LATER_MEMBER_ACCESS_AF": "true",
"P4J_LATER_CALLEE_AF": "true",
"P4J_LATER_CALL_ARGUMENT_AF": "true",
"P4J_LATER_ABST_V_AF": "false",
"P4J_LATER_STMT_LABEL_AF": "false",
"P4J_LATER_STMT_LOOP_AF": "false",
"P4J_LATER_STMT_ASSIGN_AF": "false",
"P4J_LATER_STMT_CALL_AF": "true",
"P4J_LATER_STMT_COND_AF": "true",
"P4J_LATER_STMT_CONTROL_AF": "true",
"P4J_LATER_R_STMT_ASSIGN_AF": "false",
"P4J_LATER_R_STMT_CALL_AF": "false",
"P4J_LATER_R_STMT_COND_AF": "false",
"P4J_LATER_R_STMT_CONTROL_AF": "false",
"P4J_LATER_MODIFIED_VF": "false",
"P4J_LATER_MODIFIED_SIMILAR_VF": "false",
"P4J_LATER_FUNC_ARGUMENT_VF": "false",
"P4J_LATER_MEMBER_VF": "false",
"P4J_LATER_LOCAL_VARIABLE_VF": "false",
"P4J_LATER_GLOBAL_VARIABLE_VF": "false",
"P4J_LATER_ZERO_CONST_VF": "false",
"P4J_LATER_NONZERO_CONST_VF": "false",
"P4J_LATER_STRING_LITERAL_VF": "false",
"P4J_LATER_SIZE_LITERAL_VF": "false"
}
}
]
}
]
}
