method

void com.dmdirc.updater.components. LauncherComponent()

method	com.dmdirc.updater.components.LauncherComponent__ static_init
post	platform == &""
post	version == -1

method	void setLauncherInfo(String)
pre	info != null
presumption	java.lang.String:indexOf(...)@51 <= 232-2
post	init'ed(java.lang.String:substring(...)._tainted)
post	platform == One-of{old platform, &amp;java.lang. String:substring(...)}
post	possibly_updated(version)
unanalyzed	call on java.util.List:add
test_vector	java.lang.String:indexOf(...)@51: {-231.. -2, 0..232-2}, {-1}

method	bool isUsingLauncher()
pre	init'ed(version)
post	init'ed(return_value)

method	String getName()
pre	init'ed(platform)
post	java.lang.StringBuilder:toString(...)._tainted == platform._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	String getFriendlyName()
post	return_value == &"Launcher"

method	String getFriendlyVersion()
pre	init'ed(version)
post	java.lang.String:valueOf(...)._tainted == 0
post	return_value == &java.lang.String:valueOf(...)

method	Version getVersion()
pre	init'ed(version)
post	return_value == &new Version(getVersion#1)
post	new Version(getVersion#1) num objects == 1
post	return_value.intVersion == version
post	init'ed(return_value.intVersion)
post	return_value.strVersion == null

method	bool doInstall(String)
pre	platform != null
presumption	init'ed(java.io.File.separator)
post	return_value == 1
unanalyzed	call on java.util.zip.ZipFile
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.zip.ZipFile:entries
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.zip.ZipEntry:getName
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:write
unanalyzed	call on java.io.FileOutputStream:flush
unanalyzed	call on java.io.FileOutputStream:close
unanalyzed	call on extractResources
unanalyzed	call on getResourcesStartingWithAsBytes
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:read
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.io.File:isFile
unanalyzed	call on getFileListing
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on extractResource
unanalyzed	call on getResourceBytes
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.zip.ZipFile:getEntry
unanalyzed	call on java.util.zip.ZipEntry:isDirectory
unanalyzed	call on java.util.zip.ZipEntry:getSize
unanalyzed	call on java.util.zip.ZipFile:getInputStream
unanalyzed	call on java.io.BufferedInputStream
unanalyzed	call on java.io.BufferedInputStream:read
unanalyzed	call on java.io.BufferedInputStream:close
test_vector	java.io.File:exists(...)@107: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@104: {1}, {0}
test_vector	java.lang.String:equalsIgnoreCase(...)@104: {0}, {1}