ActionResponsePanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addListeners()

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()

    • Kind Annotation Text
    postnew JComboBox(initComponents#2) num objects == 1
    postnew JTextArea(initComponents#1) num objects == 1
    postthis.formatter == &new JComboBox(initComponents #2)
    postthis.response == &new JTextArea(initComponents# 1)
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:getBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setLayout
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.TreeSet
    unanalyzedcall on java.util.TreeSet:addAll
    unanalyzedcall on java.util.TreeSet:iterator
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.DefaultComboBoxModel
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.JComboBox
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JTextArea
    unanalyzedcall on javax.swing.JTextArea:setRows
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init

    • Kind Annotation Text

  • String getFormatter()

    • Kind Annotation Text
    prethis.formatter != null
    postinit'ed(return_value)
    test_vectorjava.lang.String:equals(...)@149: {0}, {1}
    test_vectorjava.lang.String:equals(...)@151: {0}, {1}

  • String[] getResponse()

    • Kind Annotation Text
    prethis.response != null
    presumptionjavax.swing.JTextArea:getText(...)@135 != null
    postjava.lang.String:split(...)._tainted == 0
    postjava.lang.String:split(...).length == 0, if init'ed
    postjava.lang.String:split(...).length == undefined
    postjava.lang.String:split(...)[...] == null
    postreturn_value == &java.lang.String:split(...)

  • void initComponents()

    • Kind Annotation Text
    presumptioncom.dmdirc.config.ConfigManager:getOptions(...)@75 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@75 != null
    presumptioninit'ed(java.lang.String.CASE_INSENSITIVE_ORDER)
    presumptionjavax.swing.JComboBox:getModel(...)@71 != null
    presumptionjavax.swing.JComboBox:getModel(...)@72 != null
    presumptionjavax.swing.JComboBox:getModel(...)@78 != null
    postnew JComboBox(initComponents#2) num objects == 1
    postnew JTextArea(initComponents#1) num objects == 1
    postthis.formatter == &new JComboBox(initComponents #2)
    postthis.response == &new JTextArea(initComponents# 1)
    test_vectorjava.util.Iterator:hasNext(...)@77: {0}, {1}

  • void layoutComponents()

    • Kind Annotation Text
    preinit'ed(this.formatter)
    preinit'ed(this.response)

  • void setEnabled(bool)

    • Kind Annotation Text
    prethis.formatter != null
    prethis.response != null

  • void setFormatter(String)

    • Kind Annotation Text
    prethis.formatter != null
    test_vectorjava.lang.String:isEmpty(...)@122: {0}, {1}
    test_vectornewFormat: Inverse{null}, Addr_Set{null}

  • void setResponse(String[])

    • Kind Annotation Text
    pre(soft) response[...] != null
    pre(soft) this.response != null
    preresponse != null
    preresponse.length <= 232-1
    presumptionjava.lang.StringBuilder:length(...)@110 >= -231+1
    test_vectorjava.lang.StringBuilder:length(...)@109: {-231..0}, {1..232-1}