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


  • + 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

  • + 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.MenuTabItem()

    • -/+ Kind Annotation Text Date
    +postthis.action == null2009-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.MenuTabItem__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 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