Java String.CASE_INSENSITIVE_ORDER Examples

Example #1

File: RawHeaders.java Project: droidsec-cn/droidsafe-src

 @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;
 }