method

org.apache.roller.weblogger.business.startup. StartupException__static_init

method	void org.apache.roller.weblogger.business.startup. StartupException(String)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.startupLog == java.util.Collections.EMPTY_ LIST
post	(soft) init'ed(this.startupLog)
unanalyzed	call on org.apache.roller.RollerException

method	void org.apache.roller.weblogger.business.startup. StartupException(String, Throwable)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.startupLog == java.util.Collections.EMPTY_ LIST
post	(soft) init'ed(this.startupLog)
unanalyzed	call on org.apache.roller.RollerException

method	void org.apache.roller.weblogger.business.startup. StartupException(String, List)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.startupLog == One-of{log, java.util. Collections.EMPTY_LIST}
post	(soft) init'ed(this.startupLog)
unanalyzed	call on org.apache.roller.RollerException
test_vector	log: Addr_Set{null}, Inverse{null}

method	void org.apache.roller.weblogger.business.startup. StartupException(String, Throwable, List)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.startupLog == One-of{log, java.util. Collections.EMPTY_LIST}
post	(soft) init'ed(this.startupLog)
unanalyzed	call on org.apache.roller.RollerException
test_vector	log: Addr_Set{null}, Inverse{null}

method	List getStartupLog()
post	return_value == this.startupLog
post	init'ed(return_value)