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..2¹⁶-1}

method	String transformToHTMLSubset(String)
presumption	java.lang.String:indexOf(...)@430 + java.lang.String:length(...)@432 in -2³¹..2³²-1
presumption	java.lang.String:indexOf(...)@436 + java.lang.String:length(...)@438 in -2³¹..2³²-1
presumption	java.lang.String:indexOf(...)@436 + java.lang.String:length(...)@439 in -2³¹..2³²-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: {-2³¹. .-1}, {0..2³²-1}
test_vector	java.lang.String:indexOf(...)@436: {-2³¹. .-1}, {0..2³²-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 <= 2³²-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..2³²-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}