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..232-1}

method | String getDomainName()
presumption | java.lang.String:indexOf(...)@80 <= 232-4
post | return_value != null
test_vector | java.lang.String:indexOf(...)@85: {-231.. -1}, {0..232-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..232-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..232-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 <= 232-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)

| 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)