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}