Messages

method

com.dmdirc.addons.dcc.kde.KFileChooser__static_ init

method	bool useKFileChooser(DCCPlugin)
pre	(soft) plugin != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@80 != 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.addons.dcc. DCCPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method	JFileChooser getFileChooser(DCCPlugin)
pre	(soft) plugin != null
post	return_value == One-of{&new KFileChooser(getFil eChooser#1), &new JFileChooser(getFileChooser#2 )}
post	return_value in Addr_Set{&new JFileChooser(getF ileChooser#2),&new KFileChooser(getFileChooser# 1)}
post	new JFileChooser(getFileChooser#2) num objects <= 1
post	new KFileChooser(getFileChooser#1) num objects <= 1
post	new KFileChooser(getFileChooser#1).fileFilter == null
post	new KFileChooser(getFileChooser#1).plugin == plugin
post	new KFileChooser(getFileChooser#1).plugin != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JFileChooser

method	JFileChooser getFileChooser(DCCPlugin, File)
pre	(soft) plugin != null
post	return_value == One-of{&new KFileChooser(getFil eChooser#1), &new JFileChooser(getFileChooser#2 )}
post	return_value in Addr_Set{&new JFileChooser(getF ileChooser#2),&new KFileChooser(getFileChooser# 1)}
post	new JFileChooser(getFileChooser#2) num objects <= 1
post	new KFileChooser(getFileChooser#1) num objects <= 1
post	new KFileChooser(getFileChooser#1).fileFilter == null
post	new KFileChooser(getFileChooser#1).plugin == plugin
post	new KFileChooser(getFileChooser#1).plugin != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JFileChooser

method	JFileChooser getFileChooser(DCCPlugin, File, FileSystemView)
pre	(soft) plugin != null
post	return_value == One-of{&new KFileChooser(getFil eChooser#1), &new JFileChooser(getFileChooser#2 )}
post	return_value in Addr_Set{&new JFileChooser(getF ileChooser#2),&new KFileChooser(getFileChooser# 1)}
post	new JFileChooser(getFileChooser#2) num objects <= 1
post	new KFileChooser(getFileChooser#1) num objects <= 1
post	new KFileChooser(getFileChooser#1).fileFilter == null
post	new KFileChooser(getFileChooser#1).plugin == plugin
post	new KFileChooser(getFileChooser#1).plugin != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JFileChooser

method	JFileChooser getFileChooser(DCCPlugin, FileSystemView)
pre	(soft) plugin != null
post	return_value == One-of{&new KFileChooser(getFil eChooser#1), &new JFileChooser(getFileChooser#2 )}
post	return_value in Addr_Set{&new JFileChooser(getF ileChooser#2),&new KFileChooser(getFileChooser# 1)}
post	new JFileChooser(getFileChooser#2) num objects <= 1
post	new KFileChooser(getFileChooser#1) num objects <= 1
post	new KFileChooser(getFileChooser#1).fileFilter == null
post	new KFileChooser(getFileChooser#1).plugin == plugin
post	new KFileChooser(getFileChooser#1).plugin != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JFileChooser

method	JFileChooser getFileChooser(DCCPlugin, String)
pre	(soft) plugin != null
post	return_value == One-of{&new KFileChooser(getFil eChooser#1), &new JFileChooser(getFileChooser#2 )}
post	return_value in Addr_Set{&new JFileChooser(getF ileChooser#2),&new KFileChooser(getFileChooser# 1)}
post	new JFileChooser(getFileChooser#2) num objects <= 1
post	new KFileChooser(getFileChooser#1) num objects <= 1
post	new KFileChooser(getFileChooser#1).fileFilter == null
post	new KFileChooser(getFileChooser#1).plugin == plugin
post	new KFileChooser(getFileChooser#1).plugin != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JFileChooser

method	JFileChooser getFileChooser(DCCPlugin, String, FileSystemView)
pre	(soft) plugin != null
post	return_value == One-of{&new KFileChooser(getFil eChooser#1), &new JFileChooser(getFileChooser#2 )}
post	return_value in Addr_Set{&new JFileChooser(getF ileChooser#2),&new KFileChooser(getFileChooser# 1)}
post	new JFileChooser(getFileChooser#2) num objects <= 1
post	new KFileChooser(getFileChooser#1) num objects <= 1
post	new KFileChooser(getFileChooser#1).fileFilter == null
post	new KFileChooser(getFileChooser#1).plugin == plugin
post	new KFileChooser(getFileChooser#1).plugin != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JFileChooser

method	void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlu gin)
post	this.fileFilter == null
post	this.plugin == plugin
post	init'ed(this.plugin)

method	void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlu gin, File)
post	this.fileFilter == null
post	this.plugin == plugin
post	init'ed(this.plugin)

method	void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlu gin, File, FileSystemView)
post	this.fileFilter == null
post	this.plugin == plugin
post	init'ed(this.plugin)

method	void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlu gin, FileSystemView)
post	this.fileFilter == null
post	this.plugin == plugin
post	init'ed(this.plugin)

method	void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlu gin, String)
post	this.fileFilter == null
post	this.plugin == plugin
post	init'ed(this.plugin)

method	void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlu gin, String, FileSystemView)
post	this.fileFilter == null
post	this.plugin == plugin
post	init'ed(this.plugin)

method	void setKDEFileFilter(String)
post	this.fileFilter == fileFilter
post	init'ed(this.fileFilter)

method	String getKDEFileFilter()
pre	init'ed(this.fileFilter)
post	return_value == this.fileFilter
post	init'ed(return_value)

method	int showOpenDialog(Component)
pre	(soft) init'ed(this.fileFilter)
pre	(soft) this.plugin != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getCurrentDi rectory(...)@263 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getCurrentDi rectory(...)@268 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getDialogTit le(...)@252 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@261 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@262 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@263 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@265 != null
presumption	init'ed(java.io.File.separator)
presumption	java.io.File:getPath(...)@261 != null
presumption	java.io.File:getPath(...)@262 != null
presumption	java.util.ArrayList:toArray(...)@275 != null
presumption	java.util.List:size(...)@284 >= 0
presumption	java.util.List:size(...)@285 - java.util. List:size(...)@284 in {-6_442_450_943..0}
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on com.dmdirc.addons.dcc.kde.StreamReader:star t
unanalyzed	call on java.lang.Process:waitFor
test_vector	this.fileFilter: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getCurrentDi rectory(...)@267: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getDialogTit le(...)@252: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getFileSelec tionMode(...)@256: {-2³¹..0, 2..2³²-1}, {1}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getFileSelec tionMode(...)@261: {1}, {-2³¹..0, 2..2³²-1}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getFileSelec tionMode(...)@270: {1}, {-2³¹..0, 2..2³²-1}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@261: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:isMultiSelec tionEnabled(...)@248: {0}, {1}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:isMultiSelec tionEnabled(...)@282: {0}, {1}
test_vector	java.lang.Process:exitValue(...)@281: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	java.lang.String:charAt(...)@262: {47}, {0..46, 48..2¹⁶-1}
test_vector	java.lang.String:isEmpty(...)@252: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@261: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@270: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.dcc.kde. KFileChooser:isMultiSelectionEnabled()

method not available - call not analyzed Info call on String com.dmdirc.addons.dcc.kde. KFileChooser:getDialogTitle()

method not available - call not analyzed Info call on int com.dmdirc.addons.dcc.kde. KFileChooser:getFileSelectionMode()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getSelectedFile()

method not available - call not analyzed Info call on int com.dmdirc.addons.dcc.kde. KFileChooser:getFileSelectionMode()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getSelectedFile()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getCurrentDirectory()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getSelectedFile()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getSelectedFile()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getCurrentDirectory()

method not available - call not analyzed Info call on int com.dmdirc.addons.dcc.kde. KFileChooser:getFileSelectionMode()

method not available - call not analyzed Info call on bool com.dmdirc.addons.dcc.kde. KFileChooser:isMultiSelectionEnabled()

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.kde. KFileChooser:setSelectedFiles(File[])

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.kde. KFileChooser:setSelectedFile(File)

method	int showSaveDialog(Component)
pre	(soft) this.plugin != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getCurrentDi rectory(...)@312 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getCurrentDi rectory(...)@317 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getDialogTit le(...)@305 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@310 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@311 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@312 != null
presumption	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@314 != null
presumption	init'ed(java.io.File.separator)
presumption	java.io.File:getPath(...)@310 != null
presumption	java.io.File:getPath(...)@311 != null
presumption	java.util.ArrayList:toArray(...)@321 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on com.dmdirc.addons.dcc.kde.StreamReader:star t
unanalyzed	call on java.lang.Process:waitFor
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getCurrentDi rectory(...)@316: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getDialogTit le(...)@305: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.dcc.kde.KFileChooser:getSelectedF ile(...)@310: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Process:exitValue(...)@327: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	java.lang.String:charAt(...)@311: {47}, {0..46, 48..2¹⁶-1}
test_vector	java.lang.String:isEmpty(...)@305: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@310: {1}, {0}

method not available - call not analyzed Info call on String com.dmdirc.addons.dcc.kde. KFileChooser:getDialogTitle()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getSelectedFile()

method not available - call not analyzed Info call on File com.dmdirc.addons.dcc.kde. KFileChooser:getCurrentDirectory()

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.kde. KFileChooser:setSelectedFile(File)

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.addons.dcc. DCCPlugin:getDomain()
method not available - call not analyzed	Info	call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

	method not available - call not analyzed	Info	call on File com.dmdirc.addons.dcc.kde. KFileChooser:getSelectedFile()
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.dcc.kde. KFileChooser:getFileSelectionMode()