| Kind |
Annotation Text |
| pre | server != null |
| post | new Hashtable(initModesPanel#1) num objects == 1 |
| post | this.modeCheckBoxes == &new Hashtable(initModes Panel#1) |
| post | this.server != null |
| post | this.server == server |
| unanalyzed | call on com.dmdirc.Server:getConfigManager |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setLayout |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionBo ol |
| unanalyzed | call on com.dmdirc.config.ConfigManager:hasOptionSt ring |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMyself |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getUserMode String |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:subSequence |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on java.util.Hashtable |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on javax.swing.BorderFactory:createTitledBorde r |
| unanalyzed | call on javax.swing.JCheckBox |
| unanalyzed | call on javax.swing.JCheckBox:setMargin |
| unanalyzed | call on javax.swing.JCheckBox:setOpaque |
| unanalyzed | call on javax.swing.JCheckBox:setToolTipText |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JPanel:add |
| unanalyzed | call on javax.swing.JPanel:setBorder |
| unanalyzed | call on javax.swing.JPanel:setOpaque |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| Kind |
Annotation Text |
| pre | this.server != null |
| presumption | com.dmdirc.Server:getConfigManager(...)@101 != null |
| presumption | com.dmdirc.Server:getConfigManager(...)@107 != null |
| presumption | com.dmdirc.Server:getConfigManager(...)@108 != null |
| presumption | com.dmdirc.Server:getConfigManager(...)@99 != null |
| presumption | com.dmdirc.Server:getParser(...)@80 != null |
| presumption | com.dmdirc.parser.irc.ClientInfo:getUserModeStr(... )@83 != null |
| presumption | com.dmdirc.parser.irc.IRCParser:getMyself(...)@83 != null |
| presumption | com.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@82 != null |
| post | new Hashtable(initModesPanel#1) num objects == 1 |
| post | this.modeCheckBoxes == &new Hashtable(initModes Panel#1) |
| test_vector | com.dmdirc.config.ConfigManager:getOptionBool(... )@99: {0}, {1} |
| test_vector | com.dmdirc.config.ConfigManager:hasOptionString(... )@107: {0}, {1} |
| test_vector | com.dmdirc.config.ConfigManager:hasOptionString(... )@99: {0}, {1} |
| Kind |
Annotation Text |
| pre | (soft) this.modeCheckBoxes != null |
| presumption | com.dmdirc.Server:getParser(...)@146 != null |
| presumption | com.dmdirc.Server:getParser(...)@159 != null |
| presumption | com.dmdirc.Server:getParser(...)@165 != null |
| presumption | com.dmdirc.parser.irc.ClientInfo:getUserModeStr(... )@148 != null |
| presumption | com.dmdirc.parser.irc.IRCParser:getMyself(...)@148 != null |
| presumption | com.dmdirc.parser.irc.IRCParser:getMyself(...)@159 != null |
| presumption | com.dmdirc.parser.irc.IRCParser:getMyself(...)@165 != null |
| presumption | com.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@147 != null |
| presumption | java.lang.String:toCharArray(...).length@159 >= 1 |
| presumption | java.util.Map:get(...)@156 != null |
| presumption | java.util.Map:get(...)@159 != null |
| test_vector | com.dmdirc.Server:getParser(...)@142: Inverse{null}, Addr_Set{null} |
| test_vector | java.util.Map:get(...)@156: Addr_Set{null}, Inverse{null} |
| test_vector | this.server: Addr_Set{null}, Inverse{null} |
| Kind |
Annotation Text |
| pre | this.server != null |
| post | new Hashtable(initModesPanel#1) num objects == 1 |
| post | this.modeCheckBoxes == &new Hashtable(initModes Panel#1) |
| unanalyzed | call on com.dmdirc.Server:getConfigManager |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionBo ol |
| unanalyzed | call on com.dmdirc.config.ConfigManager:hasOptionSt ring |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMyself |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getUserMode String |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:subSequence |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.util.Hashtable |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on javax.swing.JCheckBox |
| unanalyzed | call on javax.swing.JCheckBox:setMargin |
| unanalyzed | call on javax.swing.JCheckBox:setOpaque |
| unanalyzed | call on javax.swing.JCheckBox:setToolTipText |