Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.plugins. entry.AcronymsPlugin__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.AcronymsPlugin()
presumption	org.apache.commons.logging.LogFactory:getLog(... )@48 != null
post	this.description == &"Expands acronyms defined in _acronym page. Example: definition 'HTML=H ... ages&rmik=tabbedmenu.website.pages'>_ acronym page<.a> to use Acronyms."
post	this.name == &"Acronyms"

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

method	String getName()
pre	init'ed(this.name)
post	return_value == this.name
post	init'ed(return_value)

method	String getDescription()
pre	init'ed(this.description)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeJavaScript(String)

method

void init(Weblog)

method	String render(WeblogEntry, String)
pre	entry != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
presumption	java.util.Properties:keySet(...)@100 != null
presumption	java.util.Properties:size(...)@97 >= 0
presumption	java.util.Properties:size(...)@98 >= 1
presumption	java.util.Properties:size(...)@98 - java.util.Properties:size(...)@97 in 0..2³²-1
presumption	java.util.regex.Pattern:compile(...)@102 init'ed
presumption	org.apache.commons.logging.LogFactory:getLog(... )@48 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@88 != null
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTemplate:getContents
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Properties:setProperty
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:replaceAll
unanalyzed	call on java.util.Properties
unanalyzed	call on getWeblogger
unanalyzed	call on getUserManager
unanalyzed	call on getPageByName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
test_vector	java.util.Iterator:hasNext(...)@100: {0}, {1}
test_vector	java.util.Properties:size(...)@90: {-2³¹. .-1, 1..2³²-1}, {0}
test_vector	java.util.Properties:size(...)@97: {1.. 2³²-1}, {0}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@81: {0}, {1}

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

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getId()

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

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()

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

Prev Msg Next Msg

+

click for all messages in this file medium

array index out of bounds check might fail: requires count < acronymPatterns. length

Prev Msg Next Msg

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because acronymPatterns != null

Prev Msg Next Msg

method	Properties loadAcronyms(Weblog)
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
pre	(soft) website != null
presumption	getWeblogger(...).userManager != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@48 != null
presumption	userMgr.strategy != null
presumption	userMgr.strategy.emf != null
presumption	userMgr.strategy.threadLocalEntityManager != null
post	return_value == &new Properties(loadAcronyms#1)
post	new Properties(loadAcronyms#1) num objects == 1
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTemplate:getContents
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Properties:setProperty
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

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

method	String matchAcronyms(String, Pattern[], String[])
pre	acronymPatterns != null
pre	acronymPatterns.length <= 2³²-1
pre	(soft) acronymPatterns[...] != null
pre	(soft) acronymTags != null
pre	(soft) acronymPatterns.length <= acronymTags. length
pre	(soft) init'ed(acronymTags[...])
presumption	java.util.regex.Pattern:matcher(...)@160 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@48 != null
post	init'ed(return_value)
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@154: {0}, {1}

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

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

method	Properties parseAcronymPage(WeblogTemplate, Properties)
pre	acronymPage != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@48 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTemplate:ge tContents(...)@174 != null
post	return_value == acronyms
post	init'ed(return_value)
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@176: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogTemplate:getContents()

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because lines != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(lines.length)

+

warning

test always goes same way test predetermined because i == lines.length

info dead code continues dead code continues

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == lines.length

Prev Msg Next Msg

info dead code continues dead code continues

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getId()
	info	method not available	-- call on void org.apache.commons.logging. Log:debug(Object)