## 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 | pre | log != null | 2010-07-16 16:14:15
U | pre | s != null | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@185 <= 232-2 | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15
U | test_vector | java.lang.String:startsWith(...)@184: {0}, {1} | 2010-07-16 16:14:15

- DAOFactory getDaoFactory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.daoFactory) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.daoFactory | 2010-07-16 16:14:15

- String getDataDirectory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.dataDirectory) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.dataDirectory | 2010-07-16 16:14:15

- String getDomainName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null | 2010-07-22 12:56:56
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration.url != null | 2010-07-22 12:56:56
U | presumption | java.lang.String:indexOf(...)@80 <= 232-4 | 2010-07-16 16:14:15
+ | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...).url@79 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@79 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@79 != null | 2010-07-22 12:56:56
U | post | return_value != null | 2010-07-16 16:14:15
U | test_vector | java.lang.String:indexOf(...)@85: {-231.. -1}, {0..232-1} | 2010-07-16 16:14:15

- long getFileUploadQuota()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.fileUploadQuota) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.fileUploadQuota | 2010-07-16 16:14:15

- long getFileUploadSize()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.fileUploadSize) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.fileUploadSize | 2010-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 | pre | init'ed(this.secureUrl) | 2010-07-16 16:14:15
U | post | (soft) init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == One-of{this.secureUrl, this.url} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@94: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | this.secureUrl: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- SecurityRealm getSecurityRealm()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.securityRealm) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.securityRealm | 2010-07-16 16:14:15

- String getSmtpHost()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.smtpHost) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.smtpHost | 2010-07-16 16:14:15

- String getUrl()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.url) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.url | 2010-07-16 16:14:15

- bool isMultiBlog()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.multiBlog) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.multiBlog | 2010-07-16 16:14:15

- bool isUserThemesEnabled()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.userThemesEnabled) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.userThemesEnabled | 2010-07-16 16:14:15

- bool isVirtualHostingEnabled()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.virtualHostingEnabled) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.virtualHostingEnabled | 2010-07-16 16:14:15

- void net.sourceforge.pebble.Configuration()

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

- net.sourceforge.pebble.Configuration__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(log) | 2010-07-16 16:14:15

- void setDaoFactory(DAOFactory)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.daoFactory) | 2010-07-16 16:14:15
U | post | this.daoFactory == daoFactory | 2010-07-16 16:14:15

- void setDataDirectory(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | dataDirectory != null | 2010-07-16 16:14:15
U | pre | log != null | 2010-07-16 16:14:15
U | post | this.dataDirectory != null | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.System:getProperty | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:14:15

- void setFileUploadQuota(long)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.fileUploadQuota) | 2010-07-16 16:14:15
U | post | this.fileUploadQuota == fileUploadQuota | 2010-07-16 16:14:15

- void setFileUploadSize(long)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.fileUploadSize) | 2010-07-16 16:14:15
U | post | this.fileUploadSize == fileUploadSize | 2010-07-16 16:14:15

- void setMultiBlog(bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.multiBlog) | 2010-07-16 16:14:15
U | post | this.multiBlog == multiBlog | 2010-07-16 16:14:15

- void setSecureUrl(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.secureUrl) | 2010-07-16 16:14:15
U | test_vector | java.lang.String:endsWith(...)@104: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@104: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | s: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- void setSecurityRealm(SecurityRealm)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.securityRealm) | 2010-07-16 16:14:15
U | post | this.securityRealm == securityRealm | 2010-07-16 16:14:15

- void setSmtpHost(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.smtpHost) | 2010-07-16 16:14:15
U | post | this.smtpHost == smtpHost | 2010-07-16 16:14:15

- void setUrl(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.url) | 2010-07-16 16:14:15
U | test_vector | java.lang.String:endsWith(...)@72: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@72: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | s: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- void setUserThemesEnabled(bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.userThemesEnabled) | 2010-07-16 16:14:15
U | post | this.userThemesEnabled == userThemesEnabled | 2010-07-16 16:14:15

- void setVirtualHostingEnabled(bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.virtualHostingEnabled) | 2010-07-16 16:14:15
U | post | this.virtualHostingEnabled == virtualHostingEnabled | 2010-07-16 16:14:15