Messages

method

void net.sourceforge.pebble.decorator. PhotoDecorator()

method	net.sourceforge.pebble.decorator.PhotoDecorator__ static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void decorate(ContentDecoratorContext, BlogEntry)
pre	blogEntry != null
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:compile
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.io.StringReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:trim
pre	blogEntry.propertyChangeSupport != null
unanalyzed	call on java.lang.String:equals
pre	init'ed(blogEntry.body)
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.commons.logging.Log:warn
pre	init'ed(blogEntry.excerpt)
post	blogEntry.body != null
unanalyzed	call on java.lang.String:valueOf
post	init'ed(blogEntry.excerpt)
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange

method	void decorate(ContentDecoratorContext, StaticPage)
pre	staticPage != null
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:compile
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.io.StringReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.lang.String:valueOf
pre	init'ed(staticPage.body)
pre	staticPage.propertyChangeSupport != null
post	staticPage.body != null
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange

method	String markup(String)
presumption	java.lang.String:length(...)@102 - java.lang. String:length(...)@102 in -2³²+1.. 2³¹
presumption	java.util.regex.Pattern:compile(...)@91 != null
presumption	java.util.regex.Pattern:matcher(...)@93 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@55 != null
presumption	tokens.length@119 >= 1
post	return_value != null
test_vector	content: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@113: {0}, {1}
test_vector	java.lang.String:length(...)@83: {1.. 2³²-1}, {0}
test_vector	java.util.regex.Matcher:find(...)@96: {1}, {0}
test_vector	tokens.length@119: {1, 3..+Inf}, {2}

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)