configuration.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • String evaluateDirectory(String)

    • -/+ Kind Annotation Text Date
    U prelog != null2010-07-16 16:14:15
    U pres != null2010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@185 <= 232-22010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    U test_vectorjava.lang.String:startsWith(...)@184: {0}, {1}2010-07-16 16:14:15

  • DAOFactory getDaoFactory()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.daoFactory)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.daoFactory2010-07-16 16:14:15

  • String getDataDirectory()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.dataDirectory)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.dataDirectory2010-07-16 16:14:15

  • String getDomainName()

    • -/+ Kind Annotation Text Date
    -prenet.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null2010-07-22 12:56:56
    -prenet.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration.url != null2010-07-22 12:56:56
    U presumptionjava.lang.String:indexOf(...)@80 <= 232-42010-07-16 16:14:15
    +presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...).url@79 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...)@79 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getInstance(.. .)@79 != null2010-07-22 12:56:56
    U postreturn_value != null2010-07-16 16:14:15
    U test_vectorjava.lang.String:indexOf(...)@85: {-231.. -1}, {0..232-1}2010-07-16 16:14:15

  • long getFileUploadQuota()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.fileUploadQuota)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.fileUploadQuota2010-07-16 16:14:15

  • long getFileUploadSize()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.fileUploadSize)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.fileUploadSize2010-07-16 16:14:15

  • String getSecureUrl()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.url)2010-07-16 16:14:15
    U preinit'ed(this.secureUrl)2010-07-16 16:14:15
    U post(soft) init'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == One-of{this.secureUrl, this.url}2010-07-16 16:14:15
    U test_vectorjava.lang.String:length(...)@94: {0}, {1..232-1}2010-07-16 16:14:15
    U test_vectorthis.secureUrl: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • SecurityRealm getSecurityRealm()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.securityRealm)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.securityRealm2010-07-16 16:14:15

  • String getSmtpHost()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.smtpHost)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.smtpHost2010-07-16 16:14:15

  • String getUrl()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.url)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.url2010-07-16 16:14:15

  • bool isMultiBlog()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.multiBlog)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.multiBlog2010-07-16 16:14:15

  • bool isUserThemesEnabled()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.userThemesEnabled)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.userThemesEnabled2010-07-16 16:14:15

  • bool isVirtualHostingEnabled()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.virtualHostingEnabled)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.virtualHostingEnabled2010-07-16 16:14:15

  • void net.sourceforge.pebble.Configuration()

    • -/+ Kind Annotation Text Date
    U postnew FileBlogEntryDAO(FileDAOFactory#1) num objects == 12010-07-16 16:14:15
    U postnew FileCategoryDAO(FileDAOFactory#3) num objects == 12010-07-16 16:14:15
    U postnew FileDAOFactory(Configuration#1) num objects == 12010-07-16 16:14:15
    U postnew FileRefererFilterDAO(FileDAOFactory#4) num objects == 12010-07-16 16:14:15
    U postnew FileStaticPageDAO(FileDAOFactory#2) num objects == 12010-07-16 16:14:15
    +postpossibly_updated(this.daoFactory.categoryDAO. jaxbContext)2010-07-22 12:56:56
    +postpossibly_updated(this.daoFactory.staticPageDAO. jaxbContext)2010-07-22 12:56:56
    U postthis.daoFactory == &new FileDAOFactory(Configur ation#1)2010-07-16 16:14:15
    U postthis.daoFactory.blogEntryDAO == &new FileBlogEntryDAO(FileDAOFactory#1)2010-07-16 16:14:15
    U postthis.daoFactory.categoryDAO == &new FileCategoryDAO(FileDAOFactory#3)2010-07-16 16:14:15
    U postthis.daoFactory.refererFilterDAO == &new FileRefererFilterDAO(FileDAOFactory#4)2010-07-16 16:14:15
    U postthis.daoFactory.staticPageDAO == &new FileStaticPageDAO(FileDAOFactory#2)2010-07-16 16:14:15
    U postthis.dataDirectory == &"${user.home}.pebble"2010-07-16 16:14:15
    U postthis.fileUploadQuota == -12010-07-16 16:14:15
    U postthis.fileUploadSize == 2_0482010-07-16 16:14:15
    U postthis.multiBlog == 02010-07-16 16:14:15
    U postthis.smtpHost == &"java:comp.env.mail.Session"2010-07-16 16:14:15
    U postthis.userThemesEnabled == 12010-07-16 16:14:15
    U postthis.virtualHostingEnabled == 02010-07-16 16:14:15
    +unanalyzedcall on java.lang.Class:getPackage2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Object:getClass2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Package:getName2010-07-22 12:56:56
    +unanalyzedcall on javax.xml.bind.JAXBContext:newInstance2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.dao.DAOFactory2010-07-16 16:14:15

  • net.sourceforge.pebble.Configuration__static_init

    • -/+ Kind Annotation Text Date
    U postinit'ed(log)2010-07-16 16:14:15

  • void setDaoFactory(DAOFactory)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.daoFactory)2010-07-16 16:14:15
    U postthis.daoFactory == daoFactory2010-07-16 16:14:15

  • void setDataDirectory(String)

    • -/+ Kind Annotation Text Date
    U predataDirectory != null2010-07-16 16:14:15
    U prelog != null2010-07-16 16:14:15
    U postthis.dataDirectory != null2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.System:getProperty2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-16 16:14:15

  • void setFileUploadQuota(long)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.fileUploadQuota)2010-07-16 16:14:15
    U postthis.fileUploadQuota == fileUploadQuota2010-07-16 16:14:15

  • void setFileUploadSize(long)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.fileUploadSize)2010-07-16 16:14:15
    U postthis.fileUploadSize == fileUploadSize2010-07-16 16:14:15

  • void setMultiBlog(bool)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.multiBlog)2010-07-16 16:14:15
    U postthis.multiBlog == multiBlog2010-07-16 16:14:15

  • void setSecureUrl(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.secureUrl)2010-07-16 16:14:15
    U test_vectorjava.lang.String:endsWith(...)@104: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.lang.String:length(...)@104: {0}, {1..232-1}2010-07-16 16:14:15
    U test_vectors: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • void setSecurityRealm(SecurityRealm)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.securityRealm)2010-07-16 16:14:15
    U postthis.securityRealm == securityRealm2010-07-16 16:14:15

  • void setSmtpHost(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.smtpHost)2010-07-16 16:14:15
    U postthis.smtpHost == smtpHost2010-07-16 16:14:15

  • void setUrl(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.url)2010-07-16 16:14:15
    U test_vectorjava.lang.String:endsWith(...)@72: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.lang.String:length(...)@72: {0}, {1..232-1}2010-07-16 16:14:15
    U test_vectors: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • void setUserThemesEnabled(bool)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.userThemesEnabled)2010-07-16 16:14:15
    U postthis.userThemesEnabled == userThemesEnabled2010-07-16 16:14:15

  • void setVirtualHostingEnabled(bool)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.virtualHostingEnabled)2010-07-16 16:14:15
    U postthis.virtualHostingEnabled == virtualHostingEnabled 2010-07-16 16:14:15