Messages

method

com.dmdirc.ServerManager__static_init

method	void com.dmdirc.ServerManager()
post	this.servers == &new ArrayList(ServerManager#1)
post	new ArrayList(ServerManager#1) num objects == 1

method	ServerManager getServerManager()
pre	init'ed(me)
post	me == One-of{old me, &new ServerManager(getServ erManager#1)}
post	me != null
post	return_value == me
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)
unanalyzed	call on java.util.ArrayList
test_vector	me: Inverse{null}, Addr_Set{null}

method	void registerServer(Server)
pre	this.servers != null

method	void unregisterServer(Server)
pre	this.servers != null

method	List getServers()
post	return_value == &new ArrayList(getServers#1)
post	new ArrayList(getServers#1) num objects == 1

method	void disconnectAll(String)
pre	this.servers != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
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 com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on updateIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on removeInvites
unanalyzed	call on clearChannels
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
test_vector	java.util.Iterator:hasNext(...)@102: {1}, {0}

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

method not available - call not analyzed Info call on void com.dmdirc.Server:close()

method	void closeAll(String)
pre	this.servers != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
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 com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on updateIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on removeInvites
unanalyzed	call on clearChannels
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
test_vector	java.util.Iterator:hasNext(...)@127: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.Server:close()

method	int numServers()
pre	this.servers != null
post	init'ed(return_value)

method	Server getServerFromFrame(Window)
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 java.util.List:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on ownsFrame
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getFrame
test_vector	java.util.Iterator:hasNext(...)@151: {1}, {0}

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

method	List getServersByAddress(String)
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	return_value == &new ArrayList(getServersByAddr ess#1)
post	new ArrayList(getServersByAddress#1) num objects == 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}

method	void joinDevChat()
pre	this.servers != null
pre	(soft) init'ed(com/dmdirc/actions/wrappers/AliasWra pper.me)
pre	(soft) init'ed(me)
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 java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on isNetwork
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on getParser
unanalyzed	call on removeInvites
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:joinChannel
unanalyzed	call on activateFrame
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setSSL
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on connect
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getIn putWindow
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on java.util.Timer
unanalyzed	call on com.dmdirc.config.ConfigManager
unanalyzed	call on java.util.Hashtable
unanalyzed	call on com.dmdirc.util.RollingList
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.EventHandler
unanalyzed	call on com.dmdirc.parser.irc.RegexStringList
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getSe rver
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:setTi tle
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:getIn putHandler
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:open
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on com.dmdirc.Server
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on getNetwork
unanalyzed	call on java.lang.IllegalStateException
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.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.ui.interfaces.Window:activateFra me
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.HashMap
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)}

method not available - call not analyzed Info call on List com.dmdirc.config.IdentityManager:getP rofiles()