Messages

method	net.sourceforge.pebble.Configuration__static_init
post	init'ed(log)

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

method	void net.sourceforge.pebble.Configuration()
post	this.daoFactory == &new FileDAOFactory(Configur ation#1)
post	this.dataDirectory == &"${user.home}.pebble"
post	this.fileUploadQuota == -1
post	this.fileUploadSize == 2_048
post	this.multiBlog == 0
post	this.virtualHostingEnabled == 0
post	this.smtpHost == &"java:comp.env.mail.Session"
post	this.userThemesEnabled == 1
post	new FileDAOFactory(Configuration#1) num objects == 1
post	new FileBlogEntryDAO(FileDAOFactory#1) num objects == 1
post	new FileCategoryDAO(FileDAOFactory#3) num objects == 1
post	new FileRefererFilterDAO(FileDAOFactory#4) num objects == 1
post	new FileStaticPageDAO(FileDAOFactory#2) num objects == 1
post	this.daoFactory.blogEntryDAO == &new FileBlogEntryDAO(FileDAOFactory#1)
post	this.daoFactory.categoryDAO == &new FileCategoryDAO(FileDAOFactory#3)
post	possibly_updated(this.daoFactory.categoryDAO. jaxbContext)
post	this.daoFactory.refererFilterDAO == &new FileRefererFilterDAO(FileDAOFactory#4)
post	this.daoFactory.staticPageDAO == &new FileStaticPageDAO(FileDAOFactory#2)
unanalyzed	call on net.sourceforge.pebble.dao.DAOFactory
post	possibly_updated(this.daoFactory.staticPageDAO. jaxbContext)
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on javax.xml.bind.JAXBContext:newInstance
unanalyzed	call on java.lang.Exception:printStackTrace

method	String getUrl()
pre	init'ed(this.url)
post	return_value == this.url
post	init'ed(return_value)

method	void setUrl(String)
post	init'ed(this.url)
test_vector	s: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:endsWith(...)@72: {1}, {0}
test_vector	java.lang.String:length(...)@72: {0}, {1..2³²-1}

method	String getDomainName()
presumption	java.lang.String:indexOf(...)@80 <= 2³²-4
post	return_value != null
test_vector	java.lang.String:indexOf(...)@85: {-2³¹.. -1}, {0..2³²-1}
presumption	net.sourceforge.pebble.PebbleContext:getConfigurati on(...).url@79 != null
presumption	net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@79 != null
presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@79 != null

info method not available -- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()

info method not available -- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()

method	String getSecureUrl()
pre	init'ed(this.secureUrl)
pre	(soft) init'ed(this.url)
post	return_value == One-of{this.secureUrl, this.url}
post	(soft) init'ed(return_value)
test_vector	this.secureUrl: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@94: {0}, {1..2³²-1}

method	void setSecureUrl(String)
post	init'ed(this.secureUrl)
test_vector	s: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:endsWith(...)@104: {1}, {0}
test_vector	java.lang.String:length(...)@104: {0}, {1..2³²-1}

method	String getSmtpHost()
pre	init'ed(this.smtpHost)
post	return_value == this.smtpHost
post	init'ed(return_value)

method	void setSmtpHost(String)
post	this.smtpHost == smtpHost
post	init'ed(this.smtpHost)

method	long getFileUploadSize()
pre	init'ed(this.fileUploadSize)
post	return_value == this.fileUploadSize
post	init'ed(return_value)

method	void setFileUploadSize(long)
post	this.fileUploadSize == fileUploadSize
post	init'ed(this.fileUploadSize)

method	long getFileUploadQuota()
pre	init'ed(this.fileUploadQuota)
post	return_value == this.fileUploadQuota
post	init'ed(return_value)

method	void setFileUploadQuota(long)
post	this.fileUploadQuota == fileUploadQuota
post	init'ed(this.fileUploadQuota)

method	DAOFactory getDaoFactory()
pre	init'ed(this.daoFactory)
post	return_value == this.daoFactory
post	init'ed(return_value)

method	void setDaoFactory(DAOFactory)
post	this.daoFactory == daoFactory
post	init'ed(this.daoFactory)

method	String getDataDirectory()
pre	init'ed(this.dataDirectory)
post	return_value == this.dataDirectory
post	init'ed(return_value)

method	void setDataDirectory(String)
pre	dataDirectory != null
pre	log != null
post	this.dataDirectory != null
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.System:getProperty

method	bool isMultiBlog()
pre	init'ed(this.multiBlog)
post	return_value == this.multiBlog
post	init'ed(return_value)

method	void setMultiBlog(bool)
post	this.multiBlog == multiBlog
post	init'ed(this.multiBlog)

method	bool isVirtualHostingEnabled()
pre	init'ed(this.virtualHostingEnabled)
post	return_value == this.virtualHostingEnabled
post	init'ed(return_value)

method	void setVirtualHostingEnabled(bool)
post	this.virtualHostingEnabled == virtualHostingEnabled
post	init'ed(this.virtualHostingEnabled)

method	SecurityRealm getSecurityRealm()
pre	init'ed(this.securityRealm)
post	return_value == this.securityRealm
post	init'ed(return_value)

method	void setSecurityRealm(SecurityRealm)
post	this.securityRealm == securityRealm
post	init'ed(this.securityRealm)

method	String evaluateDirectory(String)
pre	log != null
pre	s != null
presumption	java.lang.String:indexOf(...)@185 <= 2³²-2
post	return_value != null
test_vector	java.lang.String:startsWith(...)@184: {0}, {1}

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

method	bool isUserThemesEnabled()
pre	init'ed(this.userThemesEnabled)
post	return_value == this.userThemesEnabled
post	init'ed(return_value)

method	void setUserThemesEnabled(bool)
post	this.userThemesEnabled == userThemesEnabled
post	init'ed(this.userThemesEnabled)

	info	method not available	-- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
	info	method not available	-- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()