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 preinit'ed(this.buildDate)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.buildDate2010-07-16 16:14:15

  • String getBuildVersion()

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

  • Configuration getConfiguration()

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

  • PebbleContext getInstance()

    • -/+ Kind Annotation Text Date
    U postreturn_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_9752010-07-16 16:14:15
    U presumptionjava.lang.Runtime:getRuntime(...)@125 != null2010-07-16 16:14:15
    U postreturn_value in -27_021_597_764_222_975.. 27_021_597_764_222_9752010-07-16 16:14:15

  • long getTotalMemoryInKB()

    • -/+ Kind Annotation Text Date
    U presumptionjava.lang.Runtime:getRuntime(...)@129 != null2010-07-16 16:14:15
    U presumptionjava.lang.Runtime:totalMemory(...)@129/1_024 in -9_007_199_254_740_992..18_014_398_509_481_9832010-07-16 16:14:15
    U postreturn_value in -9_007_199_254_740_992.. 18_014_398_509_481_9832010-07-16 16:14:15

  • RelativeDate getUptime()

    • -/+ Kind Annotation Text Date
    U prethis.startTime != null2010-07-16 16:14:15
    U presumptionjava.util.Date:getTime(...)@121 - java.util. Date:getTime(...)@121 in -18_446_744_073_709_551_61 5..2632010-07-16 16:14:15
    +post(soft) init'ed(return_value.time)2010-07-22 12:56:56
    U postnew RelativeDate(getUptime#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new RelativeDate(getUptime#1)2010-07-16 16:14:15

  • String getWebApplicationRoot()

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

  • void net.sourceforge.pebble.PebbleContext()

    • -/+ Kind Annotation Text Date
    U pre(soft) log != null2010-07-16 16:14:15
    U presumptionjava.lang.Class:getClassLoader(...)@80 != null2010-07-16 16:14:15
    U presumptionjava.lang.Object:getClass(...)@80 != null2010-07-16 16:14:15
    U postnew Date(PebbleContext#1) num objects == 12010-07-16 16:14:15
    U postpossibly_updated(this.buildVersion)2010-07-16 16:14:15
    U postthis.startTime == &new Date(PebbleContext#1)2010-07-16 16:14:15
    U test_vectorjava.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 presumptionorg.apache.commons.logging.LogFactory:getLog(... )@52 != null2010-07-16 16:14:15
    U post(soft) log != null2010-07-16 16:14:15
    U postinstance == &new PebbleContext(PebbleContext__ static_init#1)2010-07-16 16:14:15
    U postinstance.startTime == &new Date(PebbleContext#1 )2010-07-16 16:14:15
    U postnew Date(PebbleContext#1) num objects == 12010-07-16 16:14:15
    U postnew PebbleContext(PebbleContext__static_init#1) num objects == 12010-07-16 16:14:15
    U postpossibly_updated(instance.buildVersion)2010-07-16 16:14:15
    U unanalyzedcall on java.io.IOException:getMessage2010-07-16 16:14:15
    U unanalyzedcall on java.io.IOException:printStackTrace2010-07-16 16:14:15
    U unanalyzedcall on java.io.InputStream:close2010-07-16 16:14:15
    U unanalyzedcall on java.lang.Class:getClassLoader2010-07-16 16:14:15
    U unanalyzedcall on java.lang.ClassLoader:getResourceAsStream2010-07-16 16:14:15
    U unanalyzedcall on java.lang.Object:getClass2010-07-16 16:14:15
    U unanalyzedcall on java.util.Date2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties:getProperty2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties:load2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:warn2010-07-16 16:14:15

  • void setConfiguration(Configuration)

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

  • void setWebApplicationRoot(String)

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