Messages

method | void net.sourceforge.pebble.util.StringUtils()

method | net.sourceforge.pebble.util.StringUtils__static_ init
post | init'ed(BR_TAG_PATTERN)
post | init'ed(CLOSING_A_TAG_PATTERN)
post | init'ed(CLOSING_BLOCKQUOTE_TAG_PATTERN)
post | init'ed(CLOSING_B_TAG_PATTERN)
post | init'ed(CLOSING_EM_TAG_PATTERN)
post | init'ed(CLOSING_I_TAG_PATTERN)
post | init'ed(CLOSING_LI_TAG_PATTERN)
post | init'ed(CLOSING_OL_TAG_PATTERN)
post | init'ed(CLOSING_PRE_TAG_PATTERN)
post | init'ed(CLOSING_P_TAG_PATTERN)
post | init'ed(CLOSING_STRONG_TAG_PATTERN)
post | init'ed(CLOSING_SUB_TAG_PATTERN)
post | init'ed(CLOSING_SUP_TAG_PATTERN)
post | init'ed(CLOSING_UL_TAG_PATTERN)
post | init'ed(OPENING_A_TAG_PATTERN)
post | init'ed(OPENING_BLOCKQUOTE_TAG_PATTERN)
post | init'ed(OPENING_B_TAG_PATTERN)
post | init'ed(OPENING_EM_TAG_PATTERN)
post | init'ed(OPENING_I_TAG_PATTERN)
post | init'ed(OPENING_LI_TAG_PATTERN)
post | init'ed(OPENING_OL_TAG_PATTERN)
post | init'ed(OPENING_PRE_TAG_PATTERN)
post | init'ed(OPENING_P_TAG_PATTERN)
post | init'ed(OPENING_STRONG_TAG_PATTERN)
post | init'ed(OPENING_SUB_TAG_PATTERN)
post | init'ed(OPENING_SUP_TAG_PATTERN)
post | init'ed(OPENING_UL_TAG_PATTERN)
post | allowedSchemes == &new ArrayList(StringUtils__ static_init#2)
post | htmlEntities == &new HashMap(StringUtils__ static_init#1)
post | new ArrayList(StringUtils__static_init#2) num objects == 1
post | new HashMap(StringUtils__static_init#1) num objects == 1

method | String transformHTML(String)
post | init'ed(return_value)
test_vector | s: Inverse{null}, Addr_Set{null}
test_vector | java.lang.String:charAt(...)@357: {34}, {38}, {60}, {62}, {0..33, 35..37, 39..59, 61, 63..216-1}

method | String transformToHTMLSubset(String)
presumption | java.lang.String:indexOf(...)@430 + java.lang.String:length(...)@432 in -231..232-1
presumption | java.lang.String:indexOf(...)@436 + java.lang.String:length(...)@438 in -231..232-1
presumption | java.lang.String:indexOf(...)@436 + java.lang.String:length(...)@439 in -231..232-1
presumption | java.util.regex.Matcher:replaceAll(...)@462 != null
presumption | java.util.regex.Pattern:compile(...)@45 != null
presumption | java.util.regex.Pattern:compile(...)@46 != null
presumption | java.util.regex.Pattern:compile(...)@47 != null
presumption | java.util.regex.Pattern:compile(...)@48 != null
presumption | java.util.regex.Pattern:compile(...)@49 != null
presumption | java.util.regex.Pattern:compile(...)@50 != null
presumption | java.util.regex.Pattern:compile(...)@51 != null
presumption | java.util.regex.Pattern:compile(...)@52 != null
presumption | java.util.regex.Pattern:compile(...)@53 != null
presumption | java.util.regex.Pattern:compile(...)@54 != null
presumption | java.util.regex.Pattern:compile(...)@55 != null
presumption | java.util.regex.Pattern:compile(...)@56 != null
presumption | java.util.regex.Pattern:compile(...)@57 != null
presumption | java.util.regex.Pattern:compile(...)@58 != null
presumption | java.util.regex.Pattern:compile(...)@59 != null
presumption | java.util.regex.Pattern:compile(...)@60 != null
presumption | java.util.regex.Pattern:compile(...)@61 != null
presumption | java.util.regex.Pattern:compile(...)@62 != null
presumption | java.util.regex.Pattern:compile(...)@63 != null
presumption | java.util.regex.Pattern:compile(...)@64 != null
presumption | java.util.regex.Pattern:compile(...)@65 != null
presumption | java.util.regex.Pattern:compile(...)@66 != null
presumption | java.util.regex.Pattern:compile(...)@67 != null
presumption | java.util.regex.Pattern:compile(...)@68 != null
presumption | java.util.regex.Pattern:compile(...)@69 != null
presumption | java.util.regex.Pattern:compile(...)@70 != null
presumption | java.util.regex.Pattern:compile(...)@71 != null
presumption | java.util.regex.Pattern:matcher(...)@420 != null
post | init'ed(return_value)
unanalyzed | call on java.util.regex.Pattern:matcher
unanalyzed | call on java.util.regex.Matcher:replaceAll
unanalyzed | call on java.util.Collection:iterator
unanalyzed | call on java.lang.String:startsWith
test_vector | s: Inverse{null}, Addr_Set{null}
test_vector | java.lang.String:indexOf(...)@430: {-231. .-1}, {0..232-1}
test_vector | java.lang.String:indexOf(...)@436: {-231. .-1}, {0..232-1}
test_vector | java.util.regex.Matcher:find(...)@425: {1}, {0}

method | String replace(String, Pattern, String)
pre | pattern != null
presumption | java.util.regex.Pattern:matcher(...)@461 != null
post | init'ed(return_value)

method | String filterNewlines(String)
post | init'ed(return_value)
test_vector | s: Inverse{null}, Addr_Set{null}

method | String filterHTML(String)
post | init'ed(return_value)
test_vector | s: Inverse{null}, Addr_Set{null}

method | String truncate(String)
post | return_value != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.lang.String:split

method | String truncate(String, int)
presumption | words.length@524 <= 232-1
presumption | words[i]@524 != null
post | return_value != null
unanalyzed | call on java.lang.String:replaceAll
test_vector | java.lang.String:length(...)@530: {0..20}, {21..232-1}

method | String stripScriptTags(String)
post | init'ed(return_value)
test_vector | html: Inverse{null}, Addr_Set{null}

method | String unescapeHTMLEntities(String)
pre | (soft) source != null
presumption | java.util.Map:keySet(...)@559 != null
post | return_value != null
test_vector | java.util.Iterator:hasNext(...)@561: {1}, {0}

method | String validateUrl(String)
pre | (soft) url != null
post | return_value == One-of{url, &""}
post | (soft) return_value != null
test_vector | java.lang.String:startsWith(...)@573: {0}, {1}
test_vector | java.util.Iterator:hasNext(...)@572: {1}, {0}