Messages

method	org.apache.roller.weblogger.ui.core.plugins. UIPluginManagerImpl__static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@36 != null
post	instance == &new UIPluginManagerImpl(UIPluginMa nagerImpl__static_init#1)
post	(soft) log != null
post	new LinkedHashMap(UIPluginManagerImpl#1) num objects == 1
post	new UIPluginManagerImpl(UIPluginManagerImpl__ static_init#1) num objects == 1
post	init'ed(instance.defaultEditor)
post	instance.editors == &new LinkedHashMap(UIPlugin ManagerImpl#1)
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig: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 getId
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Map:size
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.LinkedHashMap

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

method	void org.apache.roller.weblogger.ui.core.plugins. UIPluginManagerImpl()
pre	log != null
post	init'ed(this.defaultEditor)
post	this.editors == &new LinkedHashMap(UIPluginMana gerImpl#1)
post	new LinkedHashMap(UIPluginManagerImpl#1) num objects == 1
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig: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 getId
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Map:size
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.util.Collection:iterator

method	UIPluginManager getInstance()
pre	init'ed(instance)
post	return_value == instance
post	init'ed(return_value)

method	List getWeblogEntryEditors()
pre	this.editors != null
post	return_value == &new ArrayList(getWeblogEntryEd itors#1)
post	new ArrayList(getWeblogEntryEditors#1) num objects == 1

method	WeblogEntryEditor getWeblogEntryEditor(String)
pre	(soft) init'ed(this.defaultEditor)
pre	(soft) this.editors != null
post	init'ed(return_value)

method	void loadEntryEditorClasses()
pre	log != null
pre	this.editors != null
pre	(soft) init'ed(this.defaultEditor)
presumption	editorList.length@95 <= 2³²-1
presumption	java.lang.Class:forName(...)@101 != null
presumption	java.util.Map:values(...)@133 != null
presumption	org.apache.commons.lang.StringUtils:stripAll(... )@95 != null
post	init'ed(this.defaultEditor)
test_vector	java.util.Map:size(...)@116: {1..2³²-1}, {-2³¹..0}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@123: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@92: Addr_Set{null}, Inverse{null}

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

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

info method not available -- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

info method not available -- call on String[] org.apache.commons.lang. StringUtils:stripAll(String[])

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:error(Object, Throwable)

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

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:warn(Object)

	info	method not available	-- call on String[] org.apache.commons.lang. StringUtils:split(String, String)
	info	method not available	-- call on String[] org.apache.commons.lang. StringUtils:stripAll(String[])