method org.apache.roller.weblogger.ui.rendering.plugins. comments.ExcessSizeCommentValidator__static_init










method void org.apache.roller.weblogger.ui.rendering. plugins.comments.ExcessSizeCommentValidator()
postinit'ed(this.bundle)
postinit'ed(this.threshold)









  infomethod not available-- call on int org.apache.roller.weblogger.config. WebloggerConfig:getIntProperty(String)











method String getName()
prethis.bundle != null
postinit'ed(return_value)










method int validate(WeblogEntryComment, RollerMessages)
precomment != null
pre(soft) messages != null
pre(soft) messages.mErrors != null
pre(soft) init'ed(this.threshold)
presumptionorg.apache.roller.weblogger.pojos.WeblogEntryCommen t:getContent(...)@42 != null
postreturn_value in {0, 100}
unanalyzedcall on org.apache.roller.weblogger.util. RollerMessages$RollerMessage
unanalyzedcall on java.util.List:add
test_vectororg.apache.roller.weblogger.pojos.WeblogEntryCommen t:getContent(...)@42: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getContent()