Messages

method

com.dmdirc.Query__static_init

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

method	void com.dmdirc.Query(Server, String)
pre	com/dmdirc/Main.controller != null
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	newServer != null
pre	newServer.parser != null
pre	init'ed(newServer.window)
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #61).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	com.dmdirc.Server:getConfigManager(...)@83 != null
presumption	com.dmdirc.Server:getConfigManager(...)@93 != null
presumption	init'ed(com.dmdirc.commandparser.CommandType.TYPE_ CHAT)
presumption	init'ed(com.dmdirc.commandparser.CommandType.TYPE_ QUERY)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
presumption	com.dmdirc.ui.interfaces.QueryWindow:getInputHandle r(...)@102 != null
presumption	com.dmdirc.ui.interfaces.UIController:getQuery(... )@88 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.host == newHost
post	init'ed(this.host)
post	this.icon == &"query"
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	this.server == newServer
post	this.server != null
post	this.tabCompleter == &new TabCompleter(Query#2)
post	this.window != 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 FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	new TabCompleter(Query#2) num objects == 1
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:setTit le
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 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 getState
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on getUI
unanalyzed	call on getFrame
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 java.util.List:iterator
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 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.FrameContainer
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.config.ConfigManager:getOptionBool(... )@93: {1}, {0}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Server:getConfigMa nager()

method not available - call not analyzed Info call on QueryWindow com.dmdirc.ui.interfaces. UIController:getQuery(Query)

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

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Server:getConfigMa nager()

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.ui.interfaces. QueryWindow:open()

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

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 InputHandler com.dmdirc.ui.interfaces. QueryWindow:getInputHandler()

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

method	void show()
pre	this.window != null

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

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

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

method	void sendLine(String)
pre	this.server != null
pre	this.server.myState != null
pre	init'ed(this.server.myState.state)
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #65).type != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(this.host)
pre	(soft) this.server.parser != null
pre	(soft) this.window != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@139 != null
presumption	com.dmdirc.ui.interfaces.QueryWindow:getTranscoder( ...)@141 != null
presumption	com.dmdirc.util.StringTranscoder:encode(...)@141 != null
presumption	java.awt.Toolkit:getDefaultToolkit(...)@135 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	new ServerManager(getServerManager#1).servers == null
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 getState
unanalyzed	call on splitLine
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
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 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.interfaces.Window:addLine
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getMaxLineLength
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.Math:min
test_vector	java.util.Iterator:hasNext(...)@141: {0}, {1}

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

method not available - call not analyzed Info call on StringTranscoder com.dmdirc.ui.interfaces. QueryWindow: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 String com.dmdirc.parser.irc. ClientInfo:parseHost(String)

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

method	int getMaxLineLength()
pre	this.server != null
pre	this.server.myState != null
pre	init'ed(this.server.myState.state)
pre	(soft) init'ed(this.host)
pre	(soft) this.server.parser != null
post	init'ed(return_value)

method not available - call not analyzed Info call on int com.dmdirc.parser.irc.IRCParser:getMaxL ength(String, String)

method	void sendAction(String)
pre	this.server != null
pre	this.server.myState != null
pre	init'ed(this.server.myState.state)
pre	(soft) action != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #66).type != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(this.host)
pre	(soft) this.server.parser != null
pre	(soft) this.window != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@173 != null
presumption	com.dmdirc.ui.interfaces.QueryWindow:getTranscoder( ...)@177 != null
presumption	com.dmdirc.ui.interfaces.QueryWindow:getTranscoder( ...)@183 != null
presumption	java.awt.Toolkit:getDefaultToolkit(...)@169 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
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 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 getState
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
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 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.interfaces.Window:addLine

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

method not available - call not analyzed Info call on int com.dmdirc.parser.irc.IRCParser:getMaxL ength(String, 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 StringTranscoder com.dmdirc.ui.interfaces. QueryWindow: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:sendAc tion(String, String)

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 not available - call not analyzed Info call on StringTranscoder com.dmdirc.ui.interfaces. QueryWindow:getTranscoder()

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

method	void onPrivateMessage(IRCParser, String, String)
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #63).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	com.dmdirc.parser.irc.ClientInfo:parseHostFull(... )@200 != null
presumption	parts.length@200 >= 3
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 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 getState
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
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 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.interfaces.Window:addLine

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

method	void onPrivateAction(IRCParser, String, String)
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	init'ed(this.host)
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #64).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	com.dmdirc.parser.irc.ClientInfo:parseHostFull(... )@219 != null
presumption	parts.length@219 >= 3
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 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 getState
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
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 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.interfaces.Window:addLine

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

method	void updateTitle()
pre	init'ed(this.host)
pre	this.window != null

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.interfaces. QueryWindow:setTitle(String)

method	void reregister()
pre	this.server != null
pre	this.server.parser != null
pre	(soft) init'ed(this.host)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	com.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@241 != null

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

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback(String, ICallbackInterface)

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

method	void onNickChanged(IRCParser, ClientInfo, String)
pre	init'ed(this.host)
pre	sOldNick != null
pre	(soft) cClient != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #68).type != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.server != null
pre	(soft) this.server.parser != null
pre	(soft) this.server.tabCompleter != null
pre	(soft) this.window != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	com.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@258 != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. QUERY_NICK)
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.host == One-of{old this.host, &java.lang. StringBuilder:toString(...)}
post	init'ed(this.host)
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 com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:setTit le
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 getState
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
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 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.interfaces.Window:addLine
test_vector	java.lang.String:equals(...)@257: {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 CallbackManager com.dmdirc.parser.irc. IRCParser:getCallbackManager()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.callbacks. CallbackManager:delCallback(String, ICallbackInterface)

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 void com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback(String, ICallbackInterface, String)

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 void com.dmdirc.ui.input.TabCompleter:remov eEntry(TabCompletionType, String)

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 void com.dmdirc.ui.input.TabCompleter:addEn try(TabCompletionType, String)

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 not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getNickname()

method	void onQuit(IRCParser, ClientInfo, String)
pre	cClient != null
pre	init'ed(this.host)
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #67).type != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) sReason != null
presumption	com.dmdirc.parser.irc.ClientInfo:getNickname(... )@288 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
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 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 getState
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
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 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.interfaces.Window:addLine
test_vector	java.lang.String:equals(...)@288: {0}, {1}

method	Server getServer()
pre	init'ed(this.server)
post	return_value == this.server
post	init'ed(return_value)

method	void windowClosing()
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	init'ed(this.server)
pre	this.window != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #62).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(this.host)
pre	(soft) init'ed(this.server.parser)
pre	(soft) this.server.queries != null
pre	(soft) this.server.tabCompleter != null
presumption	com.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@317 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.server == null
post	this.window == 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 ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
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 getState
unanalyzed	call on getUI
unanalyzed	call on getFrame
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.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.List:iterator
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 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.input.TabCompleter:removeEntr y
unanalyzed	call on java.util.List:remove
test_vector	this.server: Addr_Set{null}, Inverse{null}
test_vector	this.server.parser: Addr_Set{null}, Inverse{null}

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

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

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback(ICallbackInterface)

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

method	String toString()
pre	init'ed(this.host)
post	init'ed(return_value)

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

method	String getHost()
pre	init'ed(this.host)
post	return_value == this.host
post	init'ed(return_value)

method	String getNickname()
pre	init'ed(this.host)
post	init'ed(return_value)

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

method	void activateFrame()
pre	init'ed(this.window)
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:open
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:activateFra me
test_vector	this.window: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.ui.interfaces.QueryWindow:isVisible(... )@373: {1}, {0}

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

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.Server:getConfigMa nager()
	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 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 InputHandler com.dmdirc.ui.interfaces. QueryWindow: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 StringTranscoder com.dmdirc.ui.interfaces. QueryWindow: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 String com.dmdirc.parser.irc. ClientInfo:parseHost(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.parser.irc.IRCParser:sendMe ssage(String, String)

	method not available - call not analyzed	Info	call on CallbackManager com.dmdirc.parser.irc. IRCParser:getCallbackManager()
	method not available - call not analyzed	Info	call on void com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback(ICallbackInterface)