Messages

method	org.apache.roller.weblogger.ui.rendering.plugins. comments.CommentValidationManager__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.ui.rendering. plugins.comments.CommentValidationManager()
pre	log != null
presumption	java.lang.Class:forName(...)@49 != null
post	init'ed(this.bundle)
post	this.validators == &new ArrayList(CommentValida tionManager#1)
post	new ArrayList(CommentValidationManager#1) num objects == 1
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on java.util.StringTokenizer
unanalyzed	call on java.util.StringTokenizer:countTokens
unanalyzed	call on java.util.StringTokenizer:hasMoreTokens
unanalyzed	call on java.util.StringTokenizer:nextToken

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

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

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

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

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

method	void addCommentValidator(CommentValidator)
pre	this.validators != null

method	int validateComment(WeblogEntryComment, RollerMessages)
pre	this.validators != null
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@91 != null
presumption	java.util.List:size(...)@95 != 0
post	init'ed(return_value)
unanalyzed	call on java.util.ResourceBundle:getString
test_vector	java.util.Iterator:hasNext(...)@90: {0}, {1}
test_vector	java.util.List:size(...)@89: {-2³¹..0}, {1..2³²-1}

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

info call too complex - analysis skipped -- call on int validate(WeblogEntryComment, RollerMessages)