[
https://issues.apache.org/jira/browse/LANG-432?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12595895#action_12595895 ]
Benjamin Bentmann commented on LANG-432:
----------------------------------------
The proposed changes to {{StringUtils.containsIgnoreCase()}} aim at establishing the following assertion:
{noformat}
str1.equalsIgnoreCase(str2) ==> StringUtils.containsIgnoreCase(str1, str2)
{noformat}
or more completely
{noformat}
StringUtils.containsIgnoreCase(str1, str2)
iff. there exists k >= 0 such that
str1.substring(k, k + str2.length()).equalsIgnoreCase(str2)
{noformat}
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.