NodeLabel.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.framemanager.tree.NodeLabel(Window)

    • Kind Annotation Text
    postinit'ed(this.notificationColour)
    postinit'ed(this.selected)
    postinit'ed(this.window)
    postthis.window == window
    unanalyzedcall on com.dmdirc.FrameContainer:getIcon
    unanalyzedcall on com.dmdirc.FrameContainer:toString
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:getFont
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setIcon
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setPreferredSize
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setText
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setToolTipText
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:getContaine r
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue

  • com.dmdirc.addons.ui_swing.framemanager.tree.NodeLabel__static_init

    • Kind Annotation Text

  • bool equals(Object)

    • Kind Annotation Text
    postinit'ed(return_value)
    test_vectorthis.window: Inverse{null}, Addr_Set{null}

  • Color getNotificationColour()

    • Kind Annotation Text
    preinit'ed(this.notificationColour)
    postinit'ed(return_value)
    postreturn_value == this.notificationColour

  • int hashCode()

    • Kind Annotation Text
    postinit'ed(return_value)
    test_vectorthis.window: Inverse{null}, Addr_Set{null}

  • void iconChanged(Window, Icon)

    • Kind Annotation Text
    unanalyzedcall on java.lang.Object:equals

  • void init()

    • Kind Annotation Text
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@87) + java.awt.Font:getSize(...)@87 in {-231..232-1}
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@87) in {-6_442_450_943..6_442_450_943}
    presumptioncom.dmdirc.addons.ui_swing.framemanager.tree. NodeLabel:getFont(...)@87 != null
    presumptioncom.dmdirc.ui.interfaces.Window:getContainer(... )@80 != null
    presumptioncom.dmdirc.ui.interfaces.Window:getContainer(... )@84 != null
    presumptionnet.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@87 != null
    postpossibly_updated(this.selected)
    postthis.notificationColour == One-of{old this.notificationColour, null}
    test_vectorthis.window: Inverse{null}, Addr_Set{null}

  • bool isRollover()

    • Kind Annotation Text
    preinit'ed(this.rollover)
    postinit'ed(return_value)
    postreturn_value == this.rollover

  • bool isSelected()

    • Kind Annotation Text
    preinit'ed(this.selected)
    postinit'ed(return_value)
    postreturn_value == this.selected

  • void notificationCleared(Window)

    • Kind Annotation Text
    postthis.notificationColour == One-of{old this.notificationColour, null}
    unanalyzedcall on java.lang.Object:equals

  • void notificationSet(Window, Color)

    • Kind Annotation Text
    postthis.notificationColour == One-of{old this.notificationColour, colour}
    unanalyzedcall on java.lang.Object:equals

  • void selectionChanged(Window)

    • Kind Annotation Text
    postinit'ed(this.selected)
    unanalyzedcall on java.lang.Object:equals

  • void setRollover(bool)

    • Kind Annotation Text
    postinit'ed(this.rollover)
    postthis.rollover == rollover