Messages

method | void net.sourceforge.pebble.decorator. NoFollowDecorator()

method | net.sourceforge.pebble.decorator.NoFollowDecorator __static_init
post | init'ed(HTML_LINK_PATTERN)

method | void decorate(ContentDecoratorContext, Comment)
pre | comment != null
pre | (soft) HTML_LINK_PATTERN != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.util.regex.Pattern:matcher
unanalyzed | call on java.util.regex.Matcher:find
unanalyzed | call on java.util.regex.Matcher:start
unanalyzed | call on java.util.regex.Matcher:end
unanalyzed | call on java.lang.String:substring
pre | init'ed(comment.body)
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:toLowerCase
post | init'ed(comment.body)

method | void decorate(ContentDecoratorContext, TrackBack)
pre | trackBack != null
pre | (soft) HTML_LINK_PATTERN != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.util.regex.Pattern:matcher
unanalyzed | call on java.util.regex.Matcher:find
unanalyzed | call on java.util.regex.Matcher:start
unanalyzed | call on java.util.regex.Matcher:end
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:toLowerCase
pre | init'ed(trackBack.excerpt)
post | trackBack.excerpt != null

method | String addNoFollowLinks(String)
pre | (soft) HTML_LINK_PATTERN != null
presumption | java.lang.String:indexOf(...)@63 <= 232-6
presumption | java.util.regex.Pattern:matcher(...)@52 != null
post | init'ed(return_value)
test_vector | html: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:indexOf(...)@63: {-231.. -2, 0..232-6}, {-1}
test_vector | java.lang.String:indexOf(...)@72: {-231.. -2, 0..232-1}, {-1}
test_vector | java.lang.String:length(...)@48: {1.. 232-1}, {0}
test_vector | java.util.regex.Matcher:find(...)@55: {1}, {0}