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










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










method void init()
presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@87) in {-6_442_450_943..6_442_450_943}
presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@87) + java.awt.Font:getSize(...)@87 in {-231..232-1}
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
postthis.notificationColour == One-of{old this.notificationColour, null}
postpossibly_updated(this.selected)
test_vectorthis.window: Inverse{null}, Addr_Set{null}









  method not available - call not analyzedInfocall on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()
  method not available - call not analyzedInfocall on String com.dmdirc.FrameContainer:toString()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setText(String)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setOpaque(bool)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setToolTipText(String)










  method not available - call not analyzedInfocall on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()
  method not available - call not analyzedInfocall on Icon com.dmdirc.FrameContainer:getIcon()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setIcon(Icon)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setBorder(Border)










  method not available - call not analyzedInfocall on Font com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:getFont()
  method not available - call not analyzedInfocall on UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)
  method not available - call not analyzedInfocall on float net.miginfocom.layout. UnitValue:getValue()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setPreferredSize(Dimens ion)











method void selectionChanged(Window)
postinit'ed(this.selected)
unanalyzedcall on java.lang.Object:equals










method void notificationSet(Window, Color)
postthis.notificationColour == One-of{old this.notificationColour, colour}
unanalyzedcall on java.lang.Object:equals










method void notificationCleared(Window)
postthis.notificationColour == One-of{old this.notificationColour, null}
unanalyzedcall on java.lang.Object:equals










method void iconChanged(Window, Icon)
unanalyzedcall on java.lang.Object:equals









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setIcon(Icon)











method void setRollover(bool)
postthis.rollover == rollover
postinit'ed(this.rollover)










method bool isRollover()
preinit'ed(this.rollover)
postreturn_value == this.rollover
postinit'ed(return_value)










method bool isSelected()
preinit'ed(this.selected)
postreturn_value == this.selected
postinit'ed(return_value)










method Color getNotificationColour()
preinit'ed(this.notificationColour)
postreturn_value == this.notificationColour
postinit'ed(return_value)










method bool equals(Object)
postinit'ed(return_value)
test_vectorthis.window: Inverse{null}, Addr_Set{null}










method int hashCode()
postinit'ed(return_value)
test_vectorthis.window: Inverse{null}, Addr_Set{null}