stringutils.java

stringutils.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

String filterHTML(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	s: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

String filterNewlines(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	s: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

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

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.util.StringUtils__static_init

-/+	Kind	Annotation Text	Date
U	post	allowedSchemes == &new ArrayList(StringUtils__ static_init#2)	2010-07-16 16:14:15
U	post	htmlEntities == &new HashMap(StringUtils__ static_init#1)	2010-07-16 16:14:15
U	post	init'ed(BR_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_A_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_BLOCKQUOTE_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_B_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_EM_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_I_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_LI_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_OL_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_PRE_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_P_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_STRONG_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_SUB_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_SUP_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(CLOSING_UL_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_A_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_BLOCKQUOTE_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_B_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_EM_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_I_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_LI_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_OL_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_PRE_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_P_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_STRONG_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_SUB_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_SUP_TAG_PATTERN)	2010-07-16 16:14:15
U	post	init'ed(OPENING_UL_TAG_PATTERN)	2010-07-16 16:14:15
U	post	new ArrayList(StringUtils__static_init#2) num objects == 1	2010-07-16 16:14:15
U	post	new HashMap(StringUtils__static_init#1) num objects == 1	2010-07-16 16:14:15

String replace(String, Pattern, String)

-/+	Kind	Annotation Text	Date
U	pre	pattern != null	2010-07-16 16:14:15
U	presumption	java.util.regex.Pattern:matcher(...)@461 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

String stripScriptTags(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	html: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

String transformHTML(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	java.lang.String:charAt(...)@357: {34}, {38}, {60}, {62}, {0..33, 35..37, 39..59, 61, 63..2¹⁶-1}	2010-07-16 16:14:15
U	test_vector	s: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

String transformToHTMLSubset(String)

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

String truncate(String)

-/+	Kind	Annotation Text	Date
U	post	return_value != null	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:split	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15

String truncate(String, int)

-/+	Kind	Annotation Text	Date
U	presumption	words.length@524 <= 2³²-1	2010-07-16 16:14:15
U	presumption	words[i]@524 != null	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@530: {0..20}, {21..2³²-1}	2010-07-16 16:14:15

String unescapeHTMLEntities(String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) source != null	2010-07-16 16:14:15
U	presumption	java.util.Map:keySet(...)@559 != null	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@561: {1}, {0}	2010-07-16 16:14:15

String validateUrl(String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) url != null	2010-07-16 16:14:15
U	post	(soft) return_value != null	2010-07-16 16:14:15
U	post	return_value == One-of{url, &""}	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@573: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@572: {1}, {0}	2010-07-16 16:14:15