method com.dmdirc.addons.audio.AudioPlayer__static_init










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

method AudioPlayer$AudioType valueOf(String)
postinit'ed(return_value)

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

method com.dmdirc.addons.audio.AudioPlayer$AudioType__ static_init
post$VALUES == &new AudioPlayer$AudioType[](AudioPl ayer$AudioType__static_init#3)
postINVALID == &new AudioPlayer$AudioType(AudioPlay er$AudioType__static_init#2)
post$VALUES[1] == &new AudioPlayer$AudioType(AudioP layer$AudioType__static_init#2)
postWAV == &new AudioPlayer$AudioType(AudioPlayer$A udioType__static_init#1)
post$VALUES[0] == &new AudioPlayer$AudioType(AudioP layer$AudioType__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
post$VALUES.length == 2
unanalyzedcall on java.lang.Enum










method void com.dmdirc.addons.audio.AudioPlayer(File)
postthis.myFile == file
postinit'ed(this.myFile)










method void play()










method void run()
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 javax.sound.sampled.AudioSystem:getAudioInp utStream
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.io.File:toURI
unanalyzedcall on java.net.URI:toURL
unanalyzedcall on java.applet.Applet:newAudioClip
unanalyzedcall on java.applet.AudioClip:play
test_vectorcom.dmdirc.addons.audio.AudioPlayer$1__static_init. new int[](AudioPlayer$1__static_init#1)[...]: {1}, {-231..0, 2..232-1}










method com.dmdirc.addons.audio.AudioPlayer$1__static_ init
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 in {0,1}
presumptioncom.dmdirc.addons.audio.AudioPlayer_ AudioType:ordinal(...)@70 - values(...).length in range
postnew int[](AudioPlayer$1__static_init#1) num objects == 1









  method not available - call not analyzedInfocall on int com.dmdirc.addons.audio. AudioPlayer$AudioType:ordinal()
  method not available - call not analyzedInfocall on int com.dmdirc.addons.audio. AudioPlayer$AudioType:ordinal()











method bool isValid(File)
postinit'ed(return_value)
unanalyzedcall on javax.sound.sampled.AudioSystem:getAudioInp utStream
unanalyzedcall on java.lang.Throwable:__curr_excep_obj










method AudioPlayer$AudioType getAudioType(File)
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...










method void playWav()
pre(soft) this.myFile != null
presumptionjava.io.File:toURI(...)@117 != null
test_vectorjava.applet.Applet:newAudioClip(...)@117: Addr_Set{null}, Inverse{null}