AudioPlayer.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • com.dmdirc.addons.audio.AudioPlayer$1__static_init

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.addons.audio. AudioPlayer$AudioType__static_init.new AudioPlayer$AudioType[](AudioPlayer$AudioType__sta tic_init#3)[...])
    presumptioncom.dmdirc.addons.audio.AudioPlayer_ AudioType:ordinal(...)@70 - values(...).length in range
    presumptioncom.dmdirc.addons.audio.AudioPlayer_ AudioType:ordinal(...)@70 in {0,1}
    postnew int[](AudioPlayer$1__static_init#1) num objects == 1

  • void com.dmdirc.addons.audio.AudioPlayer$AudioType(String, int)

    • Kind Annotation Text

  • com.dmdirc.addons.audio.AudioPlayer$AudioType__static_init

    • Kind Annotation Text
    post$VALUES == &new AudioPlayer$AudioType[](AudioPl ayer$AudioType__static_init#3)
    post$VALUES.length == 2
    post$VALUES[0] == &new AudioPlayer$AudioType(AudioP layer$AudioType__static_init#1)
    post$VALUES[1] == &new AudioPlayer$AudioType(AudioP layer$AudioType__static_init#2)
    postINVALID == &new AudioPlayer$AudioType(AudioPlay er$AudioType__static_init#2)
    postWAV == &new AudioPlayer$AudioType(AudioPlayer$A udioType__static_init#1)
    postnew AudioPlayer$AudioType(AudioPlayer$AudioType__ static_init#1) num objects == 1
    postnew AudioPlayer$AudioType(AudioPlayer$AudioType__ static_init#2) num objects == 1
    postnew AudioPlayer$AudioType[](AudioPlayer$AudioType__ static_init#3) num objects == 1
    unanalyzedcall on java.lang.Enum

  • void com.dmdirc.addons.audio.AudioPlayer(File)

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

  • com.dmdirc.addons.audio.AudioPlayer__static_init

    • Kind Annotation Text

  • AudioPlayer$AudioType getAudioType(File)

    • Kind Annotation Text
    postreturn_value == One-of{&com.dmdirc.addons. audio.AudioPlayer$AudioType__static_init.new AudioPlayer$AudioType(AudioPlayer$AudioType__ static_init#1), &com.dmdirc.addons.audio. AudioPlayer$AudioType__static_init.new AudioPlayer$AudioType(Audio...
    postreturn_value in Addr_Set{&com.dmdirc.addons. audio.AudioPlayer$AudioType__static_init.new AudioPlayer$AudioType(AudioPlayer$AudioType__ static_init#1),&com.dmdirc.addons.audio. AudioPlayer$AudioType__static_init.new AudioPlayer$AudioType(Audi...

  • bool isValid(File)

    • Kind Annotation Text
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.sound.sampled.AudioSystem:getAudioInp utStream

  • void play()

    • Kind Annotation Text

  • void playWav()

    • Kind Annotation Text
    pre(soft) this.myFile != null
    presumptionjava.io.File:toURI(...)@117 != null
    test_vectorjava.applet.Applet:newAudioClip(...)@117: Addr_Set{null}, Inverse{null}

  • void run()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.addons.audio. AudioPlayer$1__static_init.new int[](AudioPlayer$1_ _static_init#1)[...])
    pre(soft) this.myFile != null
    presumptioncom.dmdirc.addons.audio.AudioPlayer_ AudioType:ordinal(...)@70 in {0,1}
    unanalyzedcall on java.applet.Applet:newAudioClip
    unanalyzedcall on java.applet.AudioClip:play
    unanalyzedcall on java.io.File:toURI
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.net.URI:toURL
    unanalyzedcall on javax.sound.sampled.AudioSystem:getAudioInp utStream
    test_vectorcom.dmdirc.addons.audio.AudioPlayer$1__static_init. new int[](AudioPlayer$1__static_init#1)[...]: {1}, {-231..0, 2..232-1}

  • AudioPlayer$AudioType valueOf(String)

    • Kind Annotation Text
    postinit'ed(return_value)

  • AudioPlayer$AudioType[] values()

    • Kind Annotation Text
    pre(soft) init'ed($VALUES[...])
    postnew AudioPlayer$AudioType[](values#1) num objects == 1
    postreturn_value == &new AudioPlayer$AudioType[](va lues#1)
    postreturn_value.length == 2
    postreturn_value[...] == One-of{$VALUES[...], undefined}