MenuTab.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 addItem(MenuTabItem)

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

  • + String getAction()

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

  • + List getItems()

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

  • + String getKey()

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

  • + bool isSelected()

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

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

    • -/+ Kind Annotation Text Date
    +postnew ArrayList(MenuTab#1) num objects == 12009-09-04 18:33:31
    +postthis.action == null2009-09-04 18:33:31
    +postthis.items == &new ArrayList(MenuTab#1)2009-09-04 18:33:31
    +postthis.key == null2009-09-04 18:33:31
    +postthis.selected == 02009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date

  • + void setAction(String)

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

  • + void setItems(List)

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

  • + void setKey(String)

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

  • + void setSelected(bool)

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