| method | void com.dmdirc.addons.logging.HistoryWindow(Strin g, ReverseFileReader, Window, int) |
| pre | parent != null |
| pre | reader != null |
| pre | (soft) reader.file != null |
| pre | (soft) init'ed(reader.seekLength) |
| presumption | com.dmdirc.Main:getUI(...)@62 != null |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@67 != null |
| presumption | com.dmdirc.ui.interfaces.UIController:getWindow(... )@62 != null |
| post | this.parent == parent |
| post | this.parent != null |
| post | this.title == title |
| post | init'ed(this.title) |
| post | this.window != null |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.io.RandomAccessFile:getFilePointer |
| unanalyzed | call on java.io.RandomAccessFile:seek |
| unanalyzed | call on java.io.RandomAccessFile:read |
| unanalyzed | call on java.lang.Byte:valueOf |
| unanalyzed | call on java.util.ArrayList:add |
| unanalyzed | call on java.util.ArrayList:size |
| unanalyzed | call on java.util.ArrayList:get |
| unanalyzed | call on java.lang.Byte:byteValue |
| unanalyzed | call on java.nio.charset.Charset:forName |
| unanalyzed | call on java.lang.String |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |