CategoryLabel.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.dialogs.prefs.CategoryLabel$IconLoader(CategoryLabel, CategoryLabel, String)

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

  • com.dmdirc.addons.ui_swing.dialogs.prefs.CategoryLabel$IconLoader__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.prefs.CategoryLabel(JList, PreferencesCategory, int, int)

    • Kind Annotation Text
    precategory != null
    preparentList != null
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@52*3/2) + java.lang.Math:max(...)@81 in {-231..232-1}
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@52*3/2) in {-231..232-1}
    presumptioncom.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:getFont(...)@81 != null
    presumptioncom.dmdirc.config.prefs.PreferencesCategory:getPath (...)@91 != null
    presumptioncom.dmdirc.config.prefs.PreferencesCategory:getSubc ats(...)@93 != null
    presumptioninit'ed(java.awt.Color.GRAY)
    presumptioninit'ed(java.awt.Color.LIGHT_GRAY)
    presumptionjava.util.Iterator:next(...)@93 != null
    presumptionnet.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@52 != null
    postinit'ed(this.index)
    postinit'ed(this.padding)
    postthis.category != null
    postthis.category == category
    postthis.index == index
    postthis.parentList != null
    postthis.parentList == parentList
    unanalyzedcall on javax.swing.SwingWorker
    test_vectorcom.dmdirc.config.prefs.PreferencesCategory:getPare nt(...)@76: Addr_Set{null}, Inverse{null}
    test_vectorcom.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@94: {1}, {0}
    test_vectorjava.lang.String:equals(...)@91: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@93: {0}, {1}

  • com.dmdirc.addons.ui_swing.dialogs.prefs.CategoryLabel__static_init

    • Kind Annotation Text

  • Object doInBackground()

    • Kind Annotation Text
    preinit'ed(this.icon)
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager

  • Icon doInBackground()

    • Kind Annotation Text
    preinit'ed(this.icon)
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@137 != null
    postinit'ed(return_value)

  • void done()

    • Kind Annotation Text
    pre(soft) init'ed(this.label.parentList)
    pre(soft) this.label != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    unanalyzedcall on javax.swing.JLabel:setIcon
    unanalyzedcall on javax.swing.JList:repaint

  • void setIcon(Icon)

    • Kind Annotation Text
    preinit'ed(this.parentList)
    test_vectorthis.parentList: Addr_Set{null}, Inverse{null}