## 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..216-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 -231..232-1 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@436 + java.lang.String:length(...)@438 in -231..232-1 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@436 + java.lang.String:length(...)@439 in -231..232-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: {-231. .-1}, {0..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:indexOf(...)@436: {-231. .-1}, {0..232-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 <= 232-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..232-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