Messages

method	org.apache.roller.weblogger.business.plugins. entry.ConvertLineBreaksPlugin__static_init
post	init'ed(mLogger)

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

method	void org.apache.roller.weblogger.business.plugins. entry.ConvertLineBreaksPlugin()
pre	mLogger != null

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

method	String getName()
post	return_value == &"Convert Line Breaks"

method	String getDescription()
post	return_value == &"Convert plain text paragraphs to html by adding p and br tags"

method	void init(Weblog)
pre	mLogger != null

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

method	String render(WeblogEntry, String)
pre	(soft) mLogger != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == One-of{&"", str, &java.lang.StringBuffer:toString(...)}
post	return_value != null
test_vector	str: Addr_Set{null}, Inverse{null}
test_vector	java.io.BufferedReader:readLine(...)@98: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@82: {0}, {1}
test_vector	java.lang.String:length(...)@100: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@105: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@109: {1.. 2³²-1}, {0}

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

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