NickColourPlugin.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void colourClient(String, ChannelClientInfo)

    • Kind Annotation Text
    pre(soft) init'ed(this.randColours[...])
    pre(soft) this.randColours != null
    pre(soft) this.randColours.length >= 1
    preclient != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@102 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@108 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@110 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@97 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@99 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@91 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@92 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@94 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@97 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@90 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getNickname (...)@103 != null
    presumptioncom.dmdirc.parser.irc.ClientInfo:getParser(...)@91 != null
    presumptioncom.dmdirc.parser.irc.ClientInfo:getParser(...)@92 != null
    presumptioncom.dmdirc.parser.irc.ClientInfo:getParser(...)@94 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@92 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@94 != null
    unanalyzedcall on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.util.Map:put
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@102: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@97: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@108: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@110: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@97: {0}, {1}

  • void com.dmdirc.addons.nickcolours.NickColourPlugin()

    • Kind Annotation Text
    postnew String[](NickColourPlugin#1) num objects == 1
    postthis.randColours == &new String[](NickColourPlu gin#1)
    postthis.randColours.length == 8
    postthis.randColours[0] == &"E90E7F"
    postthis.randColours[1] == &"8E55E9"
    postthis.randColours[2] == &"B30E0E"
    postthis.randColours[3] == &"18B33C"
    postthis.randColours[4] == &"58ADB3"
    postthis.randColours[5] == &"9E54B3"
    postthis.randColours[6] == &"B39875"
    postthis.randColours[7] == &"3176B3"

  • com.dmdirc.addons.nickcolours.NickColourPlugin__static_init

    • Kind Annotation Text

  • Color getColour(String)

    • Kind Annotation Text
    pre(soft) init'ed(this.randColours[...])
    prenick != null
    prethis.randColours != null
    prethis.randColours.length >= 1
    postinit'ed(return_value)

  • Object[][] getData()

    • Kind Annotation Text
    presumptioncom.dmdirc.config.ConfigManager:getOptions(... )@176 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@176 != null
    presumptionjava.lang.String:indexOf(...)@179 <= 232-2
    presumptionjava.util.Iterator:next(...)@176 != null
    presumptionjava.util.List:size(...)@187 >= 1
    presumptionjava.util.Map:keySet(...)@176 != null
    presumptionparts.length >= 2
    postnew Object[](getData#3) num objects == java.util.List:size(...)@187
    postnew Object[](getData#3) num objects in {1..232-1}
    postnew Object[](getData#3).length == 4
    postnew Object[][](getData#3) num objects == 1
    postpossibly_updated(return_value[...])
    postreturn_value == &amp;new Object[][](getData#3)
    postreturn_value.length in {1..232-1}
    unanalyzedcall on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on java.lang.String:split
    test_vectorjava.lang.String:startsWith(...)@177: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@176: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@190: {0}, {1}

  • String[] getParts(String)

    • Kind Annotation Text
    presumptioncom.dmdirc.config.ConfigManager:getOption(...)@207 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@207 != null
    postjava.lang.String:split(...)._tainted == 0
    postjava.lang.String:split(...).length == 0, if init'ed
    postjava.lang.String:split(...).length == undefined
    postjava.lang.String:split(...)[0] == null
    postjava.lang.String:split(...)[0] == undefined
    postnew String[](getParts#1) num objects <= 1
    postnew String[](getParts#1).length == 2
    postnew String[](getParts#1)[0] == null
    postnew String[](getParts#1)[1] == null
    postnew String[](getParts#2) num objects == 0
    postpossibly_updated(new String[](getParts#2).length)
    postpossibly_updated(new String[](getParts#2)[0])
    postpossibly_updated(new String[](getParts#2)[1])
    postreturn_value == One-of{&amp;new String[](getParts#1 ), &amp;java.lang.String:split(...), &amp;new String[](getParts#2)}
    postreturn_value in Addr_Set{&amp;java.lang. String:split(...),&amp;new String[](getParts#1)}

  • void onLoad()

    • Kind Annotation Text
    presumptioncom.dmdirc.config.ConfigManager:getOptionList(... )@222 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@221 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@222 != null
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ GOTNAMES)
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ JOIN)
    postpossibly_updated(this.randColours)
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@221: {0}, {1}

  • void onUnload()

    • Kind Annotation Text

  • void processEvent(ActionType, StringBuffer, Object[])

    • Kind Annotation Text
    pre(soft) arguments != null
    pre(soft) arguments.length >= 2
    pre(soft) arguments[0] != null
    pre(soft) arguments[1] != null
    pre(soft) init'ed(this.randColours[...])
    pre(soft) this.randColours != null
    pre(soft) this.randColours.length >= 1
    pretype != null
    presumptioncom.dmdirc.Channel:getChannelInfo(...)@70 != null
    presumptioncom.dmdirc.Channel:getServer(...)@71 != null
    presumptioncom.dmdirc.Channel:getServer(...)@77 != null
    presumptioncom.dmdirc.parser.irc.ChannelInfo:getChannelClients (...)@73 != null
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ GOTNAMES)
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ JOIN)
    presumptionjava.util.Iterator:next(...)@73 != null
    unanalyzedcall on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Client
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Map
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getParser
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getIRCStrin gConverter
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyself
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on java.lang.Object:equals
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.util.Map:put
    test_vectorjava.lang.Object:equals(...)@69: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@76: {0}, {1}

  • void putColour(Map, Color, Color)

    • Kind Annotation Text
    pre(soft) map != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@139 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@144 != null
    presumptioninit'ed(com.dmdirc.ChannelClientProperty.NICKLIST_ FOREGROUND)
    presumptioninit'ed(com.dmdirc.ChannelClientProperty.TEXT_ FOREGROUND)
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@139: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@144: {0}, {1}
    test_vectornickColour: Addr_Set{null}, Inverse{null}
    test_vectortextColour: Addr_Set{null}, Inverse{null}

  • void showConfig(PreferencesManager)

    • Kind Annotation Text
    premanager != null
    presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@266 != null
    presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)
    presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. COLOUR)
    unanalyzedcall on com.dmdirc.addons.nickcolours. ColourRenderer:setOpaque
    unanalyzedcall on com.dmdirc.addons.nickcolours. NickColourPanel:add
    unanalyzedcall on com.dmdirc.addons.nickcolours. NickColourPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JTable
    unanalyzedcall on javax.swing.JTable:setDefaultRenderer
    unanalyzedcall on javax.swing.JTable:setFillsViewportHeight
    unanalyzedcall on javax.swing.table.DefaultTableCellRenderer
    unanalyzedcall on javax.swing.table.DefaultTableModel
    unanalyzedcall on net.miginfocom.swing.MigLayout