| Kind |
Annotation Text |
| presumption | java.util.Collections:synchronizedList(...)@67 != null |
| post | init'ed(this.sortByCase) |
| post | init'ed(this.sortByMode) |
| post | this.nicknames != null |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionBo ol |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.Collections:synchronizedList |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on javax.swing.AbstractListModel |
| Kind |
Annotation Text |
| pre | (soft) init'ed(this.sortByCase) |
| pre | (soft) init'ed(this.sortByMode) |
| pre | this.nicknames != null |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@180 != null |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@183 != null |
| post | init'ed(this.sortByCase) |
| post | init'ed(this.sortByMode) |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.List:size |
| test_vector | java.lang.String:equals(...)@179: {0}, {1} |
| test_vector | java.lang.String:equals(...)@182: {0}, {1} |