Messages

method	org.apache.roller.weblogger.business.plugins. comment.AutoformatPlugin__static_init
post	init'ed(log)

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

method

void org.apache.roller.weblogger.business.plugins. comment.AutoformatPlugin()

method	String getId()
post	return_value == &"AutoFormat"

method	String getName()
post	return_value == &"Auto Format"

method	String getDescription()
post	return_value == &"Converts plain text style paragraphs into html paragraphs."

method	String render(WeblogEntryComment, String)
presumption	org.apache.commons.logging.LogFactory:getLog(... )@34 != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	java.io.BufferedReader:readLine(...)@76: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@78: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@83: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@87: {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)

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