Last Msg First Msg
























method com.dmdirc.installer.Installer$1__static_init

method com.dmdirc.installer.Installer__static_init










method Installer$ShortcutType[] values()
pre(soft) init'ed($VALUES[...])
postreturn_value == &new Installer$ShortcutType[](v alues#1)
postnew Installer$ShortcutType[](values#1) num objects == 1
postreturn_value.length == 5
postreturn_value[...] == One-of{$VALUES[...], undefined}

method Installer$ShortcutType valueOf(String)
postinit'ed(return_value)

method void com.dmdirc.installer.Installer$ShortcutType(S tring, int)










method com.dmdirc.installer.Installer$ShortcutType__ static_init
post$VALUES == &new Installer$ShortcutType[](Instal ler$ShortcutType__static_init#6)
postDESKTOP == &new Installer$ShortcutType(Installe r$ShortcutType__static_init#1)
post$VALUES[0] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#1)
postMENU == &new Installer$ShortcutType(Installer$S hortcutType__static_init#2)
post$VALUES[1] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#2)
postPROTOCOL == &new Installer$ShortcutType(Install er$ShortcutType__static_init#5)
post$VALUES[4] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#5)
postQUICKLAUNCH == &new Installer$ShortcutType(Inst aller$ShortcutType__static_init#3)
post$VALUES[2] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#3)
postUNINSTALLER == &new Installer$ShortcutType(Inst aller$ShortcutType__static_init#4)
post$VALUES[3] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#4)
postnew Installer$ShortcutType(Installer$ShortcutType__ static_init#1) num objects == 1
postnew Installer$ShortcutType(Installer$ShortcutType__ static_init#2) num objects == 1
postnew Installer$ShortcutType(Installer$ShortcutType__ static_init#3) num objects == 1
postnew Installer$ShortcutType(Installer$ShortcutType__ static_init#4) num objects == 1
postnew Installer$ShortcutType(Installer$ShortcutType__ static_init#5) num objects == 1
postnew Installer$ShortcutType[](Installer$ShortcutType __static_init#6) num objects == 1
post$VALUES.length == 5
unanalyzedcall on java.lang.Enum










method void com.dmdirc.installer.Installer()










method void setInstallStep(TextStep)
postthis.step == step
postinit'ed(this.step)










method void run()
prethis.step != null
presumptioncom.dmdirc.installer.Main:getInstaller(...)@100 != null
presumptioncom.dmdirc.installer.Main:getInstaller(...)@111 != null
presumptioncom.dmdirc.installer.Main:getInstaller(...)@120 != null
presumptioncom.dmdirc.installer.Main:getInstaller(...)@129 != null
presumptioncom.dmdirc.installer.Main:getInstaller(...)@134 != null
presumptioncom.dmdirc.installer.Main:getWizardFrame(...)@147 != null
presumptioncom.dmdirc.installer.Main:getWizardFrame(...)@88 != null
presumptioncom.dmdirc.installer.Main:getWizardFrame(...)@96 != null
presumptioncom.dmdirc.installer.cliparser.CLIParser:getCLIPars er(...)@86 != null
presumptioncom.dmdirc.installer.ui.InstallerDialog:getStep(... )@88 != null
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileInputStream
unanalyzedcall on java.io.FileInputStream:getChannel
unanalyzedcall on java.io.FileOutputStream
unanalyzedcall on java.io.FileOutputStream:getChannel
unanalyzedcall on java.nio.channels.FileChannel:size
unanalyzedcall on java.nio.channels.FileChannel:transferFrom
unanalyzedcall on java.nio.channels.FileChannel:close
unanalyzedcall on java.io.IOException
unanalyzedcall on java.io.File:mkdir
unanalyzedcall on java.io.File:list
unanalyzedcall on com.dmdirc.installer.TextStep:addText
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.io.IOException:getMessage
test_vectorcom.dmdirc.installer.cliparser.CLIParser:getParamNu mber(...)@86: {0}, {-231..-1, 1..232-1}









  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:setText( String)










  method not available - call not analyzedInfocall on CLIParser com.dmdirc.installer.cliparser. CLIParser:getCLIParser()
  method not available - call not analyzedInfocall on int com.dmdirc.installer.cliparser. CLIParser:getParamNumber(String)










  method not available - call not analyzedInfocall on InstallerDialog com.dmdirc.installer. Main:getWizardFrame()
  method not available - call not analyzedInfocall on Step com.dmdirc.installer.ui. InstallerDialog:getStep(int)










  method not available - call not analyzedInfocall on String com.dmdirc.installer. Settings:getInstallLocation()










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)










  method not available - call not analyzedInfocall on InstallerDialog com.dmdirc.installer. Main:getWizardFrame()
  method not available - call not analyzedInfocall on void com.dmdirc.installer.ui. InstallerDialog:enableNextStep(bool)










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because supportsShortcut(...) == 0
  method not available - call not analyzedInfocall on Installer com.dmdirc.installer. Main:getInstaller()
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because supportsShortcut(...) == 0
Prev Msg Next Msg










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because supportsShortcut(...) == 0
  method not available - call not analyzedInfocall on Installer com.dmdirc.installer. Main:getInstaller()
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because supportsShortcut(...) == 0
Prev Msg Next Msg










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because supportsShortcut(...) == 0
  method not available - call not analyzedInfocall on Installer com.dmdirc.installer. Main:getInstaller()
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because supportsShortcut(...) == 0
Prev Msg Next Msg










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because supportsShortcut(...) == 0
  method not available - call not analyzedInfocall on Installer com.dmdirc.installer. Main:getInstaller()
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because supportsShortcut(...) == 0
Prev Msg Next Msg










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because supportsShortcut(...) == 0
  method not available - call not analyzedInfocall on Installer com.dmdirc.installer. Main:getInstaller()
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because supportsShortcut(...) == 0
Prev Msg Next Msg










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)










  method not available - call not analyzedInfocall on InstallerDialog com.dmdirc.installer. Main:getWizardFrame()
  method not available - call not analyzedInfocall on void com.dmdirc.installer.ui. InstallerDialog:enableNextStep(bool)











method bool doSetup(String)
prethis.step != null
presumptionarr$.length@181 <= 232-1
presumptioninit'ed(java.io.File.separator)
postinit'ed(return_value)
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileInputStream
unanalyzedcall on java.io.FileInputStream:getChannel
unanalyzedcall on java.io.FileOutputStream
unanalyzedcall on java.io.FileOutputStream:getChannel
unanalyzedcall on java.nio.channels.FileChannel:size
unanalyzedcall on java.nio.channels.FileChannel:transferFrom
unanalyzedcall on java.nio.channels.FileChannel:close
unanalyzedcall on java.io.IOException
test_vectorjava.io.File:exists(...)@167: {1}, {0}
test_vectorjava.io.File:list(...)@181: Addr_Set{null}, Inverse{null}










method void com.dmdirc.installer.Installer$1(Installer)










method bool accept(File, String)
prename != null
postinit'ed(return_value)









  method not available - call not analyzedInfocall on bool validFile(String)










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)










  method not available - call not analyzedInfocall on void com.dmdirc.installer.TextStep:addText( String)











method bool supportsShortcut(Installer$ShortcutType)
postreturn_value == 0










method String getMenuName()
postreturn_value == &amp;"menu"










method void copyFile(String, String)
presumptionjava.io.File:exists(...)@234 == 1
presumptionjava.io.FileInputStream:getChannel(...)@235 != null
presumptionjava.io.FileOutputStream:getChannel(...)@237 != null










method void postInstall(String)