Messages

method	org.apache.roller.weblogger.business. WebloggerImpl__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. WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManage r, RefererManager, ReferrerQueueManager, ThemeManager, Thread...
pre	(soft) log != null
presumption	java.lang.Object:getClass(...)@112 != null
post	this.autoPingManager == autoPingManager
post	init'ed(this.autoPingManager)
post	this.bookmarkManager == bookmarkManager
post	init'ed(this.bookmarkManager)
post	init'ed(this.buildTime)
post	init'ed(this.buildUser)
post	this.fileManager == fileManager
post	init'ed(this.fileManager)
post	this.indexManager == indexManager
post	init'ed(this.indexManager)
post	this.pingQueueManager == pingQueueManager
post	init'ed(this.pingQueueManager)
post	this.pingTargetManager == pingTargetManager
post	init'ed(this.pingTargetManager)
post	this.pluginManager == pluginManager
post	init'ed(this.pluginManager)
post	this.propertiesManager == propertiesManager
post	init'ed(this.propertiesManager)
post	this.refererManager == refererManager
post	init'ed(this.refererManager)
post	this.refererQueueManager == refererQueueManager
post	init'ed(this.refererQueueManager)
post	init'ed(this.revision)
post	this.themeManager == themeManager
post	init'ed(this.themeManager)
post	this.threadManager == threadManager
post	init'ed(this.threadManager)
post	this.urlStrategy == urlStrategy
post	init'ed(this.urlStrategy)
post	this.userManager == userManager
post	init'ed(this.userManager)
post	init'ed(this.version)
post	this.weblogManager == weblogManager
post	init'ed(this.weblogManager)

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

method	FileManager getFileManager()
post	return_value == this.fileManager
post	init'ed(return_value)

method	ThreadManager getThreadManager()
post	return_value == this.threadManager
post	init'ed(return_value)

method	IndexManager getIndexManager()
post	return_value == this.indexManager
post	init'ed(return_value)

method	ThemeManager getThemeManager()
post	return_value == this.themeManager
post	init'ed(return_value)

method	ReferrerQueueManager getReferrerQueueManager()
post	return_value == this.refererQueueManager
post	init'ed(return_value)

method	UserManager getUserManager()
post	return_value == this.userManager
post	init'ed(return_value)

method	BookmarkManager getBookmarkManager()
post	return_value == this.bookmarkManager
post	init'ed(return_value)

method	WeblogManager getWeblogManager()
post	return_value == this.weblogManager
post	init'ed(return_value)

method	RefererManager getRefererManager()
post	return_value == this.refererManager
post	init'ed(return_value)

method	PropertiesManager getPropertiesManager()
post	return_value == this.propertiesManager
post	init'ed(return_value)

method	PingQueueManager getPingQueueManager()
post	return_value == this.pingQueueManager
post	init'ed(return_value)

method	AutoPingManager getAutopingManager()
post	return_value == this.autoPingManager
post	init'ed(return_value)

method	PingTargetManager getPingTargetManager()
post	return_value == this.pingTargetManager
post	init'ed(return_value)

method	PluginManager getPluginManager()
post	return_value == this.pluginManager
post	init'ed(return_value)

method	URLStrategy getUrlStrategy()
post	return_value == this.urlStrategy
post	init'ed(return_value)

method	void release()
pre	(soft) log != null
pre	(soft) this.autoPingManager != null
pre	(soft) this.bookmarkManager != null
pre	(soft) this.fileManager != null
pre	(soft) this.pingQueueManager != null
pre	(soft) this.pingTargetManager != null
pre	(soft) this.pluginManager != null
pre	(soft) this.refererManager != null
pre	(soft) this.threadManager != null
pre	(soft) this.userManager != null
pre	(soft) this.weblogManager != null

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

method	void initialize()
pre	log != null
pre	init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs)
pre	init'ed(this.threadManager.schedulerThread)
pre	org/apache/roller/weblogger/business/themes/ThemeMa nagerImpl.log != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	this.indexManager != null
pre	init'ed(this.indexManager.searchEnabled)
pre	this.propertiesManager != null
pre	this.propertiesManager.strategy != null
pre	this.propertiesManager.strategy.threadLocalEntityMa nager != null
pre	this.themeManager != null
pre	init'ed(this.themeManager.themeDir)
pre	this.threadManager != null
pre	(soft) init'ed(this.indexManager.inconsistentAtStar tup)
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) org/apache/roller/weblogger/business/jpa/JPA PropertiesManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/search/ IndexManagerImpl.mLogger != null
pre	(soft) org/apache/roller/weblogger/business/themes/ SharedThemeFromDir.log != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.runtime_config)
pre	(soft) this.indexManager.indexConsistencyMarker != null
pre	(soft) init'ed(this.indexManager.indexDir)
pre	(soft) this.indexManager.roller != null
pre	(soft) this.indexManager.roller.threadManager != null
pre	(soft) this.indexManager.roller.threadManager. serviceScheduler != null
pre	(soft) init'ed(this.indexManager.useRAMIndex)
pre	(soft) this.propertiesManager.strategy.emf != null
presumption	getAutopingManager(...).strategy != null
presumption	getAutopingManager(...).strategy.emf != null
presumption	getAutopingManager(...).strategy.threadLocalEntityM anager != null
presumption	getPingTargetManager(...).strategy != null
presumption	getPingTargetManager(...).strategy.emf != null
presumption	getPingTargetManager(...).strategy.threadLocalEntit yManager != null
presumption	getWeblogger(...).autoPingManager != null
presumption	getWeblogger(...).pingTargetManager != null
post	org/apache/roller/weblogger/business/pings/PingQueu eProcessor.theInstance == old org/apache/roller/web logger/business/pings/PingQueueProcessor. theInstance
post	org/apache/roller/weblogger/config/WebloggerRuntime Config.configDefs == One-of{old org/apache/roller/w eblogger/config/WebloggerRuntimeConfig.configDefs, &new RuntimeConfigDefs(unmarshall#1)}
post	init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs)
post	this.indexManager.fRAMindex == One-of{old this.indexManager.fRAMindex, &new RAMDirectory(initialize#2), &new RAMDirectory(initialize#3)}
post	init'ed(this.indexManager.inconsistentAtStartup)
post	this.themeManager.themes == One-of{old this.themeManager.themes, &new HashMap(loadAllThemesFromDisk#1)}
post	this.threadManager.schedulerThread == One-of{old this.threadManager.schedulerThread, &new Thread(initialize#8*)}
post	this.threadManager.schedulerThread != null
post	new ArrayList(RuntimeConfigDefs#1) num objects <= 1
post	new RuntimeConfigDefs(unmarshall#1) num objects == new ArrayList(RuntimeConfigDefs#1) num objects
post	new HashMap(loadAllThemesFromDisk#1) num objects <= 1
post	new PingQueueProcessor(init#1*) num objects == undefined
post	new PingQueueProcessor(init#1*) num objects == 0, if init'ed
post	new PingQueueProcessor(init#1*).pingQueueMgr == null
post	new RAMDirectory(initialize#2*) num objects <= 1
post	new RAMDirectory(initialize#3*) num objects <= 1
post	init'ed(new RuntimeConfigDefs(unmarshall#1). configDefs)
post	new Thread(initialize#8*) num objects <= 1
unanalyzed	call on java.util.HashMap
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:getResultList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getName
unanalyzed	call on java.util.HashMap:put
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getRuntimeConfigDefs
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.util.Map:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:fatal
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:list
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.lang.StringUtils:replace
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getLink
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getAction
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:canRead
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.InputStreamReader:read
unanalyzed	call on java.lang.String
unanalyzed	call on getName
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildText
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.HashSet
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.Set:add
unanalyzed	call on setId
unanalyzed	call on setName
unanalyzed	call on setDescription
unanalyzed	call on setAuthor
unanalyzed	call on java.util.Date
unanalyzed	call on setLastModified
unanalyzed	call on setEnabled
unanalyzed	call on java.io.File:lastModified
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.roller.weblogger.business. themes.SharedTheme
unanalyzed	call on org.apache.roller.weblogger.pojos. Theme:getId
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on org.apache.commons.lang.StringUtils:split
unanalyzed	call on org.apache.commons.lang.StringUtils:stripAl l
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:newInstance
unanalyzed	call on getTaskProperties
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on getWeblogger
unanalyzed	call on getPingQueueManager
unanalyzed	call on org.apache.roller.weblogger.business. runnable.ThreadManagerImpl:getTaskLockByName
unanalyzed	call on org.apache.roller.weblogger.pojos.TaskLock
unanalyzed	call on org.apache.roller.weblogger.pojos. TaskLock:setName
unanalyzed	call on org.apache.roller.weblogger.pojos. TaskLock:setLastRun
unanalyzed	call on org.apache.roller.weblogger.pojos. TaskLock:setTimeAquired
unanalyzed	call on org.apache.roller.weblogger.pojos. TaskLock:setTimeLeased
unanalyzed	call on org.apache.roller.weblogger.business. runnable.ThreadManagerImpl:saveTaskLock
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.concurrent.Executors:newCachedThr eadPool
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:setPriority
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on org.apache.lucene.index.IndexReader:indexEx ists
unanalyzed	call on org.apache.lucene.analysis.standard. StandardAnalyzer
unanalyzed	call on org.apache.lucene.index.IndexWriter
unanalyzed	call on org.apache.lucene.index.IndexWriter:close
unanalyzed	call on org.apache.lucene.store.FSDirectory:getDire ctory
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.WriteToIndexOperation
unanalyzed	call on scheduleIndexOperation
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on getThreadManager
unanalyzed	call on java.util.concurrent.ExecutorService:submit
unanalyzed	call on executeInBackground
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on org.apache.lucene.store.RAMDirectory
unanalyzed	call on java.lang.String:length
unanalyzed	call on getPingTargetManager
unanalyzed	call on getCommonPingTargets
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:groupCount
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget
unanalyzed	call on savePingTarget
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Set:isEmpty
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on javax.persistence.Query:executeUpdate
unanalyzed	call on removeAutoPings
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:keys
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Properties:setProperty
unanalyzed	call on init

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

info method not available -- call on void org.apache.roller.weblogger. business.WebloggerImpl:flush()

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

method	void shutdown()
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/business/HitCoun tQueue.instance != null
pre	(soft) init'ed(org/apache/roller/weblogger/business /HitCountQueue.instance.worker)
pre	(soft) org/apache/roller/weblogger/business/HitCoun tQueue.log != null
pre	(soft) org/apache/roller/weblogger/business/referre rs/ReferrerQueueManagerImpl.mLogger != null
pre	(soft) org/apache/roller/weblogger/business/search/ IndexManagerImpl.mLogger != null
pre	(soft) this.indexManager.indexConsistencyMarker != null
pre	(soft) init'ed(this.indexManager.reader)
pre	(soft) this.indexManager.roller != null
pre	(soft) this.indexManager.roller.threadManager != null
pre	(soft) this.indexManager.roller.threadManager. serviceScheduler != null
pre	(soft) init'ed(this.indexManager.searchEnabled)
pre	(soft) init'ed(this.indexManager.useRAMIndex)
pre	(soft) init'ed(this.refererQueueManager.workers)
pre	(soft) init'ed(this.threadManager.schedulerThread)
pre	(soft) this.threadManager.serviceScheduler != null
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on scheduleIndexOperation
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on getThreadManager
unanalyzed	call on java.util.concurrent.ExecutorService:submit
unanalyzed	call on executeInBackground
unanalyzed	call on org.apache.roller.weblogger.business. runnable.WorkerThread:getName
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on org.apache.roller.weblogger.business. runnable.WorkerThread:interrupt
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.business. search.operations.IndexOperation
unanalyzed	call on java.io.File:delete
unanalyzed	call on org.apache.lucene.index.IndexReader:close
unanalyzed	call on java.util.concurrent.ExecutorService:shutdo wnNow
unanalyzed	call on java.lang.Thread:interrupt
test_vector	this.indexManager: Addr_Set{null}, Inverse{null}
test_vector	this.refererQueueManager: Addr_Set{null}, Inverse{null}
test_vector	this.threadManager: Addr_Set{null}, Inverse{null}

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

method	String getVersion()
post	return_value == this.version
post	init'ed(return_value)

method	String getRevision()
post	return_value == this.revision
post	init'ed(return_value)

method	String getBuildTime()
post	return_value == this.buildTime
post	init'ed(return_value)

method	String getBuildUser()
post	return_value == this.buildUser
post	init'ed(return_value)