Messages

Last Msg First Msg

method

com.dmdirc.Channel__static_init

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

method	void com.dmdirc.Channel(Server, ChannelInfo)
pre	com/dmdirc/Main.controller != null
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	newChannelInfo != null
pre	newServer != null
pre	newServer.parser != null
pre	newServer.serverInfo != null
pre	init'ed(newServer.window)
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #40).type != null
pre	(soft) newServer.invites != null
pre	(soft) newServer.listeners != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	init'ed(com.dmdirc.commandparser.CommandType.TYPE_ CHANNEL)
presumption	init'ed(com.dmdirc.commandparser.CommandType.TYPE_ CHAT)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
presumption	com.dmdirc.ui.interfaces.ChannelWindow:getInputHand ler(...)@129 != null
presumption	com.dmdirc.ui.interfaces.UIController:getChannel(.. .)@127 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
presumption	this...server@127 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.channelInfo == newChannelInfo
post	this.channelInfo != null
post	this.config == &new ConfigManager(Channel#1)
post	this.eventHandler == &new ChannelEventHandler(C hannel#4)
post	this.icon == &"channel"
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.onChannel == 1
post	new ChannelEventHandler(Channel#4) num objects == 1
post	new ConfigManager(Channel#1) num objects == 1
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	new RollingList(Channel#2) num objects == 1
post	new TabCompleter(Channel#3) num objects == 1
post	init'ed(this.sendWho)
post	this.server == newServer
post	this.server != null
post	init'ed(this.showColours)
post	init'ed(this.showModePrefix)
post	this.tabCompleter == &new TabCompleter(Channel# 3)
post	this.topics == &new RollingList(Channel#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	this.eventHandler.owner == this
post	this.eventHandler.owner != null
post	init'ed(this.eventHandler.owner)
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:setT itle
unanalyzed	call on setIcon
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on getConfigManager
unanalyzed	call on getState
unanalyzed	call on getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on addLine
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 getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on removeInvites
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on getIrcd
unanalyzed	call on getNetwork
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.config.ConfigManager:migrate
unanalyzed	call on getUI
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.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:addLine
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 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 java.lang.String:equals
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.IllegalStateException
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.util.ListenerList

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.config.ConfigManager(String , String, String, String)

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

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

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.util.RollingList(int)

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.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 ChannelWindow com.dmdirc.ui.interfaces. UIController:getChannel(Channel)

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

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

Prev Msg Next Msg

precondition failure

click for all messages in this file High Prob.

com/dmdirc/Channel.registerCallbacks: this.eventHandler.owner != null

Prev Msg Next Msg

method	void registerCallbacks()
pre	this.channelInfo != null
pre	this.config != null
pre	this.eventHandler != null
pre	this.eventHandler.owner != null
pre	this.server != null
pre	this.server.parser != null
pre	this.server.serverInfo != null
pre	(soft) this...server != null
unanalyzed	call on getParser
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
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.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.lang.IllegalStateException
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost

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

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

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 #44).type != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) this.channelInfo != null
pre	(soft) this.server.parser != null
pre	(soft) this.window != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getUser(...)@167 != null
presumption	com.dmdirc.ui.interfaces.ChannelWindow:getTranscode r(...)@169 != null
presumption	com.dmdirc.util.StringTranscoder:encode(...)@169 != 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.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
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.ChannelClientInfo:get Map
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getHex
unanalyzed	call on getState
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 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	com.dmdirc.parser.irc.IRCParser:getChannelInfo(... )@160: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@169: {0}, {1}

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 ChannelInfo com.dmdirc.parser.irc. IRCParser:getChannelInfo(String)

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 ChannelClientInfo com.dmdirc.parser.irc. ChannelInfo:getUser(ClientInfo)

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

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

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 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 #45).type != null
pre	(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.channelInfo != null
pre	(soft) this.server.parser != null
pre	(soft) this.window != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getUser(...)@200 != null
presumption	com.dmdirc.ui.interfaces.ChannelWindow:getTranscode r(...)@211 != null
presumption	com.dmdirc.ui.interfaces.ChannelWindow:getTranscode r(...)@214 != 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.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
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.ChannelClientInfo:get Map
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getHex
unanalyzed	call on getState
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 com.dmdirc.ui.interfaces.Window:addLine
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
test_vector	com.dmdirc.parser.irc.IRCParser:getChannelInfo(... )@193: Inverse{null}, Addr_Set{null}

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 ChannelClientInfo com.dmdirc.parser.irc. ChannelInfo:getUser(ClientInfo)

method not available - call not analyzed Info call on StringTranscoder com.dmdirc.ui.interfaces. ChannelWindow: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.ChannelInfo:send Action(String)

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

method	ChannelInfo getChannelInfo()
pre	init'ed(this.channelInfo)
post	return_value == this.channelInfo
post	init'ed(return_value)

method	void setChannelInfo(ChannelInfo)
pre	newChannelInfo != null
pre	this.config != null
pre	this.eventHandler != null
pre	this.eventHandler.owner != null
pre	this.server != null
pre	this.server.parser != null
pre	this.server.serverInfo != null
pre	(soft) this...server != null
post	this.channelInfo == newChannelInfo
post	this.channelInfo != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on getConfigManager
unanalyzed	call on getParser
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on getIrcd
unanalyzed	call on getNetwork
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.config.ConfigManager:migrate
unanalyzed	call on getChannelInfo
unanalyzed	call on java.lang.String:equals
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.lang.IllegalStateException
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost

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 selfJoin()
pre	this.channelInfo != null
pre	this.config != null
pre	this.listeners != null
pre	this.server != null
pre	this.server.parser != null
pre	(soft) this.server.invites != null
pre	(soft) this.server.listeners != null
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@275 != null
post	this.icon == &"channel"
post	this.onChannel == 1
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 getFrame
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:addLine
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on java.util.ArrayList:iterator

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 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 String com.dmdirc.parser.irc. ChannelInfo:getName()

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

method	void updateTitle()
pre	this.channelInfo != null
pre	this.window != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getTopic(... )@291 != null
test_vector	java.lang.String:isEmpty(...)@291: {1}, {0}

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.ui.messages. Styliser:stipControlCodes(String)

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

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

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. Styliser:stipControlCodes(String)

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

method	void join()
pre	this.channelInfo != null
pre	this.config != null
pre	this.listeners != null
pre	this.server != null
pre	this.server.parser != null
post	this.icon == &"channel"
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 getFrame
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

method	void part(String)
pre	this.config != null
pre	this.listeners != null
pre	init'ed(this.server)
pre	this.window != null
pre	(soft) this.channelInfo != null
pre	(soft) init'ed(this.server.parser)
post	this.icon == &"channel-inactive"
post	this.onChannel == 0
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
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 getFrame
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	this.server: Addr_Set{null}, Inverse{null}
test_vector	this.server.parser: Addr_Set{null}, Inverse{null}

method	void resetWindow()
pre	this.config != null
pre	this.listeners != null
pre	this.window != null
post	this.icon == &"channel-inactive"
post	this.onChannel == 0
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 getFrame
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 void com.dmdirc.ui.interfaces. ChannelWindow:updateNames(List)

method	void windowClosing()
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	init'ed(this.onChannel)
pre	this.server != null
pre	this.window != null
pre	this.channelInfo != null
pre	this.eventHandler != null
pre	this.eventHandler.owner != null
pre	this.server.channels != null
pre	this.server.converter != null
pre	init'ed(this.server.parser)
pre	this.server.tabCompleter != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #41).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this...server != null
pre	(soft) this.config != null
pre	(soft) this.listeners != null
presumption	com.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@344 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	this.icon == One-of{old this.icon, &"channel-in active"}
post	this.onChannel == 0
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.ChannelInfo:getName
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on getState
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 getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:partChannel
unanalyzed	call on getUI
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
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 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 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 com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:remove
test_vector	this.onChannel: {0}, {1}
test_vector	this.server.parser: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ChannelWindow: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 String com.dmdirc.config.ConfigManager:getO ption(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.WindowManager:removeWind ow(Window)

method	void checkWho()
pre	init'ed(this.onChannel)
pre	(soft) this.channelInfo != null
pre	(soft) this.server != null
pre	(soft) this.server.parser != null
test_vector	this.onChannel: {0}, {1}
test_vector	this.sendWho: {0}, {1}

method	void addClient(ChannelClientInfo)
pre	client != null
pre	this.tabCompleter != null
pre	this.window != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ChannelWindow:addName(ChannelClientInfo)

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

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

method	void removeClient(ChannelClientInfo)
pre	client != null
pre	this.server != null
pre	this.server.parser != null
pre	this.tabCompleter != null
pre	this.window != null
pre	(soft) this.config != null
pre	(soft) this.listeners != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@395 != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
post	this.icon == One-of{old this.icon, &"channel-in active"}
post	possibly_updated(this.onChannel)
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
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 getFrame
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.lang.Object:equals(...)@395: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ChannelWindow:removeName(ChannelClientInfo)

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

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

method	void setClients(List)
pre	clients != null
pre	this.tabCompleter != null
pre	this.window != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
presumption	java.util.Iterator:next(...)@411 != null
test_vector	java.util.Iterator:hasNext(...)@411: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ChannelWindow:updateNames(List)

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

method	void renameClient(String, String)
pre	this.tabCompleter != null
pre	this.window != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames

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

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

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

method	String getModes(ChannelClientInfo)
post	init'ed(return_value)
test_vector	channelClient: Addr_Set{null}, Inverse{null}
test_vector	this.showModePrefix: {1}, {0}

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

method	void addTopic(Topic)
pre	this.channelInfo != null
pre	this.topics != null
pre	this.window != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:setT itle

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:add(Object )

method	List getTopics()
pre	this.topics != null
post	init'ed(return_value)

method not available - call not analyzed Info call on List com.dmdirc.util.RollingList:getList()

method	String toString()
pre	this.channelInfo != null
post	init'ed(return_value)

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

method	void configChanged(String, String)
pre	(soft) this.config != null
post	possibly_updated(this.sendWho)
post	possibly_updated(this.showColours)
post	possibly_updated(this.showModePrefix)
test_vector	java.lang.String:equals(...)@485: {0}, {1}
test_vector	java.lang.String:equals(...)@487: {0}, {1}
test_vector	java.lang.String:equals(...)@489: {0}, {1}

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

method	String[] getDetails(ChannelClientInfo, bool)
pre	client != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@513 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@514 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@517 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &new String[](getDetails#1)
post	new String[](getDetails#1) num objects == 1
post	return_value.length == 4
post	init'ed(return_value[0])
post	return_value[1] in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
post	init'ed(return_value[2])
post	init'ed(return_value[3])
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
test_vector	showColours: {0}, {1}
test_vector	java.util.Map:containsKey(...)@521: {0}, {1}
test_vector	java.util.Map:containsKey(...)@524: {0}, {1}

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

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

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 Map com.dmdirc.parser.irc.ChannelClientInfo :getMap()

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. ColourManager:getHex(Color)

method	bool processNotificationArg(Object, List)
pre	(soft) arg.time in {-9_223_372_036_854_775.. 18_446_744_073_709_551}
pre	(soft) args != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
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.ChannelClientInfo:get Map
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getHex

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()

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (new String[](getDetails#1)[0] , new String[](getDetails#1)[1], new String[](getDetails#1)[2], new String[](getDetails #1)[3], java.lang.StringBuilder:toString(...). _tainted) in getDetails

Prev Msg Next Msg

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

method	void modifyNotificationArgs(List, List)
pre	messageArgs != null
pre	this.channelInfo != null

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

method	void setTopic(String)
pre	this.channelInfo != null
pre	this.server != null
pre	this.server.parser != null

	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.config.ConfigManager(String , String, String, 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.util.RollingList(int)

	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. ChannelWindow: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. ChannelWindow: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: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 String com.dmdirc.parser.irc. ChannelInfo:getName()

	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 ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()
	method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()