Command.java


current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.commandparser.commands.Command()

  • Kind Annotation Text

  • com.dmdirc.commandparser.commands.Command__static_init

  • Kind Annotation Text

  • void doPadding(StringBuilder, String, int)

  • Kind Annotation Text
    prebuilder != null
    predata != null
    postbuilder._tainted == old builder._tainted | data._tainted
    postinit'ed(builder._tainted)

  • String doTable(String[], String[][])

  • Kind Annotation Text
    pre(soft) data[...] != null
    pre(soft) data[...].length - headers.length in {0..232-2}
    pre(soft) data[...].length in {1..232-1}
    pre(soft) data[...][...] != null
    pre(soft) headers.length in {1..232-1}
    pre(soft) headers[...] != null
    predata != null
    predata.length <= 232-1
    preheaders != null
    presumptionjava.lang.String:length(...)@87 <= 232-4
    presumptionjava.lang.String:length(...)@90 <= 232-4
    postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
    postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)
    unanalyzedcall on java.lang.String:length

  • void sendLine(InputWindow, bool, String, Object[])

  • Kind Annotation Text
    test_vectorisSilent: {1}, {0}
    test_vectortarget: Addr_Set{null}, Inverse{null}

  • void showUsage(InputWindow, bool, String, String)

  • Kind Annotation Text
    preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e