OsdCommand.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.osd.OsdCommand(OsdPlugin)

    • Kind Annotation Text
    postinit'ed(this.plugin)
    postthis.plugin == plugin

  • com.dmdirc.addons.osd.OsdCommand__static_init

    • Kind Annotation Text

  • void execute(InputWindow, bool, CommandArguments)

    • Kind Annotation Text
    pre(soft) com/dmdirc/addons/osd/OsdWindow.windows != null
    pre(soft) this.plugin != null
    preargs != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@74 >= 1
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@74 != null
    unanalyzedcall on com.dmdirc.Main:getUI
    unanalyzedcall on com.dmdirc.addons.osd.OsdPlugin:getDomain
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:add
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:addMouseLis tener
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:addMouseMot ionListener
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:getHeight
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:getY
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:isVisible
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:pack
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setAlwaysOn Top
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setContentP ane
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setDefaultC loseOperation
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setFocusabl eWindowState
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setLayout
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setLocation
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setResizabl e
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setUndecora ted
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionCo lour
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getMa inWindow
    unanalyzedcall on com.dmdirc.ui.messages.Styliser:stipControl Codes
    unanalyzedcall on java.awt.Font:deriveFont
    unanalyzedcall on java.lang.Math:max
    unanalyzedcall on java.lang.Math:min
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JDialog:dispose
    unanalyzedcall on javax.swing.JDialog:setVisible
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:getFont
    unanalyzedcall on javax.swing.JLabel:setFont
    unanalyzedcall on javax.swing.JLabel:setForeground
    unanalyzedcall on javax.swing.JLabel:setHorizontalAlignment
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.border.LineBorder
    unanalyzedcall on net.miginfocom.swing.MigLayout
    test_vectorcom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@74: {0}, {1..+Inf}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@74: {0}, {1}

  • String getHelp()

    • Kind Annotation Text
    postreturn_value == &amp;"osd --close - closes all OSD windows&amp;#10;osd <message> - show the specified message in an OSD window"

  • String getName()

    • Kind Annotation Text
    postreturn_value == &amp;"osd"

  • AdditionalTabTargets getSuggestions(int, List)

    • Kind Annotation Text
    pre(soft) previousArgs != null
    presumptionjava.util.List:get(...)@108 != null
    postnew AdditionalTabTargets(getSuggestions#1) num objects == 1
    postreturn_value == &amp;new AdditionalTabTargets(getSu ggestions#1)
    test_vectorarg: {-231..-1}, {0}, {1..232-1}
    test_vectorjava.lang.String:equals(...)@108: {0}, {1}

  • bool showInHelp()

    • Kind Annotation Text
    postreturn_value == 1

  • bool showOSD(String, String)

    • Kind Annotation Text
    pre(soft) com/dmdirc/addons/osd/OsdWindow.windows != null
    prethis.plugin != null
    postreturn_value == 1
    unanalyzedcall on com.dmdirc.Main:getUI
    unanalyzedcall on com.dmdirc.addons.osd.OsdPlugin:getDomain
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:add
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:addMouseLis tener
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:addMouseMot ionListener
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:getHeight
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:getY
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:isVisible
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:pack
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setAlwaysOn Top
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setContentP ane
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setDefaultC loseOperation
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setFocusabl eWindowState
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setLayout
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setLocation
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setResizabl e
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setUndecora ted
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionCo lour
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getMa inWindow
    unanalyzedcall on java.awt.Font:deriveFont
    unanalyzedcall on java.lang.Math:max
    unanalyzedcall on java.lang.Math:min
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JDialog:dispose
    unanalyzedcall on javax.swing.JDialog:setVisible
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:getFont
    unanalyzedcall on javax.swing.JLabel:setFont
    unanalyzedcall on javax.swing.JLabel:setForeground
    unanalyzedcall on javax.swing.JLabel:setHorizontalAlignment
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.border.LineBorder
    unanalyzedcall on net.miginfocom.swing.MigLayout