Messages

Last Msg First Msg

method

com.dmdirc.Server$3__static_init

method

com.dmdirc.Server$2__static_init

method

com.dmdirc.Server$1__static_init

method	Window getFrame()
pre	init'ed(this.window)
post	return_value == this.window
post	init'ed(return_value)

method	Map access$000(Server)
pre	x0 != null
post	return_value == x0.channels
post	init'ed(return_value)

method	ServerStatus access$100(Server)
pre	x0 != null
post	return_value == x0.myState
post	init'ed(return_value)

method	com.dmdirc.Server__static_init
post	DOMAIN_GENERAL != null
post	DOMAIN_PROFILE != null
post	DOMAIN_SERVER != null

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCStringConvert er()

method	void com.dmdirc.Server(String, int, String, bool, Identity)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(com/dmdirc/actions/wrappers/AliasWra pper.me)
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	com/dmdirc/actions/wrappers/AliasWrapper.me == old com/dmdirc/actions/wrappers/AliasWrapper.me
post	init'ed(this.activeFrame)
post	this.autochannels == undefined
post	this.autochannels == null
post	this.changer == this.autochannels
post	this.channels == this.autochannels
post	this.config == this.autochannels
post	this.eventHandler == this.autochannels
post	this.ignoreList == this.autochannels
post	this.invites == this.autochannels
post	this.listeners == this.autochannels
post	this.myState == this.autochannels
post	this.parserFactory == this.autochannels
post	this.queries == this.autochannels
post	this.tabCompleter == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).actions == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).aliases == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).author == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).description == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).name == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).settings == this.autochannels
post	new Raw(addRaw#1).server == this.autochannels
post	new Raw(addRaw#1).window == this.autochannels
post	new ServerEventHandler(Server#6).owner == this.autochannels
post	new ServerManager(getServerManager#1).servers == this.autochannels
post	new ServerStatus(Server#4).history == this.autochannels
post	new ServerStatus(Server#4).state == this.autochannels
post	init'ed(this.converter)
post	init'ed(this.icon)
post	init'ed(this.notification)
post	init'ed(this.parser)
post	init'ed(this.raw)
post	init'ed(this.serverInfo)
post	init'ed(this.window)
post	new AliasWrapper(getAliasWrapper#1) num objects == undefined
post	new AliasWrapper(getAliasWrapper#1) num objects == 0, if init'ed
post	new AliasWrapper(getAliasWrapper#1).component == new AliasWrapper(getAliasWrapper#1) num objects
post	new AliasWrapper(getAliasWrapper#1).version == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(Server#3) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(Server#7) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(ServerManager#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ConfigManager(Server#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new Hashtable(Server#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new IRCStringConverter(Server#9) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new IgnoreList(Server#8) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ListenerList(FrameContainer#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new Raw(addRaw#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new RollingList(ServerStatus#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerEventHandler(Server#6) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerInfo(Server#10) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerManager(getServerManager#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerStatus(Server#4) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new TabCompleter(Server#5) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(Server#1) num objects == 1
post	new ParserFactory(Server#1) num objects == 1
unanalyzed	call on getConfigManager
unanalyzed	call on java.util.ArrayList
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 getParser
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on setIcon
unanalyzed	call on activateFrame
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 java.lang.Throwable:__curr_excep_obj
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 java.util.List:add
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 com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
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

method	void com.dmdirc.Server(String, int, String, bool, Identity, List)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(com/dmdirc/actions/wrappers/AliasWra pper.me)
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	com/dmdirc/actions/wrappers/AliasWrapper.me == old com/dmdirc/actions/wrappers/AliasWrapper.me
post	init'ed(this.activeFrame)
post	this.autochannels == undefined
post	this.autochannels == null
post	this.changer == this.autochannels
post	this.channels == this.autochannels
post	this.config == this.autochannels
post	this.eventHandler == this.autochannels
post	this.ignoreList == this.autochannels
post	this.invites == this.autochannels
post	this.listeners == this.autochannels
post	this.myState == this.autochannels
post	this.parserFactory == this.autochannels
post	this.queries == this.autochannels
post	this.tabCompleter == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).actions == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).aliases == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).author == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).description == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).name == this.autochannels
post	new AliasWrapper(getAliasWrapper#1).settings == this.autochannels
post	new Raw(addRaw#1).server == this.autochannels
post	new Raw(addRaw#1).window == this.autochannels
post	new ServerEventHandler(Server#6).owner == this.autochannels
post	new ServerManager(getServerManager#1).servers == this.autochannels
post	new ServerStatus(Server#4).history == this.autochannels
post	new ServerStatus(Server#4).state == this.autochannels
post	init'ed(this.converter)
post	init'ed(this.icon)
post	init'ed(this.notification)
post	init'ed(this.parser)
post	init'ed(this.raw)
post	init'ed(this.serverInfo)
post	init'ed(this.window)
post	new AliasWrapper(getAliasWrapper#1) num objects == undefined
post	new AliasWrapper(getAliasWrapper#1) num objects == 0, if init'ed
post	new AliasWrapper(getAliasWrapper#1).component == new AliasWrapper(getAliasWrapper#1) num objects
post	new AliasWrapper(getAliasWrapper#1).version == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(Server#3) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(Server#7) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(ServerManager#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ConfigManager(Server#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new Hashtable(Server#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new IRCStringConverter(Server#9) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new IgnoreList(Server#8) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ListenerList(FrameContainer#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new Raw(addRaw#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new RollingList(ServerStatus#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerEventHandler(Server#6) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerInfo(Server#10) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerManager(getServerManager#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ServerStatus(Server#4) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new TabCompleter(Server#5) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ParserFactory(Server#1) num objects == 1

call too complex - analysis skipped Info call on void com.dmdirc.Server(String, int, String, bool, Identity, List, ParserFactory)

method	void com.dmdirc.Server(String, int, String, bool, Identity, List, ParserFactory)
pre	com/dmdirc/Main.controller != null
pre	init'ed(com/dmdirc/ServerManager.me)
pre	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
presumption	init'ed(com.dmdirc.commandparser.CommandType.TYPE_ GLOBAL)
presumption	init'ed(com.dmdirc.commandparser.CommandType.TYPE_ SERVER)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
presumption	com.dmdirc.ui.interfaces.ServerWindow:getInputHandl er(...)@209 != null
presumption	com.dmdirc.ui.interfaces.UIController:getServer(... )@200 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
presumption	getServerManager(...).servers != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	com/dmdirc/ServerManager.me != null
post	com/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &new AliasWrapper(getAliasWrapper#1)}
post	com/dmdirc/actions/wrappers/AliasWrapper.me != null
post	this.activeFrame == this
post	this.activeFrame != null
post	this.eventHandler.owner == this.activeFrame
post	this.autochannels == autochannels
post	init'ed(this.autochannels)
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.channels == &new Hashtable(Server#2)
post	this.config == &new ConfigManager(Server#1)
post	this.converter == &new IRCStringConverter(Serve r#9)
post	this.eventHandler == &new ServerEventHandler(Se rver#6)
post	this.icon == &"server-disconnected"
post	this.ignoreList == &new IgnoreList(Server#8)
post	this.invites == &new ArrayList(Server#7)
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.myState == &new ServerStatus(Server#4)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	init'ed(this.parser)
post	this.parserFactory == factory
post	init'ed(this.parserFactory)
post	this.queries == &new ArrayList(Server#3)
post	init'ed(this.raw)
post	this.serverInfo == &new ServerInfo(Server#10)
post	this.tabCompleter == &new TabCompleter(Server#5 )
post	this.window != null
post	new AliasWrapper(getAliasWrapper#1) num objects <= 1
post	new ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new AliasWrapper(getAliasWrapper#1).actions == &new ArrayList(ActionGroup#1)
post	new AliasWrapper(getAliasWrapper#1).aliases == &new ArrayList(AliasWrapper#1)
post	new AliasWrapper(getAliasWrapper#1).author == null
post	new AliasWrapper(getAliasWrapper#1).description == null
post	new AliasWrapper(getAliasWrapper#1).component == -1
post	new AliasWrapper(getAliasWrapper#1).version == -1
post	new AliasWrapper(getAliasWrapper#1).name == &"aliases"
post	new AliasWrapper(getAliasWrapper#1).settings == &new HashMap(ActionGroup#2)
post	new ArrayList(Server#3) num objects == 1
post	new ArrayList(Server#7) num objects == 1
post	new ConfigManager(Server#1) num objects == 1
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new Hashtable(Server#2) num objects == 1
post	new IRCStringConverter(Server#9) num objects == 1
post	new IgnoreList(Server#8) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	new RollingList(ServerStatus#1) num objects == 1
post	new ServerEventHandler(Server#6) num objects == 1
post	new ServerInfo(Server#10) num objects == 1
post	new ServerStatus(Server#4) num objects == 1
post	new TabCompleter(Server#5) num objects == 1
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new ListenerList(FrameContainer#1) num objects <= 1
post	new Raw(addRaw#1) num objects <= 1
post	init'ed(new Raw(addRaw#1).changer)
post	init'ed(new Raw(addRaw#1).config)
post	init'ed(new Raw(addRaw#1).icon)
post	init'ed(new Raw(addRaw#1).listeners)
post	init'ed(new Raw(addRaw#1).notification)
post	init'ed(new Raw(addRaw#1).server)
post	init'ed(new Raw(addRaw#1).window)
post	new ServerManager(getServerManager#1).servers == &new ArrayList(ServerManager#1)
post	this.myState.history == &new RollingList(Server Status#1)
post	this.myState.state == &com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#7)
unanalyzed	call on getParser
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on setIcon
unanalyzed	call on activateFrame
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
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.ArrayList
unanalyzed	call on com.dmdirc.util.RollingList
unanalyzed	call on com.dmdirc.EventHandler
unanalyzed	call on com.dmdirc.parser.irc.RegexStringList
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on java.util.TimerTask
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
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	com.dmdirc.config.ConfigManager:getOptionBool(... )@232: {0}, {1}

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

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ServerInfo(Strin g, int, String)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ServerInfo:setSS L(bool)

method not available - call not analyzed Info call on ServerWindow com.dmdirc.ui.interfaces. UIController:getServer(Server)

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:addWindow( Window)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ServerWindow:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:addEn tries(TabCompletionType, List)

method not available - call not analyzed Info call on InputHandler com.dmdirc.ui.interfaces. ServerWindow:getInputHandler()

method not available - call not analyzed Info call on void com.dmdirc.ui.input.InputHandler:setTa bCompleter(TabCompleter)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ServerWindow:open()

method not available - call not analyzed Info call on List com.dmdirc.commandparser. CommandManager:getCommandNames(CommandType)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:addEn tries(TabCompletionType, List)

method

void com.dmdirc.Server$1(Server)

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method	void run()
pre	this.channels != null
presumption	channel.channelInfo@226 != null
presumption	channel.server.parser@226 != null
presumption	channel.server@226 != null
presumption	java.util.Iterator:next(...)@226 != null
presumption	java.util.Map:values(...)@226 != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:sendLine
test_vector	java.util.Iterator:hasNext(...)@226: {0}, {1}

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

call too complex - analysis skipped Info call on void connect(String, int, String, bool, Identity)

method	void connect(String, int, String, bool, Identity)
pre	this.myState.state != null
pre	profile != null
pre	this.myState != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #17).type != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) this.parser == null
pre	(soft) this.parserThread != null
pre	(soft) this.serverInfo != null
pre	(soft) this...parser != null
pre	(soft) this.channels != null
pre	(soft) this.config != null
pre	(soft) this.eventHandler != null
pre	(soft) this.eventHandler.owner != null
pre	(soft) this.eventHandler.owner.server != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.parserFactory != null
pre	(soft) this.queries != null
pre	(soft) init'ed(this.raw)
pre	(soft) this.raw.server != null
pre	(soft) this.reconnectTimer != null
pre	(soft) this.window != null
presumption	com.dmdirc.ServerState:ordinal(...)@262 in {0..6}
presumption	init'ed(com.dmdirc.logger.ErrorLevel.FATAL)
presumption	java.util.Arrays:asList(...)@89 != null
presumption	this...parser@275 != null
presumption	this.eventHandler.owner.server@275 != null
presumption	this.myState.history@275 != null
presumption	this.myState.state.transitions@275 != null
presumption	this.parser@275 == null
presumption	this.raw.server@275 != null
presumption	this.window@275 != null
post	possibly_updated(com/dmdirc/ServerManager.me)
post	possibly_updated(this.awayMessage)
post	possibly_updated(this.icon)
post	this.myState.state not in Addr_Set{null,&com. dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#5),&com. dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#7)}
post	this.parser in Addr_Set{null,&new IRCParser(getParser#1)}
post	possibly_updated(this.parserThread)
post	possibly_updated(this.profile)
post	init'ed(this.serverInfo)
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new IRCParser(getParser#1) num objects <= 1
post	new ServerInfo(buildServerInfo#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == null
post	new Thread(connect#5) num objects <= 1
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 getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.config.Identity:getOptionList
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.MyInfo
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.parser.irc.MyInfo:setNickname
unanalyzed	call on com.dmdirc.config.Identity:getOption
unanalyzed	call on com.dmdirc.parser.irc.MyInfo:setRealname
unanalyzed	call on com.dmdirc.config.Identity:hasOptionString
unanalyzed	call on com.dmdirc.parser.irc.MyInfo:setUsername
unanalyzed	call on java.util.Map:values
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setSSL
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setUseSock s
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getParser
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 getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on getState
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 updateIcon
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on getServer
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getInterfaces
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addCallback
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 com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on close
unanalyzed	call on com.dmdirc.CertificateManager
unanalyzed	call on com.dmdirc.parser.irc.IRCParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setTrustMan ager
unanalyzed	call on getKeyManager
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setKeyManag ers
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setRemoveAf terCallback
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setCreateFa ke
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setIgnoreLi st
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setPingTime rLength
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getPingTime rLength
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setPingCoun tDownLength
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setBindIP
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:split
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
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 getChannelInfo
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.security.KeyStore:getInstance
unanalyzed	call on java.security.KeyStore:load
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.security.KeyStore:getDefaultType
unanalyzed	call on java.security.cert.PKIXParameters
unanalyzed	call on java.security.cert.PKIXParameters:getTrustA nchors
unanalyzed	call on java.security.cert.TrustAnchor:getTrustedCe rt
unanalyzed	call on java.util.Set:add
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on javax.net.ssl.KeyManagerFactory:getDefaultA lgorithm
unanalyzed	call on javax.net.ssl.KeyManagerFactory:getInstance
unanalyzed	call on javax.net.ssl.KeyManagerFactory:init
unanalyzed	call on javax.net.ssl.KeyManagerFactory:getKeyManag ers
test_vector	com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...]: {1}, {2}, {3,4}, {5}, {-2³¹..0, 6..2³²-1}

method	com.dmdirc.Server$4__static_init
pre	(soft) init'ed(com.dmdirc.ServerState__static_init. new ServerState[](ServerState__static_init#15)[...])
presumption	com.dmdirc.ServerState:ordinal(...)@262 in {0..6}
post	new int[](Server$4__static_init#1) num objects == 1

method not available - call not analyzed Info call on int com.dmdirc.ServerState:ordinal()

method not available - call not analyzed Info call on int com.dmdirc.ServerState:ordinal()

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 void com.dmdirc.config.ConfigManager:migrat e(String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ServerWindow:setAwayIndicator(bool)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method	void reconnect(String)
pre	this.myState.state != null
pre	this.myState != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) init'ed(this.parser)
pre	(soft) this.parserThread != null
pre	(soft) init'ed(this.profile)
pre	(soft) this.serverInfo != null
pre	(soft) this.channels != null
pre	(soft) this.config != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.reconnectTimer != null
presumption	java.util.Arrays:asList(...)@89 init'ed
post	this.awayMessage == old this.awayMessage
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state == One-of{old this.myState. state, &com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
post	this.myState.state != null
post	this.parser == old this.parser
post	init'ed(this.parser)
post	this.parserThread == old this.parserThread
post	this.parserThread != null
post	this.profile == old this.profile
post	init'ed(this.profile)
post	this.serverInfo == old this.serverInfo
post	this.serverInfo != null
post	new ServerInfo(buildServerInfo#1) num objects == undefined
post	new ServerInfo(buildServerInfo#1) num objects == 0, if init'ed
post	new Thread(connect#5) num objects == new ServerInfo(buildServerInfo#1) num objects
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 getConfigManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
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 updateIcon
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
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 java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
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

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ServerInfo:getHost()

method not available - call not analyzed Info call on int com.dmdirc.parser.irc.ServerInfo:getPor t()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ServerInfo:getPassword()

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.ServerInfo:getSS L()

call too complex - analysis skipped Info call on void connect(String, int, String, bool, Identity)

method	void reconnect()
pre	this.myState.state != null
pre	this.config != null
pre	this.myState != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) init'ed(this.parser)
pre	(soft) this.parserThread != null
pre	(soft) init'ed(this.profile)
pre	(soft) this.serverInfo != null
pre	(soft) this.channels != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.reconnectTimer != null
post	this.awayMessage == old this.awayMessage
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state == One-of{old this.myState. state, &com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
post	this.myState.state != null
post	this.parser == old this.parser
post	init'ed(this.parser)
post	this.parserThread == old this.parserThread
post	this.parserThread != null
post	this.profile == old this.profile
post	init'ed(this.profile)
post	this.serverInfo == old this.serverInfo
post	this.serverInfo != null
post	new ServerInfo(buildServerInfo#1) num objects == undefined
post	new ServerInfo(buildServerInfo#1) num objects == 0, if init'ed
post	new Thread(connect#5) num objects == new ServerInfo(buildServerInfo#1) num objects
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 getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setSSL
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setUseSock s
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on disconnect
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on getState
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 com.dmdirc.config.ConfigManager:migrate
unanalyzed	call on updateIcon
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on addLine
unanalyzed	call on buildParser
unanalyzed	call on doCallbacks
unanalyzed	call on removeInvites
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:setAw ayIndicator
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
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 com.dmdirc.parser.irc.ServerInfo:getPort
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getPasswor d
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on connect
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

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

method	void disconnect()
pre	this.myState.state != null
pre	this.config != null
pre	this.myState != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) this.channels != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) init'ed(this.parser)
pre	(soft) this.parserThread != null
pre	(soft) this.reconnectTimer != null
pre	(soft) this.serverInfo != null
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state == One-of{old this.myState. state, &com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
post	this.myState.state != 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 getConfigManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
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 updateIcon
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
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 java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
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

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

method	void disconnect(String)
pre	this.myState.state != null
pre	this.myState != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) this.channels != null
pre	(soft) this.config != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) init'ed(this.parser)
pre	(soft) this.parserThread != null
pre	(soft) this.reconnectTimer != null
pre	(soft) this.serverInfo != null
presumption	com.dmdirc.ServerState:ordinal(...)@361 in {0..6}
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state == One-of{old this.myState. state, &com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
post	this.myState.state != 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.Map:values
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on java.util.Collection:iterator
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 setIcon
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
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	com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...]: {1}, {2, 5..7}, {-2³¹..0, 3,4, 8..2³²-1}
test_vector	this.parser: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@388: {0}, {1}

method not available - call not analyzed Info call on int com.dmdirc.ServerState:ordinal()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:discon nect(String)

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

method	void doDelayedReconnect()
pre	this.myState.state != null
pre	this.config != null
pre	this.listeners != null
pre	this.myState != null
pre	this.myState.history != null
pre	this.myState.state.transitions != null
pre	this.serverInfo != null
pre	(soft) com/dmdirc/Main.controller != null
post	this.icon == &"server-disconnected"
post	this.myState.state == &com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#11)
post	this.reconnectTimer == &new Timer(doDelayedReco nnect#4)
post	new Timer(doDelayedReconnect#4) num objects == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:addAll
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on addLine
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on getChildren
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on java.util.TimerTask
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
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.util.ListenerList

Prev Msg Next Msg

conditional throw

click for all messages in this file Low Prob.

check that getState(...)@406 == com/dmdirc/ServerSt ate.TRANSIENTLY_DISCONNECTED

Prev Msg Next Msg

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method

void com.dmdirc.Server$2(Server)

method	void run()
pre	init'ed(this.myState.state)
pre	this.myState != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) init'ed(this.parser)
pre	(soft) this.parserThread != null
pre	(soft) init'ed(this.profile)
pre	(soft) this.serverInfo != null
pre	(soft) this.channels != null
pre	(soft) this.config != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.reconnectTimer != null
presumption	java.util.Arrays:asList(...)@89 != null
post	this.awayMessage == old this.awayMessage
post	this.icon == One-of{old this.icon, &"server-dis connected"}
post	init'ed(this.myState.state)
post	this.parser == old this.parser
post	init'ed(this.parser)
post	this.parserThread == old this.parserThread
post	this.profile == old this.profile
post	init'ed(this.profile)
post	this.serverInfo == old this.serverInfo
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setSSL
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setUseSock s
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on reconnect
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on disconnect
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on getState
unanalyzed	call on com.dmdirc.config.ConfigManager:migrate
unanalyzed	call on updateIcon
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on addLine
unanalyzed	call on buildParser
unanalyzed	call on doCallbacks
unanalyzed	call on removeInvites
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:setAw ayIndicator
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
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 com.dmdirc.parser.irc.ServerInfo:getPort
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getPasswor d
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on connect
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

method	bool hasChannel(String)
pre	this.channels != null
pre	this.converter != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCStringConverter:toLowerCase(String)

method	Channel getChannel(String)
pre	this.channels != null
pre	this.converter != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCStringConverter:toLowerCase(String)

method	List getChannels()
pre	this.channels != null
presumption	java.util.Map:keySet(...)@466 != null
post	return_value == &new ArrayList(getChannels#1)
post	new ArrayList(getChannels#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@466: {0}, {1}

method	bool hasQuery(String)
pre	this.queries != null
pre	(soft) this.converter != null
presumption	java.util.Iterator:next(...)@482 != null
post	init'ed(return_value)
test_vector	com.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@483: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@482: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:parseHost(String)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:parseHost(String)

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCStringConvert er:equalsIgnoreCase(String, String)

method	Query getQuery(String)
pre	this.converter != null
pre	this.queries != null
presumption	java.util.Iterator:hasNext(...)@500 == 1
presumption	java.util.Iterator:next(...)@500 != null
post	return_value != null
test_vector	com.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@501: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:parseHost(String)

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

method	void addRaw()
pre	init'ed(this.raw)
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(this.parser)
pre	(soft) this.window != null
post	this.raw == One-of{&new Raw(addRaw#1), old this.raw}
post	this.raw != null
post	new FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new ListenerList(FrameContainer#1) num objects <= 1
post	new Raw(addRaw#1) num objects <= 1
post	new Raw(addRaw#1).changer == &new FrameContainer$IconChanger(FrameContainer#2)
post	new Raw(addRaw#1).config != null
post	init'ed(new Raw(addRaw#1).icon)
post	new Raw(addRaw#1).listeners == &new ListenerList(FrameContainer#1)
post	init'ed(new Raw(addRaw#1).notification)
post	init'ed(new Raw(addRaw#1).server)
post	init'ed(new Raw(addRaw#1).window)
unanalyzed	call on getParser
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.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
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 com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
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
test_vector	this.raw: Inverse{null}, Addr_Set{null}
test_vector	this.parser: Addr_Set{null}, Inverse{null}

method	Raw getRaw()
pre	init'ed(this.raw)
post	return_value == this.raw
post	init'ed(return_value)

method	void delRaw()
post	this.raw == null

method	void delChannel(String)
pre	this.channels != null
pre	this.converter != null
pre	this.tabCompleter != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:remov eEntry(TabCompletionType, String)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCStringConverter:toLowerCase(String)

method	void addChannel(ChannelInfo)
pre	this.myState != null
pre	init'ed(this.myState.state)
pre	(soft) chan != null
pre	(soft) this.channels != null
pre	(soft) this.converter != null
pre	(soft) this.tabCompleter != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL)
presumption	getChannel(...).channelInfo@575 != null
presumption	getChannel(...).config@574 != null
presumption	getChannel(...).config@575 != null
presumption	getChannel(...).eventHandler.owner@574 != null
presumption	getChannel(...).eventHandler@574 != null
presumption	getChannel(...).listeners@575 != null
presumption	getChannel(...).server.invites@575 != null
presumption	getChannel(...).server.listeners@575 != null
presumption	getChannel(...).server.parser@574 != null
presumption	getChannel(...).server.parser@575 != null
presumption	getChannel(...).server.serverInfo@574 != null
presumption	getChannel(...).server@574 != null
presumption	getChannel(...).server@575 != null
presumption	java.util.Map:get(...)@455 != null
presumption	newChan.window@580 != null
unanalyzed	call on java.lang.String:equals
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 getConfigManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on getNetwork
unanalyzed	call on getParser
unanalyzed	call on addLine
unanalyzed	call on removeInvites
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on setIcon
unanalyzed	call on java.lang.IllegalStateException
unanalyzed	call on getName
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getInterfaces
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addCallback
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on registerCallbacks
unanalyzed	call on getIrcd
unanalyzed	call on com.dmdirc.config.ConfigManager:migrate
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:open
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
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 getChannelInfo
test_vector	java.util.Map:containsKey(...)@445: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getName()

call too complex - analysis skipped Info call on void com.dmdirc.Channel(Server, ChannelInfo)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getName()

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:addEn try(TabCompletionType, String)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getName()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCStringConverter:toLowerCase(String)

method	void addQuery(String)
pre	this.myState != null
pre	init'ed(this.myState.state)
pre	(soft) this.converter != null
pre	(soft) this.queries != null
pre	(soft) this.tabCompleter != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. QUERY_NICK)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost

call too complex - analysis skipped Info call on void com.dmdirc.Query(Server, String)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:parseHost(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:addEn try(TabCompletionType, String)

method	void delQuery(Query)
pre	query != null
pre	init'ed(query.host)
pre	this.queries != null
pre	this.tabCompleter != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. QUERY_NICK)
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:remov eEntry(TabCompletionType, String)

method	bool ownsFrame(Window)
pre	init'ed(this.window)
pre	(soft) this.channels != null
pre	(soft) this.queries != null
pre	(soft) init'ed(this.raw)
presumption	java.util.Iterator:next(...)@624 != null
presumption	java.util.Iterator:next(...)@628 != null
presumption	java.util.Map:values(...)@624 != null
post	init'ed(return_value)
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Object:equals
test_vector	this.raw: Addr_Set{null}, Inverse{null}
test_vector	this.window: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Object:equals(...)@215: {0}, {1}
test_vector	java.lang.Object:equals(...)@620: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@624: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@628: {0}, {1}

method	void setActiveFrame(FrameContainer)
post	this.activeFrame == source
post	init'ed(this.activeFrame)

method	List getChildren()
pre	this.channels != null
pre	init'ed(this.raw)
post	return_value == &new ArrayList(getChildren#1)
post	new ArrayList(getChildren#1) num objects == 1
test_vector	this.raw: Addr_Set{null}, Inverse{null}

method	void closeChannels()
pre	this.channels != null
presumption	java.util.ArrayList:iterator(...)@665 != null
presumption	java.util.Iterator:next(...)@665 != null
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
test_vector	java.util.Iterator:hasNext(...)@665: {0}, {1}

method	void clearChannels()
pre	this.channels != null
presumption	channel.config@674 != null
presumption	channel.listeners@674 != null
presumption	channel.window@674 != null
presumption	java.util.Iterator:next(...)@674 != null
presumption	java.util.Map:values(...)@674 != null
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
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
test_vector	java.util.Iterator:hasNext(...)@674: {0}, {1}

method	void closeQueries()
presumption	java.util.ArrayList:iterator(...)@683 != null
presumption	java.util.Iterator:next(...)@683 != null
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
test_vector	java.util.Iterator:hasNext(...)@683: {0}, {1}

method	ServerInfo buildServerInfo(String, int, String, bool)
pre	this.config != null
post	return_value == &new ServerInfo(buildServerInfo #1)
post	new ServerInfo(buildServerInfo#1) num objects == 1
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@706: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ServerInfo(Strin g, int, String)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ServerInfo:setSS L(bool)

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

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ServerInfo:setUs eSocks(bool)

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 void com.dmdirc.parser.irc.ServerInfo:setPr oxyHost(String)

method	IRCParser buildParser()
pre	this.config != null
pre	this.parserFactory != null
pre	this.profile != null
pre	this.serverInfo != null
presumption	com.dmdirc.config.ConfigManager:getOptionInt(... )@740/com.dmdirc.parser.irc.IRCParser:getPingTimerL ength(...)@740 in range
presumption	com.dmdirc.config.ConfigManager:getOptionInt(... )@740/com.dmdirc.parser.irc.IRCParser:getPingTimerL ength(...)@740 in {-2³¹..2³²-1}
presumption	com.dmdirc.parser.irc.IRCParser:getPingTimerLength( ...)@740 != 0
post	return_value == &new IRCParser(getParser#1)
post	new IRCParser(getParser#1) num objects == 1
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.config.Identity:getOptionList
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.MyInfo
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.parser.irc.MyInfo:setNickname
unanalyzed	call on com.dmdirc.config.Identity:getOption
unanalyzed	call on com.dmdirc.parser.irc.MyInfo:setRealname
unanalyzed	call on com.dmdirc.config.Identity:hasOptionString
unanalyzed	call on com.dmdirc.parser.irc.MyInfo:setUsername
unanalyzed	call on com.dmdirc.parser.irc.IRCParser
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.security.KeyStore:getInstance
unanalyzed	call on java.security.KeyStore:load
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.security.KeyStore:getDefaultType
unanalyzed	call on java.security.cert.PKIXParameters
unanalyzed	call on java.security.cert.PKIXParameters:getTrustA nchors
unanalyzed	call on java.security.cert.TrustAnchor:getTrustedCe rt
unanalyzed	call on java.util.Set:add
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on javax.net.ssl.KeyManagerFactory:getDefaultA lgorithm
unanalyzed	call on javax.net.ssl.KeyManagerFactory:getInstance
unanalyzed	call on javax.net.ssl.KeyManagerFactory:init
unanalyzed	call on javax.net.ssl.KeyManagerFactory:getKeyManag ers
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@743: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ServerInfo:getHost()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:setTru stManager(TrustManager[])

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:setKey Managers(KeyManager[])

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:setRem oveAfterCallback(bool)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:setCre ateFake(bool)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:setIgn oreList(RegexStringList)

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed Info call on long com.dmdirc.parser.irc.IRCParser:getPin gTimerLength()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:setPin gCountDownLength(int)

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

method	MyInfo buildMyInfo()
pre	this.profile != null
presumption	com.dmdirc.config.Identity:getOptionList(...)@761 != null
presumption	com.dmdirc.config.Identity:getOptionList(...)@764 != null
post	return_value == &new MyInfo(buildMyInfo#1)
post	new MyInfo(buildMyInfo#1) num objects == 1
test_vector	com.dmdirc.config.Identity:hasOptionString(... )@767: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method not available - call not analyzed Info call on List com.dmdirc.config.Identity:getOptionLi st(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.MyInfo()

method not available - call not analyzed Info call on String com.dmdirc.config.Identity:getOption (String, String)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.MyInfo:setRealna me(String)

method not available - call not analyzed Info call on bool com.dmdirc.config.Identity:hasOptionSt ring(String, String)

method	void updateIcon()
pre	this.config != null
pre	this.listeners != null
pre	this.myState != null
pre	init'ed(this.myState.state)
pre	(soft) this.serverInfo != null
post	this.icon == One-of{&"secure-server", &"server", &"server-disconnected"}
post	this.icon in Addr_Set{&"server-disconnected", &"server",&"secure-server"}
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
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

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.ServerInfo:getSS L()

method	void doCallbacks()
pre	this.eventHandler != null
pre	this.eventHandler.owner != null
pre	this.queries != null
pre	init'ed(this.raw)
pre	(soft) this...parser != null
pre	(soft) this.eventHandler.owner.server != null
pre	(soft) this.raw.server != null
presumption	java.util.Iterator:next(...)@794 != null
presumption	query.server.parser@794 != null
presumption	query.server@794 != null
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on getServer
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getInterfaces
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addCallback
unanalyzed	call on getChannelInfo
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
test_vector	this.raw: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@794: {0}, {1}

method	void join(String)
pre	this.myState != null
pre	init'ed(this.myState.state)
pre	(soft) this.autochannels != null
pre	(soft) this.channels != null
pre	(soft) this.converter != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.parser != null
presumption	getChannel(...).channelInfo@811 != null
presumption	getChannel(...).config@811 != null
presumption	getChannel(...).listeners@811 != null
presumption	getChannel(...).server.parser@811 != null
presumption	getChannel(...).server@811 != null
presumption	java.util.Map:get(...)@455 != null
unanalyzed	call on java.lang.String:equals
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.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on getParser
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 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:activateFra me
test_vector	java.util.Map:containsKey(...)@445: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:joinCh annel(String)

method	void sendLine(String)
pre	init'ed(this.parser)
pre	(soft) this.myState != null
pre	(soft) init'ed(this.myState.state)
pre	(soft) this.window != null
presumption	com.dmdirc.ui.interfaces.ServerWindow:getTranscoder (...)@827 != null

method not available - call not analyzed Info call on StringTranscoder com.dmdirc.ui.interfaces. ServerWindow:getTranscoder()

method not available - call not analyzed Info call on String com.dmdirc.util.StringTranscoder:enc ode(String)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:sendLi ne(String)

method	int getMaxLineLength()
post	return_value == 510

method	IRCParser getParser()
pre	init'ed(this.parser)
post	return_value == this.parser
post	init'ed(return_value)

method	Identity getProfile()
pre	init'ed(this.profile)
post	return_value == this.profile
post	init'ed(return_value)

method	String getName()
pre	this.serverInfo != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ServerInfo:getHost()

method	String getNetwork()
pre	this.parser != null
presumption	com.dmdirc.parser.irc.IRCParser:getNetworkName(... )@883 != null
presumption	com.dmdirc.parser.irc.IRCParser:getServerName(... )@884 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
test_vector	java.lang.String:isEmpty(...)@883: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getNetworkName()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getServerName()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getNetworkName()

method	bool isNetwork(String)
pre	init'ed(this.parser)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
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	this.parser: Inverse{null}, Addr_Set{null}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getNetwork(...) != null

Prev Msg Next Msg

method	String getNetworkFromServerName(String)
pre	serverName != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == One-of{&java.lang. StringBuilder:toString(...), serverName}
post	return_value != null
test_vector	java.lang.String:endsWith(...)@921: {0}, {1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(parts.length)

test always goes same way

Low Prob.

Test predetermined because parts.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because parts.length == 0

Prev Msg Next Msg

dead code continues Info Dead code continues

method	String getIrcd()
pre	this.parser != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getIRCD(bool)

method	bool isAway()
pre	init'ed(this.awayMessage)
post	init'ed(return_value)

method	String getAwayMessage()
pre	init'ed(this.awayMessage)
post	return_value == this.awayMessage
post	init'ed(return_value)

method	TabCompleter getTabCompleter()
post	return_value == this.tabCompleter
post	init'ed(return_value)

method	InputWindow getFrame()
pre	init'ed(this.window)
post	return_value == this.window
post	init'ed(return_value)

method	ServerState getState()
pre	this.myState != null
pre	init'ed(this.myState.state)
post	return_value == this.myState.state
post	init'ed(return_value)

method	ServerStatus getStatus()
post	return_value == this.myState
post	init'ed(return_value)

method	void windowClosing()
pre	init'ed(com/dmdirc/ServerManager.me)
pre	init'ed(this.parser)
pre	this.window != null
pre	this.channels != null
pre	this.eventHandler != null
pre	this.eventHandler.owner != null
pre	this.myState != null
pre	this.myState.history != null
pre	init'ed(this.raw)
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) this.myState.state != null
pre	(soft) this.config != null
pre	(soft) this.eventHandler.owner.server != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.parserThread != null
pre	(soft) this.reconnectTimer != null
pre	(soft) this.serverInfo != null
presumption	getServerManager(...).servers != null
presumption	java.util.Arrays:asList(...)@89 != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	com/dmdirc/ServerManager.me != null
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state == &com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#13)
post	this.parser == null
post	this.window == null
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 com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getParser
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 updateIcon
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
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 java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback
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	this.parser: Addr_Set{null}, Inverse{null}
test_vector	this.raw: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.parser.irc.IRCParser:isReady(...)@1019: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ServerWindow:setVisible(bool)

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCParser:isRead y()

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:removeWind ow(Window)

method	void addLineToActive(String, Object[])
pre	init'ed(this.activeFrame)
presumption	getFrame(...)@1055 != null
presumption	getFrame(...)@1059 != null
post	this.activeFrame == One-of{old this.activeFrame, this}
post	this.activeFrame != null
test_vector	this.activeFrame: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.ui.interfaces.Window:isVisible(... )@1055: {1}, {0}

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on bool com.dmdirc.ui.interfaces. Window:isVisible()

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:addLine(String, Object[])

method	void addLineToAll(String, Object[])
pre	this.channels != null
pre	this.queries != null
presumption	channel.window@1069 != null
presumption	java.util.Iterator:next(...)@1069 != null
presumption	java.util.Iterator:next(...)@1073 != null
presumption	java.util.Map:values(...)@1069 != null
presumption	query.window@1073 != null
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
test_vector	java.util.Iterator:hasNext(...)@1069: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1073: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputWindow:addLine(String, Object[])

method	void sendCTCPReply(String, String, String)
pre	type != null
pre	(soft) this.config != null
pre	(soft) this.parser != null
test_vector	java.lang.String:equalsIgnoreCase(...)@1088: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@1092: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@1094: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:sendCT CPReply(String, String, String)

method	bool isValidChannelName(String)
pre	this.channels != null
pre	this.converter != null
pre	(soft) init'ed(this.parser)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:containsKey

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCParser:isVali dChannelName(String)

method	String toString()
pre	this.serverInfo != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost

method	Server getServer()
post	return_value == this
post	return_value != null

method	bool processNotificationArg(Object, List)
pre	(soft) args != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getNickname()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getIdent()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getHost()

method	void onNickInUse(String)
pre	this.converter != null
pre	this.parser != null
pre	(soft) this.profile != null
presumption	(int) (java.lang.Math:random(...)@1164*10) in {-2³¹..2³²-1}
presumption	com.dmdirc.config.Identity:getOptionList(...)@1166 != null
presumption	java.util.List:get(...)@1177 != null
test_vector	com.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@1160: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@1177: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@1170: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getMyNickname()

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCStringConvert er:equalsIgnoreCase(String, String)

method not available - call not analyzed Info call on List com.dmdirc.config.Identity:getOptionLi st(String, String)

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that offset in {-2³¹-1.. 2³²-2}

Prev Msg Next Msg

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.IRCStringConvert er:equalsIgnoreCase(String, String)

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:setNic kname(String)

method	void onNumeric(int, String[])
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	this.config != null
pre	this.parser != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #15).type != null
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) tokens != null
pre	(soft) tokens.length <= 2³²-1
pre	(soft) init'ed(tokens[...])
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:addAll
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on getState
unanalyzed	call on addLine
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on getChildren
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
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.util.ListenerList
test_vector	numeric: {100..2³²-1}, {-2³¹..9}, {10..99}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@1203: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@1205: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@1207: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getIRCD(bool)

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

method	void onSocketClosed()
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #19).type != null
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(this.awayMessage)
pre	(soft) this.myState.state != null
pre	(soft) this.channels != null
pre	(soft) this.config != null
pre	(soft) this.eventHandler != null
pre	(soft) this.eventHandler.owner != null
pre	(soft) this.eventHandler.owner.server != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.serverInfo != null
presumption	java.util.Arrays:asList(...)@89 init'ed
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.awayMessage == One-of{old this.awayMessage, null}
post	init'ed(this.awayMessage)
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state == One-of{old this.myState. state, &com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#5)}
post	this.myState.state != null
post	this.parser == One-of{old this.parser, null}
post	this.reconnectTimer == old this.reconnectTimer
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == null
post	new Timer(doDelayedReconnect#4) num objects == undefined
post	new Timer(doDelayedReconnect#4) num objects == 0, if init'ed
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.AwayStateListener:onB ack
unanalyzed	call on com.dmdirc.interfaces.AwayStateListener:onA way
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getConfigManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getParser
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on getState
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 addLine
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on getChildren
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
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.util.ListenerList
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@1259: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@1264: {0}, {1}
test_vector	java.lang.Thread:holdsLock(...)@1223: {0}, {1}

method

void com.dmdirc.Server$3(Server)

method

void run()

call too complex - analysis skipped Info call on void onSocketClosed()

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

call too complex - analysis skipped Info call on void doDelayedReconnect()

method	void onConnectError(ParserError)
pre	this.myState.state != null
pre	this.myState != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #18).type != null
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) errorInfo != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.config != null
pre	(soft) this.listeners != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.serverInfo != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.parser.irc.ParserError:getException(... )@1308 != null
presumption	java.util.Arrays:asList(...)@89 init'ed
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state == One-of{old this.myState. state, &com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#5)}
post	this.myState.state != null
post	this.parser == One-of{old this.parser, null}
post	this.reconnectTimer == old this.reconnectTimer
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == null
post	new Timer(doDelayedReconnect#4) num objects == undefined
post	new Timer(doDelayedReconnect#4) num objects == 0, if init'ed
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:addAll
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on getState
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on addLine
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on getChildren
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
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.util.ListenerList
test_vector	com.dmdirc.parser.irc.ParserError:getException(... )@1305: Inverse{null}, Addr_Set{null}
test_vector	java.net.NoRouteToHostException:instanceof(... )@1312: {0}, {1}
test_vector	java.net.SocketException:instanceof(...)@1314: {1}, {0}
test_vector	java.net.UnknownHostException:instanceof(... )@1310: {0}, {1}
test_vector	javax.net.ssl.SSLException:instanceof(...)@1314: {0}, {1}

Prev Msg Next Msg

conditional throw

click for all messages in this file Low Prob.

check that getState(...)@1292 == com/dmdirc/ServerS tate.CONNECTING

Prev Msg Next Msg

method not available - call not analyzed Info call on Exception com.dmdirc.parser.irc. ParserError:getException()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ParserError:getData()

method not available - call not analyzed Info call on Exception com.dmdirc.parser.irc. ParserError:getException()

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

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

call too complex - analysis skipped Info call on void doDelayedReconnect()

method	void onPingFailed()
pre	com/dmdirc/Main.controller != null
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	this.parser != null
pre	this.serverInfo != null
pre	this.config != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #33).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.myState.state != null
pre	(soft) this.parserThread != null
pre	(soft) init'ed(this.profile)
pre	(soft) this.channels != null
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
pre	(soft) this.myState != null
pre	(soft) this.myState.history != null
pre	(soft) this.myState.state.transitions != null
pre	(soft) this.reconnectTimer != null
presumption	(int) (java.lang.Math:floor(...)@1339) in {-2³¹..2³²-1}
presumption	com.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@1339 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.awayMessage == old this.awayMessage
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected"}
post	this.myState.state != null
post	this.parser == old this.parser
post	this.parser != null
post	this.parserThread == old this.parserThread
post	this.parserThread != null
post	this.profile == old this.profile
post	init'ed(this.profile)
post	this.serverInfo == old this.serverInfo
post	this.serverInfo != null
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerInfo(buildServerInfo#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
post	new Thread(connect#5) num objects == 0, if init'ed
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 getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setSSL
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setUseSock s
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on reconnect
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on disconnect
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on getState
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 com.dmdirc.config.ConfigManager:migrate
unanalyzed	call on updateIcon
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on addLine
unanalyzed	call on buildParser
unanalyzed	call on doCallbacks
unanalyzed	call on removeInvites
unanalyzed	call on com.dmdirc.ui.interfaces.ServerWindow:setAw ayIndicator
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on getChildren
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
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 com.dmdirc.parser.irc.ServerInfo:getPort
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getPasswor d
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on connect
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
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.util.ListenerList
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close

method not available - call not analyzed Info call on StatusBar com.dmdirc.ui.interfaces. UIController:getStatusBar()

method not available - call not analyzed Info call on long com.dmdirc.parser.irc.IRCParser:getPin gTime(bool)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. StatusBar:setMessage(String, StatusMessageNotifier, int)

method not available - call not analyzed Info call on long com.dmdirc.parser.irc.IRCParser:getPin gTime(bool)

method not available - call not analyzed Info call on long com.dmdirc.parser.irc.IRCParser:getPin gTime(bool)

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method	void onPost005()
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	this.myState.state != null
pre	this.autochannels != null
pre	this.config != null
pre	this.ignoreList != null
pre	this.listeners != null
pre	this.myState != null
pre	this.myState.history != null
pre	this.myState.state.transitions != null
pre	this.parser != null
pre	this.serverInfo != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #16).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.channels != null
presumption	chan.channelInfo@1381 != null
presumption	chan.config@1381 != null
presumption	chan.listeners@1381 != null
presumption	chan.server.parser@1381 != null
presumption	chan.server@1381 != null
presumption	java.util.Iterator:next(...)@1381 != null
presumption	java.util.Map:values(...)@1381 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	init'ed(this.converter)
post	this.icon == One-of{old this.icon, &"secure-ser ver", &"server", &"server-disconnected", &"channel"}
post	this.icon in Addr_Set{&"secure-server", &"server",&"channel"}
post	this.myState.state == &com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#3)
post	new ArrayList(ServerManager#1) 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 getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.IgnoreList:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionLi st
unanalyzed	call on com.dmdirc.IgnoreList:addAll
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on getParser
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on getState
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:appError
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.lang.IllegalStateException
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
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:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getListChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.ListenerList:get
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
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@1380: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1381: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1386: {0}, {1}

Prev Msg Next Msg

conditional throw

click for all messages in this file Low Prob.

check that getState(...)@1360 == com/dmdirc/ServerS tate.CONNECTING

Prev Msg Next Msg

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because getState(...)@1366 == com/dmdirc/ServerState.CONNECTING

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because getState(...)@1366 == com/dmdirc/ServerState.CONNECTING

Prev Msg Next Msg

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getIRCD(bool)

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:migrat e(String, String, String)

method not available - call not analyzed Info call on IRCStringConverter com.dmdirc.parser.irc. IRCParser:getIRCStringConverter()

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 void com.dmdirc.parser.irc.IRCParser:joinCh annel(String)

method	void checkModeAliases()
pre	this.parser != null
pre	(soft) this.config != null
presumption	arr$.length@1408 <= 2³²-1
presumption	arr$.length@1414 <= 2³²-1
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@1403 != null
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
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	com.dmdirc.config.ConfigManager:hasOptionString(... )@1409: {1}, {0}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@1415: {1}, {0}
test_vector	java.lang.StringBuffer:length(...)@1423: {-2³¹..0}, {1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@1428: {-2³¹..0}, {1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@1429: {-2³¹..0}, {1..2³²-1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getBoolChanModes()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getListChanModes()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getSetOnlyChanModes()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getSetUnsetChanModes()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getUserModeString()

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

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getIRCD(bool)

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 void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method	IgnoreList getIgnoreList()
post	return_value == this.ignoreList
post	init'ed(return_value)

method	void updateIgnoreList()
pre	this.config != null
pre	this.ignoreList != null

method not available - call not analyzed Info call on void com.dmdirc.IgnoreList:clear()

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

method not available - call not analyzed Info call on void com.dmdirc.IgnoreList:addAll(List)

method	void saveIgnoreList()
pre	this.ignoreList != null
pre	init'ed(this.ignoreList.ignoreInfo)
pre	this.parser != null
presumption	com.dmdirc.config.IdentityManager:getNetworkConfig( ...)@1497 != null
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 com.dmdirc.config.IdentityManager:getNetwor kConfig
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 java.util.ArrayList

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, List)

method	Identity getServerIdentity()
pre	this.serverInfo != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getServerConfig(String)

method	Identity getNetworkIdentity()
pre	this.parser != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
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

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getNetworkConfig(String)

method	void addInviteListener(InviteListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeInviteListener(InviteListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void addInvite(Invite)
pre	this.invites != null
pre	this.listeners != null
pre	(soft) invite != null
presumption	com.dmdirc.util.ListenerList:get(...)@1542 != null
presumption	java.util.ArrayList:iterator(...)@1533 != null
presumption	java.util.Iterator:next(...)@1533 != null
presumption	java.util.Iterator:next(...)@1542 != null
presumption	oldInvite.channel@1533 != 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.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
test_vector	java.lang.String:equals(...)@1534: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1533: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1542: {1}, {0}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void com.dmdirc.interfaces.InviteListener:i nviteReceived(Server, Invite)

method	void removeInvites(String)
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
presumption	invite.channel@1555 != null
presumption	java.util.ArrayList:iterator(...)@1555 != null
presumption	java.util.Iterator:next(...)@1555 != 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.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
test_vector	java.lang.String:equals(...)@1556: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1555: {0}, {1}

method	void removeInvites()
pre	(soft) this.invites != null
pre	(soft) this.listeners != null
presumption	java.util.ArrayList:iterator(...)@1566 != 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.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
test_vector	java.util.Iterator:hasNext(...)@1566: {0}, {1}

method	void removeInvite(Invite)
pre	this.invites != null
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@1581 != null
presumption	java.util.Iterator:next(...)@1581 != null
test_vector	java.util.Iterator:hasNext(...)@1581: {1}, {0}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void com.dmdirc.interfaces.InviteListener:i nviteExpired(Server, Invite)

method	List getInvites()
post	return_value == this.invites
post	init'ed(return_value)

method	void addAwayStateListener(AwayStateListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeAwayStateListener(AwayStateListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void updateAwayState(String)
pre	init'ed(this.awayMessage)
pre	(soft) this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@1638 != null
presumption	com.dmdirc.util.ListenerList:get(...)@1642 != null
presumption	java.util.Iterator:next(...)@1638 != null
presumption	java.util.Iterator:next(...)@1642 != null
post	this.awayMessage == One-of{old this.awayMessage, message}
post	init'ed(this.awayMessage)
test_vector	message: Inverse{null}, Addr_Set{null}
test_vector	this.awayMessage: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@1629: {1}, {0}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void com.dmdirc.interfaces.AwayStateListene r:onBack()

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void com.dmdirc.interfaces.AwayStateListene r:onAway(String)

	method not available - call not analyzed	Info	call on InputHandler com.dmdirc.ui.interfaces. ServerWindow:getInputHandler()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.input.InputHandler:setTa bCompleter(TabCompleter)

	method not available - call not analyzed	Info	call on List com.dmdirc.commandparser. CommandManager:getCommandNames(CommandType)
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.input.TabCompleter:addEn tries(TabCompletionType, List)

	method not available - call not analyzed	Info	call on int com.dmdirc.ServerState:ordinal()
	method not available - call not analyzed	Info	call on int com.dmdirc.ServerState:ordinal()

method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ServerInfo:getHost()
method not available - call not analyzed	Info	call on int com.dmdirc.parser.irc.ServerInfo:getPor t()
method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ServerInfo:getPassword()
method not available - call not analyzed	Info	call on bool com.dmdirc.parser.irc.ServerInfo:getSS L()
call too complex - analysis skipped	Info	call on void connect(String, int, String, bool, Identity)

	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ClientInfo:parseHost(String)
	method not available - call not analyzed	Info	call on bool com.dmdirc.parser.irc.IRCStringConvert er:equalsIgnoreCase(String, String)

	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ChannelInfo:getName()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.input.TabCompleter:addEn try(TabCompletionType, String)

	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 void com.dmdirc.parser.irc.ServerInfo:setPr oxyHost(String)

	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.parser.irc.ServerInfo:setPr oxyPort(int)

	method not available - call not analyzed	Info	call on List com.dmdirc.config.Identity:getOptionLi st(String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

	method not available - call not analyzed	Info	call on String com.dmdirc.config.Identity:getOption (String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.parser.irc.MyInfo:setRealna me(String)

method not available - call not analyzed	Info	call on StringTranscoder com.dmdirc.ui.interfaces. ServerWindow:getTranscoder()
method not available - call not analyzed	Info	call on String com.dmdirc.util.StringTranscoder:enc ode(String)
method not available - call not analyzed	Info	call on void com.dmdirc.parser.irc.IRCParser:sendLi ne(String)

	call too complex - analysis skipped	Info	call on Window getFrame()
	method not available - call not analyzed	Info	call on bool com.dmdirc.ui.interfaces. Window:isVisible()

method not available - call not analyzed	Info	call on StatusBar com.dmdirc.ui.interfaces. UIController:getStatusBar()
method not available - call not analyzed	Info	call on long com.dmdirc.parser.irc.IRCParser:getPin gTime(bool)
method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. StatusBar:setMessage(String, StatusMessageNotifier, int)

	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. IRCParser:getIRCD(bool)
	method not available - call not analyzed	Info	call on void com.dmdirc.config.ConfigManager:migrat e(String, String, String)

	method not available - call not analyzed	Info	call on List com.dmdirc.config.ConfigManager:getOpt ionList(String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.IgnoreList:addAll(List)