@DSSafe(DSCat.SAFE_LIST)
@DSGenerator(
tool_name = "Doppelganger",
tool_version = "0.4.2",
generated_on = "2013-06-28 14:15:29.375 -0400",
hash_original_method = "97A4263BD250C85D737E56C91BCF9DB2",
hash_generated_method = "87FDB9F6A8C83D84768E8CB65F606488")
@FindBugsSuppressWarnings("ES_COMPARING_PARAMETER_STRING_WITH_EQ")
@Override
public int compare(String a, String b) {
{
int var19956D017C395B4AC52CA5B4F956ED43_584031473 =
(String.CASE_INSENSITIVE_ORDER.compare(a, b));
}
addTaint(a.getTaint());
addTaint(b.getTaint());
int varFA7153F7ED1CB6C0FCF2FFB2FAC21748_1091903691 = getTaintInt();
return varFA7153F7ED1CB6C0FCF2FFB2FAC21748_1091903691;
}