TreeViewTreeCellRenderer.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.TreeViewTreeCellRenderer(TreeFrameManager)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    preinit'ed(com/dmdirc/config/IdentityManager. globalconfig)
    premanager != null
    premanager.tree != null
    presumptionthis.config.listeners != null
    presumptionthis.config.sources != null
    postcom/dmdirc/config/IdentityManager.globalconfig != null
    postcom/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
    postinit'ed(new ConfigManager(getGlobalConfig#1).file)
    postinit'ed(this.activeBackground)
    postinit'ed(this.activeBold)
    postinit'ed(this.activeForeground)
    postinit'ed(this.rolloverColour)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    postnew ConfigManager(getGlobalConfig#1).channel == &amp;java.lang.StringBuilder:toString(...)
    postnew ConfigManager(getGlobalConfig#1).ircd == &amp;""
    postnew ConfigManager(getGlobalConfig#1).listeners == &amp;new MapList(ConfigManager#1)
    postnew ConfigManager(getGlobalConfig#1).network == &amp;""
    postnew ConfigManager(getGlobalConfig#1).server == &amp;""
    postnew ConfigManager(getGlobalConfig#1).sources == &amp;new ArrayList(getSources#1)
    postnew MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    postthis.config == com/dmdirc/config/IdentityManager. globalconfig
    postthis.manager != null
    postthis.manager == manager
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:add
    unanalyzedcall on getOption
    unanalyzedcall on getOptionColour
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on getTree
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.Boolean:parseBoolean
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:copyOfRange
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.JTree:repaint

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

    • Kind Annotation Text

  • void configChanged(String, String)

    • Kind Annotation Text
    pre(soft) this.config != null
    pre(soft) this.config.sources != null
    pre(soft) this.manager != null
    pre(soft) this.manager.tree != null
    postpossibly_updated(this.activeBackground)
    postpossibly_updated(this.activeBold)
    postpossibly_updated(this.activeForeground)
    postpossibly_updated(this.rolloverColour)
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on getOption
    unanalyzedcall on getOptionColour
    unanalyzedcall on getTree
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.Boolean:parseBoolean
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Arrays:copyOfRange
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.JTree:repaint
    test_vectorjava.lang.String:equals(...)@153: {0}, {1}
    test_vectorjava.lang.String:equals(...)@153: {1}, {0}

  • Component getTreeCellRendererComponent(JTree, Object, bool, bool, bool, int, bool)

    • Kind Annotation Text
    pre(soft) init'ed(this.activeBackground)
    pre(soft) init'ed(this.activeBold)
    pre(soft) init'ed(this.activeForeground)
    pre(soft) init'ed(this.rolloverColour)
    pre(soft) init'ed(value.label)
    pre(soft) init'ed(value.label.notificationColour)
    pre(soft) init'ed(value.label.rollover)
    pre(soft) init'ed(value.label.selected)
    pre(soft) tree != null
    presumptioncom.dmdirc.addons.ui_swing.framemanager.tree. NodeLabel:getFont(...)@118 != null
    presumptioncom.dmdirc.addons.ui_swing.framemanager.tree. NodeLabel:getFont(...)@120 != null
    presumptioncom.dmdirc.addons.ui_swing.framemanager.tree. NodeLabel:getFont(...)@125 != null
    postnew JLabel(getTreeCellRendererComponent#1) num objects <= 1
    postnew JLabel(getTreeCellRendererComponent#2) num objects <= 1
    postreturn_value != null
    postreturn_value == One-of{&amp;new JLabel(getTreeCellR endererComponent#1), &amp;new JLabel(getTreeCellRen dererComponent#2), value.label}
    test_vectorthis.activeBold: {0}, {1}
    test_vectorvalue.label.notificationColour: Addr_Set{null}, Inverse{null}
    test_vectorvalue.label.rollover: {0}, {1}
    test_vectorvalue.label.selected: {0}, {1}
    test_vectorvalue.label: Inverse{null}, Addr_Set{null}
    test_vectorvalue: Inverse{null}, Addr_Set{null}

  • void setColours()

    • Kind Annotation Text
    prethis.config != null
    prethis.config.sources != null
    prethis.manager != null
    prethis.manager.tree != null
    postinit'ed(this.activeBackground)
    postinit'ed(this.activeBold)
    postinit'ed(this.activeForeground)
    postinit'ed(this.rolloverColour)
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on getOption
    unanalyzedcall on getOptionColour
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.Boolean:parseBoolean
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Arrays:copyOfRange
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put