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


  • + void addTab(MenuTab)

  • -/+ Kind Annotation Text Date
    +prethis.tabs != null2009-09-04 18:33:31

  • + List getTabs()

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

  • + void org.apache.roller.weblogger.ui.core.util.menu.Menu()

  • -/+ Kind Annotation Text Date
    +postnew ArrayList(Menu#1) num objects == 12009-09-04 18:33:31
    +postthis.tabs == &new ArrayList(Menu#1)2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init

  • -/+ Kind Annotation Text Date

  • + void setTabs(List)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.tabs)2009-09-04 18:33:31
    +postthis.tabs == menus2009-09-04 18:33:31