LinuxInstaller.java

LinuxInstaller.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

com.dmdirc.installer.LinuxInstaller$1__static_init

Kind	Annotation Text
presumption	com.dmdirc.installer.Installer$ShortcutType. DESKTOP != null
presumption	com.dmdirc.installer.Installer$ShortcutType.MENU != null
presumption	com.dmdirc.installer.Installer$ShortcutType. PROTOCOL != null
presumption	com.dmdirc.installer.Installer$ShortcutType. QUICKLAUNCH != null
presumption	com.dmdirc.installer.Installer$ShortcutType. UNINSTALLER != null
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length@75 >= 1
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 < com.dmdirc.installer.Installer$ShortcutT ype:values(...).length@75
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 >= 0
presumption	com.dmdirc.installer.Installer_ShortcutType:values( ...)@75 != null
post	new int[](LinuxInstaller$1__static_init#1) num objects == 1

void com.dmdirc.installer.LinuxInstaller()

Kind	Annotation Text

com.dmdirc.installer.LinuxInstaller__static_init

Kind	Annotation Text

String defaultInstallLocation()

Kind	Annotation Text
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
presumption	getCLIParser(...).params != null
post	com/dmdirc/installer/cliparser/CLIParser.me != null
post	init'ed(java.lang.String:valueOf(...)._tainted)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(new CLIParser(getCLIParser#1).helpParam)
post	init'ed(new CLIParser(getCLIParser#1).paramList)
post	init'ed(new CLIParser(getCLIParser#1).params)
post	init'ed(new CLIParser(getCLIParser#1).redundant)
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#2) num objects == 0
post	new ArrayList(CLIParser#3) num objects == 0
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects == 0
post	new CLIParser(getCLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1).helpParam == null
post	new CLIParser(getCLIParser#1).paramList == &new ArrayList(CLIParser#2)
post	new CLIParser(getCLIParser#1).params == &new Hashtable(CLIParser#1)
post	new CLIParser(getCLIParser#1).redundant == &new ArrayList(CLIParser#3)
post	new Hashtable(CLIParser#1) num objects == 0
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:isEmpty(...)@62: {0}, {1}

bool isRoot()

Kind	Annotation Text
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
presumption	getCLIParser(...).params != null
post	com/dmdirc/installer/cliparser/CLIParser.me != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	init'ed(return_value)
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1).helpParam == null
post	new CLIParser(getCLIParser#1).paramList == &new ArrayList(CLIParser#2)
post	new CLIParser(getCLIParser#1).params == &new Hashtable(CLIParser#1)
post	new CLIParser(getCLIParser#1).redundant == &new ArrayList(CLIParser#3)
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void postInstall(String)

Kind	Annotation Text
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
post	com/dmdirc/installer/cliparser/CLIParser.me != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1).helpParam == null
post	new CLIParser(getCLIParser#1).paramList == &new ArrayList(CLIParser#2)
post	new CLIParser(getCLIParser#1).params == &new Hashtable(CLIParser#1)
post	new CLIParser(getCLIParser#1).redundant == &new ArrayList(CLIParser#3)
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void setupShortcut(String, Installer$ShortcutType)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.installer. LinuxInstaller$1__static_init.new int[](LinuxInstal ler$1__static_init#1)[...])
pre	(soft) init'ed(com/dmdirc/installer/cliparser/CLIPa rser.me)
pre	(soft) shortcutType != null
pre	(soft) this.step != null
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length - com.dmdirc.installer.Installer_Shortc utType:ordinal(...)@106 in range
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length >= 1
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@106 < com.dmdirc.installer.Installer$Shortcut Type:values(...).length
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@106 >= 0
presumption	java.io.File:getParentFile(...)@187 != null
presumption	java.io.File:getParentFile(...)@188 != null
presumption	java.lang.Runtime:exec(...)@168 != null
presumption	java.lang.Runtime:getRuntime(...)@168 != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	init'ed(new CLIParser(getCLIParser#1).helpParam)
post	init'ed(new CLIParser(getCLIParser#1).paramList)
post	init'ed(new CLIParser(getCLIParser#1).params)
post	init'ed(new CLIParser(getCLIParser#1).redundant)
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects <= 1
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects <= 1
post	new CLIParser(getCLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new Hashtable(CLIParser#1) num objects <= 1
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	possibly_updated(new ArrayList(CLIParser#2) num objects)
post	possibly_updated(new ArrayList(CLIParser#3) num objects)
post	possibly_updated(new CLIParser(getCLIParser#1) num objects)
post	possibly_updated(new CLIParser(getCLIParser#1). helpParam)
post	possibly_updated(new CLIParser(getCLIParser#1). paramList)
post	possibly_updated(new CLIParser(getCLIParser#1). params)
post	possibly_updated(new CLIParser(getCLIParser#1). redundant)
post	possibly_updated(new Hashtable(CLIParser#1) num objects)
unanalyzed	call on com.dmdirc.installer.Installer$ShortcutType :ordinal
unanalyzed	call on isRoot
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	com.dmdirc.installer.LinuxInstaller$1__static_init. new int[](LinuxInstaller$1__static_init#1)[...]: {2}, {3}, {4}, {5}, {-2³¹..1, 6..2³²-1}
test_vector	java.io.File:exists(...)@187: {1}, {0}

bool supportsShortcut(Installer$ShortcutType)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.installer. LinuxInstaller$1__static_init.new int[](LinuxInstal ler$1__static_init#1)[...])
pre	(soft) init'ed(com/dmdirc/installer/cliparser/CLIPa rser.me)
pre	shortcutType != null
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length - com.dmdirc.installer.Installer_Shortc utType:ordinal(...)@75 in range
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length >= 1
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 < com.dmdirc.installer.Installer$ShortcutT ype:values(...).length
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 >= 0
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
post	init'ed(new CLIParser(getCLIParser#1).helpParam)
post	init'ed(new CLIParser(getCLIParser#1).paramList)
post	init'ed(new CLIParser(getCLIParser#1).params)
post	init'ed(new CLIParser(getCLIParser#1).redundant)
post	init'ed(return_value)
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects <= 1
post	new CLIParser(getCLIParser#1) num objects <= 1
post	new Hashtable(CLIParser#1) num objects <= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	com.dmdirc.installer.LinuxInstaller$1__static_init. new int[](LinuxInstaller$1__static_init#1)[...]: {1}, {2}, {3..5}, {-2³¹.. 0, 6..2³²-1}

bool validFile(String)

Kind	Annotation Text
pre	filename != null
post	init'ed(return_value)

void writeFile(PrintWriter, String)

Kind	Annotation Text
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
pre	writer != null
post	com/dmdirc/installer/cliparser/CLIParser.me != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1).helpParam == null
post	new CLIParser(getCLIParser#1).paramList == &new ArrayList(CLIParser#2)
post	new CLIParser(getCLIParser#1).params == &new Hashtable(CLIParser#1)
post	new CLIParser(getCLIParser#1).redundant == &new ArrayList(CLIParser#3)
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get