ServerManager.java

ServerManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void closeAll()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	this.servers != null
presumption	java.util.Iterator:next(...)@113 != null
presumption	server.channels@113 != null
presumption	server.config@113 != null
presumption	server.invites@113 != null
presumption	server.listeners@113 != null
presumption	server.myState.history@113 != null
presumption	server.myState.state.transitions@113 != null
presumption	server.myState.state@113 != null
presumption	server.myState@113 != null
presumption	server.parserThread@113 != null
presumption	server.reconnectTimer@113 != null
presumption	server.serverInfo@113 != null
unanalyzed	call on clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on updateIcon
test_vector	java.util.Iterator:hasNext(...)@113: {1}, {0}

void closeAll(String)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	this.servers != null
presumption	java.util.Iterator:next(...)@127 != null
presumption	server.channels@127 != null
presumption	server.config@127 != null
presumption	server.invites@127 != null
presumption	server.listeners@127 != null
presumption	server.myState.history@127 != null
presumption	server.myState.state.transitions@127 != null
presumption	server.myState.state@127 != null
presumption	server.myState@127 != null
presumption	server.parserThread@127 != null
presumption	server.reconnectTimer@127 != null
presumption	server.serverInfo@127 != null
unanalyzed	call on clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on updateIcon
test_vector	java.util.Iterator:hasNext(...)@127: {1}, {0}

void com.dmdirc.ServerManager()

Kind	Annotation Text
post	new ArrayList(ServerManager#1) num objects == 1
post	this.servers == &new ArrayList(ServerManager#1)

com.dmdirc.ServerManager__static_init

Kind	Annotation Text

void disconnectAll(String)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	this.servers != null
presumption	java.util.Iterator:next(...)@102 != null
presumption	server.channels@102 != null
presumption	server.config@102 != null
presumption	server.invites@102 != null
presumption	server.listeners@102 != null
presumption	server.myState.history@102 != null
presumption	server.myState.state.transitions@102 != null
presumption	server.myState.state@102 != null
presumption	server.myState@102 != null
presumption	server.parserThread@102 != null
presumption	server.reconnectTimer@102 != null
presumption	server.serverInfo@102 != null
unanalyzed	call on clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on updateIcon
test_vector	java.util.Iterator:hasNext(...)@102: {1}, {0}

Server getServerFromFrame(Window)

Kind	Annotation Text
pre	this.servers != null
presumption	java.util.Iterator:next(...)@151 != null
presumption	server.channels@151 != null
presumption	server.queries@151 != null
post	init'ed(return_value)
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on ownsFrame
test_vector	java.util.Iterator:hasNext(...)@151: {1}, {0}

ServerManager getServerManager()

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new ServerManager(getServ erManager#1)}
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1).servers == &new ArrayList(ServerManager#1)
post	return_value == me
unanalyzed	call on java.util.ArrayList
test_vector	me: Inverse{null}, Addr_Set{null}

List getServers()

Kind	Annotation Text
post	new ArrayList(getServers#1) num objects == 1
post	return_value == &new ArrayList(getServers#1)

List getServersByAddress(String)

Kind	Annotation Text
pre	this.servers != null
presumption	com.dmdirc.parser.irc.ServerInfo:getHost(...)@862 != null
presumption	java.util.Iterator:next(...)@191 != null
presumption	server.serverInfo@191 != null
post	new ArrayList(getServersByAddress#1) num objects == 1
post	return_value == &new ArrayList(getServersByAddr ess#1)
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
test_vector	java.lang.String:equalsIgnoreCase(...)@192: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@191: {1}, {0}

List getServersByNetwork(String)

Kind	Annotation Text
pre	this.servers != null
presumption	java.util.Iterator:next(...)@171 != null
post	new ArrayList(getServersByNetwork#1) num objects == 1
post	return_value == &new ArrayList(getServersByNetw ork#1)
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on getNetwork
unanalyzed	call on java.lang.IllegalStateException
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	java.util.Iterator:hasNext(...)@171: {1}, {0}

void joinDevChat()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/actions/wrappers/AliasWra pper.me)
pre	(soft) init'ed(me)
pre	this.servers != null
presumption	com.dmdirc.config.IdentityManager:getProfiles(... )@224 != null
presumption	connectedServer.autochannels@209 != null
presumption	connectedServer.channels@209 != null
presumption	connectedServer.converter@209 != null
presumption	connectedServer.invites@209 != null
presumption	connectedServer.listeners@209 != null
presumption	connectedServer.myState@209 != null
presumption	java.util.Iterator:next(...)@209 != null
presumption	server.autochannels@209 != null
presumption	server.channels@209 != null
presumption	server.converter@209 != null
presumption	server.converter@213 != null
presumption	server.invites@209 != null
presumption	server.listeners@209 != null
presumption	server.myState@209 != null
presumption	server.parser@213 != null
post	com/dmdirc/actions/wrappers/AliasWrapper.me == old com/dmdirc/actions/wrappers/AliasWrapper.me
post	me == old me
post	new AliasWrapper(getAliasWrapper#1) num objects == 0, if init'ed
post	new AliasWrapper(getAliasWrapper#1).actions == null
post	new AliasWrapper(getAliasWrapper#1).aliases == null
post	new AliasWrapper(getAliasWrapper#1).author == null
post	new AliasWrapper(getAliasWrapper#1).component == 0, if init'ed
post	new AliasWrapper(getAliasWrapper#1).description == null
post	new AliasWrapper(getAliasWrapper#1).name == null
post	new AliasWrapper(getAliasWrapper#1).settings == null
post	new AliasWrapper(getAliasWrapper#1).version == 0, if init'ed
post	new ArrayList(ActionGroup#1) num objects == 0, if init'ed
post	new ArrayList(AliasWrapper#1) num objects == 0, if init'ed
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new HashMap(ActionGroup#2) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on activateFrame
unanalyzed	call on com.dmdirc.EventHandler
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.Server
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.config.ConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:joinChannel
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on com.dmdirc.parser.irc.RegexStringList
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setSSL
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:getIn putHandler
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:setTi tle
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getIn putWindow
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getSe rver
unanalyzed	call on com.dmdirc.ui.interfaces.Window:activateFra me
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList
unanalyzed	call on connect
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on getNetwork
unanalyzed	call on getParser
unanalyzed	call on getTabCompleter
unanalyzed	call on getUI
unanalyzed	call on isNetwork
unanalyzed	call on java.lang.IllegalStateException
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
test_vector	java.util.Iterator:hasNext(...)@209: {0}, {1}
test_vector	java.util.Map:containsKey(...)@445: {0}, {1}
test_vector	server.myState.state@209: Inverse{&com.dmdirc. ServerState__static_init.new ServerState(ServerStat e__static_init#3)}, Addr_Set{&com.dmdirc. ServerState__static_init.new ServerState(ServerStat e__static_init#3)}

int numServers()

Kind	Annotation Text
pre	this.servers != null
post	init'ed(return_value)

void registerServer(Server)

Kind	Annotation Text
pre	this.servers != null

void unregisterServer(Server)

Kind	Annotation Text
pre	this.servers != null