WebappResourceLoader.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

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


  • + long getLastModified(Resource)

    • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31

  • + InputStream getResourceStream(String)

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +prename != null2009-09-04 18:33:31
    +prethis.mContext != null2009-09-04 18:33:31
    +presumptionjava.lang.String:length(...)@72 >= 12009-09-04 18:33:31
    +presumptionjavax.servlet.ServletContext:getResourceAsStream(.. .)@82 != null2009-09-04 18:33:31
    +post(soft) return_value != null2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@79: {1}, {0}2009-09-04 18:33:31

  • + void init(ExtendedProperties)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.mContext)2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.ui.core. RollerContext:getServletContext(...)@54 != null2009-09-04 18:33:31
    +post(soft) this.mContext != null2009-09-04 18:33:31
    +test_vectorthis.mContext: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool isSourceModified(Resource)

    • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.velocity.WebappResourceLoader()

    • -/+ Kind Annotation Text Date
    +postthis.mContext == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.velocity.WebappResourceLoader__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31