Messages

method

com.dmdirc.updater.components.ClientComponent__ static_init

method

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

method	String getName()
post	return_value == &"client"

method	String getFriendlyName()
post	return_value == &"DMDirc client"

method	Version getVersion()
presumption	com.dmdirc.config.ConfigManager:getOption(...)@61 != null
post	return_value == &new Version(getVersion#1)
post	new Version(getVersion#1) num objects == 1
post	init'ed(return_value.intVersion)
post	init'ed(return_value.strVersion)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.Integer:parseInt

method	String getFriendlyVersion()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@61 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method	bool doInstall(String)
pre	init'ed(com/dmdirc/updater/components/LauncherCompo nent.version)
presumption	com.dmdirc.Main:getUI(...)@98 != null
presumption	init'ed(java.io.File.separator)
post	return_value == 1
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on java.net.URL:getProtocol
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.net.URLDecoder:decode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
test_vector	com/dmdirc/updater/components/LauncherComponent. version: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	java.io.File:exists(...)@70: {0}, {1}
test_vector	java.lang.String:equals(...)@82: {0}, {1}

method not available - call not analyzed Info call on UIController com.dmdirc.Main:getUI()

method not available - call not analyzed Info call on void showMessageDialog(String, String)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

	method not available - call not analyzed	Info	call on UIController com.dmdirc.Main:getUI()
	method not available - call not analyzed	Info	call on void showMessageDialog(String, String)