PerformPanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.networkPerform)
    pre(soft) init'ed(this.serverPerform)
    preinit'ed(this.isNetworkPerform)
    prethis.target != null
    prethis.textarea != null
    postinit'ed(this.isNetworkPerform)
    postinit'ed(this.networkPerform)
    postinit'ed(this.serverPerform)
    unanalyzedcall on javax.swing.JComboBox:getSelectedIndex
    unanalyzedcall on javax.swing.JTextArea:getText
    unanalyzedcall on javax.swing.JTextArea:setText

  • void addListeners()

    • Kind Annotation Text
    prethis.target != null

  • void com.dmdirc.addons.ui_swing.dialogs.serversetting.PerformPanel(Server)

    • Kind Annotation Text
    preserver != null
    postinit'ed(this.isNetworkPerform)
    postinit'ed(this.networkAction)
    postinit'ed(this.serverAction)
    postnew JComboBox(initComponents#3) num objects == 1
    postnew JTextArea(initComponents#6) num objects == 1
    postthis.networkPerform != null
    postthis.server != null
    postthis.server == server
    postthis.serverPerform != null
    postthis.target == &new JComboBox(initComponents#3)
    postthis.textarea == &new JTextArea(initComponents# 6)
    unanalyzedcall on com.dmdirc.Server:getName
    unanalyzedcall on com.dmdirc.Server:getNetwork
    unanalyzedcall on com.dmdirc.actions.Action:getResponse
    unanalyzedcall on com.dmdirc.actions.wrappers. PerformWrapper:getActionForNetwork
    unanalyzedcall on com.dmdirc.actions.wrappers. PerformWrapper:getActionForServer
    unanalyzedcall on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setLayout
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on javax.swing.DefaultComboBoxModel
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.JComboBox
    unanalyzedcall on javax.swing.JComboBox:addActionListener
    unanalyzedcall on javax.swing.JComboBox:getSelectedIndex
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JTextArea
    unanalyzedcall on javax.swing.JTextArea:setColumns
    unanalyzedcall on javax.swing.JTextArea:setText
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.serversetting.PerformPanel__static_init

    • Kind Annotation Text

  • String implode(String[])

    • Kind Annotation Text
    pre(soft) init'ed(lines[...])
    prelines != null
    prelines.length <= 232-1
    postreturn_value != null

  • void initComponents()

    • Kind Annotation Text
    prethis.server != null
    presumptioncom.dmdirc.Server:getName(...)@102 != null
    presumptioncom.dmdirc.Server:getNetwork(...)@99 != null
    postnew JComboBox(initComponents#3) num objects == 1
    postnew JTextArea(initComponents#6) num objects == 1
    postthis.target == &amp;new JComboBox(initComponents#3)
    postthis.textarea == &amp;new JTextArea(initComponents# 6)
    test_vectorjava.lang.String:isEmpty(...)@102: {1}, {0}
    test_vectorjava.lang.String:isEmpty(...)@99: {1}, {0}

  • void loadPerforms()

    • Kind Annotation Text
    prethis.server != null
    presumptioncom.dmdirc.actions.Action:getResponse(...). length@127 <= 232-1
    presumptioncom.dmdirc.actions.Action:getResponse(...). length@133 <= 232-1
    presumptioncom.dmdirc.actions.Action:getResponse(...)@127 != null
    presumptioncom.dmdirc.actions.Action:getResponse(...)@133 != null
    presumptioncom.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@121 != null
    presumptioncom.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@122 != null
    postinit'ed(this.networkAction)
    postinit'ed(this.serverAction)
    postthis.networkPerform != null
    postthis.serverPerform != null
    test_vectorcom.dmdirc.actions.wrappers.PerformWrapper:getActio nForNetwork(...)@122: Inverse{null}, Addr_Set{null}
    test_vectorcom.dmdirc.actions.wrappers.PerformWrapper:getActio nForServer(...)@121: Inverse{null}, Addr_Set{null}

  • void populatePerform()

    • Kind Annotation Text
    pre(soft) init'ed(this.networkPerform)
    pre(soft) init'ed(this.serverPerform)
    prethis.target != null
    prethis.textarea != null
    postinit'ed(this.isNetworkPerform)
    test_vectorjavax.swing.JComboBox:getSelectedIndex(...)@156: {-231..-1, 1..232-1}, {0}

  • void savePerforms()

    • Kind Annotation Text
    pre(soft) this.server != null
    preinit'ed(this.isNetworkPerform)
    preinit'ed(this.networkAction)
    preinit'ed(this.networkPerform)
    preinit'ed(this.serverAction)
    preinit'ed(this.serverPerform)
    prethis.textarea != null
    presumptioncom.dmdirc.actions.wrappers.PerformWrapper:createAc tionForNetwork(...)@188 != null
    presumptioncom.dmdirc.actions.wrappers.PerformWrapper:createAc tionForServer(...)@180 != null
    presumptioncom.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@180 != null
    presumptioncom.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@188 != null
    postinit'ed(this.networkAction)
    postinit'ed(this.serverAction)
    postthis.networkPerform != null
    postthis.serverPerform != null
    unanalyzedcall on javax.swing.JTextArea:getText
    test_vectorthis.networkAction: Addr_Set{null}, Inverse{null}
    test_vectorthis.serverAction: Addr_Set{null}, Inverse{null}

  • void storeText()

    • Kind Annotation Text
    preinit'ed(this.isNetworkPerform)
    prethis.textarea != null
    postpossibly_updated(this.networkPerform)
    postpossibly_updated(this.serverPerform)
    test_vectorthis.isNetworkPerform: {0}, {1}