StartupException.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


  • + List getStartupLog()

  • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.startupLog2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.startup.StartupException(String)

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +post(soft) init'ed(this.startupLog)2009-09-04 18:33:31
    +postthis.startupLog == java.util.Collections.EMPTY_ LIST2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +post(soft) init'ed(this.startupLog)2009-09-04 18:33:31
    +postthis.startupLog == java.util.Collections.EMPTY_ LIST2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +post(soft) init'ed(this.startupLog)2009-09-04 18:33:31
    +postthis.startupLog == One-of{log, java.util. Collections.EMPTY_LIST}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +test_vectorlog: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.startup.StartupException(String, List)

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +post(soft) init'ed(this.startupLog)2009-09-04 18:33:31
    +postthis.startupLog == One-of{log, java.util. Collections.EMPTY_LIST}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +test_vectorlog: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.startup.StartupException__static_init

  • -/+ Kind Annotation Text Date