Installer.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool accept(File, String)

    • Kind Annotation Text
    prename != null
    postinit'ed(return_value)

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

    • Kind Annotation Text

  • com.dmdirc.installer.Installer$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.installer.Installer$ShortcutType(String, int)

    • Kind Annotation Text

  • com.dmdirc.installer.Installer$ShortcutType__static_init

    • Kind Annotation Text
    post$VALUES == &new Installer$ShortcutType[](Instal ler$ShortcutType__static_init#6)
    post$VALUES.length == 5
    post$VALUES[0] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#1)
    post$VALUES[1] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#2)
    post$VALUES[2] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#3)
    post$VALUES[3] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#4)
    post$VALUES[4] == &new Installer$ShortcutType(Insta ller$ShortcutType__static_init#5)
    postDESKTOP == &new Installer$ShortcutType(Installe r$ShortcutType__static_init#1)
    postMENU == &new Installer$ShortcutType(Installer$S hortcutType__static_init#2)
    postPROTOCOL == &new Installer$ShortcutType(Install er$ShortcutType__static_init#5)
    postQUICKLAUNCH == &new Installer$ShortcutType(Inst aller$ShortcutType__static_init#3)
    postUNINSTALLER == &new Installer$ShortcutType(Inst aller$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
    unanalyzedcall on java.lang.Enum

  • void com.dmdirc.installer.Installer()

    • Kind Annotation Text

  • com.dmdirc.installer.Installer__static_init

    • Kind Annotation Text

  • void copyFile(String, String)

    • Kind Annotation Text
    presumptionjava.io.File:exists(...)@234 == 1
    presumptionjava.io.FileInputStream:getChannel(...)@235 != null
    presumptionjava.io.FileOutputStream:getChannel(...)@237 != null

  • bool doSetup(String)

    • Kind Annotation Text
    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.io.IOException
    unanalyzedcall on java.nio.channels.FileChannel:close
    unanalyzedcall on java.nio.channels.FileChannel:size
    unanalyzedcall on java.nio.channels.FileChannel:transferFrom
    test_vectorjava.io.File:exists(...)@167: {1}, {0}
    test_vectorjava.io.File:list(...)@181: Addr_Set{null}, Inverse{null}

  • String getMenuName()

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

  • void postInstall(String)

    • Kind Annotation Text

  • void run()

    • Kind Annotation Text
    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 com.dmdirc.installer.TextStep:addText
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:list
    unanalyzedcall on java.io.File:mkdir
    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.io.IOException
    unanalyzedcall on java.io.IOException:getMessage
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.nio.channels.FileChannel:close
    unanalyzedcall on java.nio.channels.FileChannel:size
    unanalyzedcall on java.nio.channels.FileChannel:transferFrom
    test_vectorcom.dmdirc.installer.cliparser.CLIParser:getParamNu mber(...)@86: {0}, {-231..-1, 1..232-1}

  • void setInstallStep(TextStep)

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

  • bool supportsShortcut(Installer$ShortcutType)

    • Kind Annotation Text
    postreturn_value == 0

  • Installer$ShortcutType valueOf(String)

    • Kind Annotation Text
    postinit'ed(return_value)

  • Installer$ShortcutType[] values()

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