UserModesPane.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.serversetting.UserModesPane(Server)

  • Kind Annotation Text
    preserver != null
    postnew Hashtable(initModesPanel#1) num objects == 1
    postthis.modeCheckBoxes == &new Hashtable(initModes Panel#1)
    postthis.server != null
    postthis.server == server
    unanalyzedcall on com.dmdirc.Server:getConfigManager
    unanalyzedcall on com.dmdirc.Server:getParser
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setLayout
    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.parser.irc.ClientInfo:getUserMod eStr
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyself
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getUserMode String
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:contains
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:subSequence
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.Hashtable
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setMargin
    unanalyzedcall on javax.swing.JCheckBox:setOpaque
    unanalyzedcall on javax.swing.JCheckBox:setToolTipText
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setOpaque
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.serversetting.UserModesPane__static_init

  • Kind Annotation Text

  • void initModesPanel()

  • Kind Annotation Text
    prethis.server != null
    presumptioncom.dmdirc.Server:getConfigManager(...)@101 != null
    presumptioncom.dmdirc.Server:getConfigManager(...)@107 != null
    presumptioncom.dmdirc.Server:getConfigManager(...)@108 != null
    presumptioncom.dmdirc.Server:getConfigManager(...)@99 != null
    presumptioncom.dmdirc.Server:getParser(...)@80 != null
    presumptioncom.dmdirc.parser.irc.ClientInfo:getUserModeStr(... )@83 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@83 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@82 != null
    postnew Hashtable(initModesPanel#1) num objects == 1
    postthis.modeCheckBoxes == &new Hashtable(initModes Panel#1)
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@99: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@107: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@99: {0}, {1}

  • void layoutComponents()

  • Kind Annotation Text
    prethis.modeCheckBoxes != null
    presumptionjava.util.Map:values(...)@127 != null
    test_vectorjava.util.Iterator:hasNext(...)@127: {0}, {1}

  • void save()

  • Kind Annotation Text
    pre(soft) this.modeCheckBoxes != null
    presumptioncom.dmdirc.Server:getParser(...)@146 != null
    presumptioncom.dmdirc.Server:getParser(...)@159 != null
    presumptioncom.dmdirc.Server:getParser(...)@165 != null
    presumptioncom.dmdirc.parser.irc.ClientInfo:getUserModeStr(... )@148 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@148 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@159 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@165 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@147 != null
    presumptionjava.lang.String:toCharArray(...).length@159 >= 1
    presumptionjava.util.Map:get(...)@156 != null
    presumptionjava.util.Map:get(...)@159 != null
    test_vectorcom.dmdirc.Server:getParser(...)@142: Inverse{null}, Addr_Set{null}
    test_vectorjava.util.Map:get(...)@156: Addr_Set{null}, Inverse{null}
    test_vectorthis.server: Addr_Set{null}, Inverse{null}

  • void update()

  • Kind Annotation Text
    prethis.server != null
    postnew Hashtable(initModesPanel#1) num objects == 1
    postthis.modeCheckBoxes == &new Hashtable(initModes Panel#1)
    unanalyzedcall on com.dmdirc.Server:getConfigManager
    unanalyzedcall on com.dmdirc.Server:getParser
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
    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.parser.irc.ClientInfo:getUserMod eStr
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyself
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getUserMode String
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:contains
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:subSequence
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.util.Hashtable
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setMargin
    unanalyzedcall on javax.swing.JCheckBox:setOpaque
    unanalyzedcall on javax.swing.JCheckBox:setToolTipText