AudioPlugin.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.audio.AudioPlugin()

  • Kind Annotation Text
    postthis.audioCommand == null
    postthis.beepCommand == null

  • com.dmdirc.addons.audio.AudioPlugin__static_init

  • Kind Annotation Text

  • void onLoad()

  • Kind Annotation Text
    postnew AudioCommand(onLoad#1) num objects == 1
    postnew BeepCommand(onLoad#2) num objects == 1
    postthis.audioCommand == &new AudioCommand(onLoad#1 )
    postthis.beepCommand == &new BeepCommand(onLoad#2)
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:reg isterCommand
    unanalyzedcall on com.dmdirc.commandparser.commands. GlobalCommand

  • void onUnload()

  • Kind Annotation Text
    preinit'ed(this.audioCommand)
    preinit'ed(this.beepCommand)