KFileChooser.java

KFileChooser.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlugin)

Kind	Annotation Text
post	init'ed(this.plugin)
post	this.fileFilter == null
post	this.plugin == plugin

void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlugin, File)

Kind	Annotation Text
post	init'ed(this.plugin)
post	this.fileFilter == null
post	this.plugin == plugin

void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlugin, File, FileSystemView)

Kind	Annotation Text
post	init'ed(this.plugin)
post	this.fileFilter == null
post	this.plugin == plugin

void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlugin, String)

Kind	Annotation Text
post	init'ed(this.plugin)
post	this.fileFilter == null
post	this.plugin == plugin

void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlugin, String, FileSystemView)

Kind	Annotation Text
post	init'ed(this.plugin)
post	this.fileFilter == null
post	this.plugin == plugin

void com.dmdirc.addons.dcc.kde.KFileChooser(DCCPlugin, FileSystemView)

Kind	Annotation Text
post	init'ed(this.plugin)
post	this.fileFilter == null
post	this.plugin == plugin

com.dmdirc.addons.dcc.kde.KFileChooser__static_init

Kind	Annotation Text

JFileChooser getFileChooser(DCCPlugin)

Kind	Annotation Text
pre	(soft) plugin != null
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 != null
post	new KFileChooser(getFileChooser#1).plugin == plugin
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)}
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JFileChooser

JFileChooser getFileChooser(DCCPlugin, File)

Kind	Annotation Text
pre	(soft) plugin != null
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 != null
post	new KFileChooser(getFileChooser#1).plugin == plugin
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)}
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JFileChooser

JFileChooser getFileChooser(DCCPlugin, File, FileSystemView)

Kind	Annotation Text
pre	(soft) plugin != null
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 != null
post	new KFileChooser(getFileChooser#1).plugin == plugin
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)}
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JFileChooser

JFileChooser getFileChooser(DCCPlugin, String)

Kind	Annotation Text
pre	(soft) plugin != null
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 != null
post	new KFileChooser(getFileChooser#1).plugin == plugin
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)}
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JFileChooser

JFileChooser getFileChooser(DCCPlugin, String, FileSystemView)

Kind	Annotation Text
pre	(soft) plugin != null
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 != null
post	new KFileChooser(getFileChooser#1).plugin == plugin
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)}
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JFileChooser

JFileChooser getFileChooser(DCCPlugin, FileSystemView)

Kind	Annotation Text
pre	(soft) plugin != null
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 != null
post	new KFileChooser(getFileChooser#1).plugin == plugin
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)}
unanalyzed	call on com.dmdirc.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JFileChooser

String getKDEFileFilter()

Kind	Annotation Text
pre	init'ed(this.fileFilter)
post	init'ed(return_value)
post	return_value == this.fileFilter

void setKDEFileFilter(String)

Kind	Annotation Text
post	init'ed(this.fileFilter)
post	this.fileFilter == fileFilter

int showOpenDialog(Component)

Kind	Annotation Text
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.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.addons.dcc.kde.StreamReader:star t
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.util.ArrayList
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}
test_vector	this.fileFilter: Addr_Set{null}, Inverse{null}

int showSaveDialog(Component)

Kind	Annotation Text
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.addons.dcc.DCCPlugin:getDomain
unanalyzed	call on com.dmdirc.addons.dcc.kde.StreamReader:star t
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.util.ArrayList
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}

bool useKFileChooser(DCCPlugin)

Kind	Annotation Text
pre	(soft) plugin != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@80 != null
post	init'ed(return_value)