## pebblecontext.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 getBuildDate()

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

- String getBuildVersion()

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

- Configuration getConfiguration()

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

- PebbleContext getInstance()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | return_value == &new PebbleContext(PebbleContex t__static_init#1) | 2010-07-16 16:14:15

- long getMemoryUsageInKB()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | presumption | (-(java.lang.Runtime:freeMemory(...)@125 - java.lang.Runtime:totalMemory(...)@125))/1_024 in -27_021_597_764_222_975..27_021_597_764_222_975 | 2010-07-16 16:14:15
U | presumption | java.lang.Runtime:getRuntime(...)@125 != null | 2010-07-16 16:14:15
U | post | return_value in -27_021_597_764_222_975.. 27_021_597_764_222_975 | 2010-07-16 16:14:15

- long getTotalMemoryInKB()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | presumption | java.lang.Runtime:getRuntime(...)@129 != null | 2010-07-16 16:14:15
U | presumption | java.lang.Runtime:totalMemory(...)@129/1_024 in -9_007_199_254_740_992..18_014_398_509_481_983 | 2010-07-16 16:14:15
U | post | return_value in -9_007_199_254_740_992.. 18_014_398_509_481_983 | 2010-07-16 16:14:15

- RelativeDate getUptime()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.startTime != null | 2010-07-16 16:14:15
U | presumption | java.util.Date:getTime(...)@121 - java.util. Date:getTime(...)@121 in -18_446_744_073_709_551_61 5..263 | 2010-07-16 16:14:15
+ | post | (soft) init'ed(return_value.time) | 2010-07-22 12:56:56
U | post | new RelativeDate(getUptime#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new RelativeDate(getUptime#1) | 2010-07-16 16:14:15

- String getWebApplicationRoot()

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

- void net.sourceforge.pebble.PebbleContext()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) log != null | 2010-07-16 16:14:15
U | presumption | java.lang.Class:getClassLoader(...)@80 != null | 2010-07-16 16:14:15
U | presumption | java.lang.Object:getClass(...)@80 != null | 2010-07-16 16:14:15
U | post | new Date(PebbleContext#1) num objects == 1 | 2010-07-16 16:14:15
U | post | possibly_updated(this.buildVersion) | 2010-07-16 16:14:15
U | post | this.startTime == &new Date(PebbleContext#1) | 2010-07-16 16:14:15
U | test_vector | java.lang.ClassLoader:getResourceAsStream(...)@80: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- net.sourceforge.pebble.PebbleContext__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | presumption | org.apache.commons.logging.LogFactory:getLog(... )@52 != null | 2010-07-16 16:14:15
U | post | (soft) log != null | 2010-07-16 16:14:15
U | post | instance == &new PebbleContext(PebbleContext__ static_init#1) | 2010-07-16 16:14:15
U | post | instance.startTime == &new Date(PebbleContext#1 ) | 2010-07-16 16:14:15
U | post | new Date(PebbleContext#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new PebbleContext(PebbleContext__static_init#1) num objects == 1 | 2010-07-16 16:14:15
U | post | possibly_updated(instance.buildVersion) | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.IOException:getMessage | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.IOException:printStackTrace | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.InputStream:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.Class:getClassLoader | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.ClassLoader:getResourceAsStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.Object:getClass | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Properties | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Properties:getProperty | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Properties:load | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-16 16:14:15

- void setConfiguration(Configuration)

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

- void setWebApplicationRoot(String)

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