| method | void com.dmdirc.MessageTarget(String, ConfigManager) |
| pre | config != null |
| presumption | init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK) |
| post | this.changer == &new FrameContainer$IconChanger (FrameContainer#2) |
| post | this.config == config |
| post | this.config != null |
| post | this.icon == icon |
| post | init'ed(this.icon) |
| post | this.listeners == &new ListenerList(FrameContai ner#1) |
| post | this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK |
| post | init'ed(this.notification) |
| post | new FrameContainer$IconChanger(FrameContainer#2) num objects == 1 |
| post | new ListenerList(FrameContainer#1) num objects == 1 |
| unanalyzed | call on com.dmdirc.FrameContainer |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIconManager |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIcon |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getFrame |
| unanalyzed | call on com.dmdirc.util.ListenerList:get |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on com.dmdirc.interfaces.IconChangeListener:ic onChanged |
| unanalyzed | call on com.dmdirc.config.ConfigManager:removeListe ner |
| unanalyzed | call on com.dmdirc.config.ConfigManager:addChangeLi stener |
| unanalyzed | call on com.dmdirc.util.ListenerList |