HistoryWindow.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.logging.HistoryWindow(String, ReverseFileReader, Window, int)

    • Kind Annotation Text
    pre(soft) init'ed(reader.seekLength)
    pre(soft) reader.file != null
    preparent != null
    prereader != null
    presumptioncom.dmdirc.Main:getUI(...)@62 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@67 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getWindow(... )@62 != null
    postinit'ed(this.title)
    postthis.parent != null
    postthis.parent == parent
    postthis.title == title
    postthis.window != null
    unanalyzedcall on java.io.RandomAccessFile:getFilePointer
    unanalyzedcall on java.io.RandomAccessFile:read
    unanalyzedcall on java.io.RandomAccessFile:seek
    unanalyzedcall on java.lang.Byte:byteValue
    unanalyzedcall on java.lang.Byte:valueOf
    unanalyzedcall on java.lang.String
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.nio.charset.Charset:forName
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:add
    unanalyzedcall on java.util.ArrayList:get
    unanalyzedcall on java.util.ArrayList:size

  • com.dmdirc.addons.logging.HistoryWindow__static_init

    • Kind Annotation Text

  • Window getFrame()

    • Kind Annotation Text
    preinit'ed(this.window)
    postinit'ed(return_value)
    postreturn_value == this.window

  • Server getServer()

    • Kind Annotation Text
    preinit'ed(this.parent)
    presumptioncom.dmdirc.ui.interfaces.Window:getContainer(... )@106 != null
    postinit'ed(return_value)

  • String toString()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.title

  • void windowClosing()

    • Kind Annotation Text
    prethis.window != null
    postthis.parent == null
    postthis.window == null