Channel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addClient(ChannelClientInfo)

    • Kind Annotation Text
    preclient != null
    prethis.tabCompleter != null
    prethis.window != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)

  • void addTopic(Topic)

    • Kind Annotation Text
    prethis.channelInfo != null
    prethis.topics != null
    prethis.window != null
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getTopic
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:setT itle
    unanalyzedcall on com.dmdirc.ui.messages.Styliser:stipControl Codes
    unanalyzedcall on java.lang.String:isEmpty

  • void checkWho()

    • Kind Annotation Text
    pre(soft) this.channelInfo != null
    pre(soft) this.server != null
    pre(soft) this.server.parser != null
    preinit'ed(this.onChannel)
    test_vectorthis.onChannel: {0}, {1}
    test_vectorthis.sendWho: {0}, {1}

  • void com.dmdirc.Channel(Server, ChannelInfo)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #40).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) newServer.invites != null
    pre(soft) newServer.listeners != null
    precom/dmdirc/Main.controller != null
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(newServer.window)
    prenewChannelInfo != null
    prenewServer != null
    prenewServer.parser != null
    prenewServer.serverInfo != null
    presumptioncom.dmdirc.ui.interfaces.ChannelWindow:getInputHand ler(...)@129 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getChannel(.. .)@127 != null
    presumptioninit'ed(com.dmdirc.commandparser.CommandType.TYPE_ CHANNEL)
    presumptioninit'ed(com.dmdirc.commandparser.CommandType.TYPE_ CHAT)
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
    presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
    presumptionthis...server@127 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.eventHandler.owner)
    postinit'ed(this.notification)
    postinit'ed(this.sendWho)
    postinit'ed(this.showColours)
    postinit'ed(this.showModePrefix)
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ArrayList(ServerManager#1) num objects == undefined
    postnew ChannelEventHandler(Channel#4) num objects == 1
    postnew ConfigManager(Channel#1) num objects == 1
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects == 1
    postnew ListenerList(FrameContainer#1) num objects == 1
    postnew RollingList(Channel#2) num objects == 1
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == null
    postnew ServerManager(getServerManager#1).servers == undefined
    postnew TabCompleter(Channel#3) num objects == 1
    postthis.changer == &new FrameContainer$IconChanger (FrameContainer#2)
    postthis.channelInfo != null
    postthis.channelInfo == newChannelInfo
    postthis.config == &new ConfigManager(Channel#1)
    postthis.eventHandler == &new ChannelEventHandler(C hannel#4)
    postthis.eventHandler.owner != null
    postthis.eventHandler.owner == this
    postthis.icon == &"channel"
    postthis.listeners == &new ListenerList(FrameContai ner#1)
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    postthis.onChannel == 1
    postthis.server != null
    postthis.server == newServer
    postthis.tabCompleter == &new TabCompleter(Channel# 3)
    postthis.topics == &new RollingList(Channel#2)
    postthis.window != null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on addCallback
    unanalyzedcall on addLine
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.WritableFrameContainer
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:migrate
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.interfaces.InviteListener:invite Expired
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getTopic
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getIdent
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getNicknam e
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getIRCD
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyself
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:setT itle
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.messages.Styliser:stipControl Codes
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getChannelInfo
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getIrcd
    unanalyzedcall on getName
    unanalyzedcall on getNetwork
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Class:getInterfaces
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions

  • com.dmdirc.Channel__static_init

    • Kind Annotation Text

  • void configChanged(String, String)

    • Kind Annotation Text
    pre(soft) this.config != null
    postpossibly_updated(this.sendWho)
    postpossibly_updated(this.showColours)
    postpossibly_updated(this.showModePrefix)
    test_vectorjava.lang.String:equals(...)@485: {0}, {1}
    test_vectorjava.lang.String:equals(...)@487: {0}, {1}
    test_vectorjava.lang.String:equals(...)@489: {0}, {1}

  • ChannelInfo getChannelInfo()

    • Kind Annotation Text
    preinit'ed(this.channelInfo)
    postinit'ed(return_value)
    postreturn_value == this.channelInfo

  • String[] getDetails(ChannelClientInfo, bool)

    • Kind Annotation Text
    preclient != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@513 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@514 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@517 != null
    postinit'ed(return_value[0])
    postinit'ed(return_value[2])
    postinit'ed(return_value[3])
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew String[](getDetails#1) num objects == 1
    postreturn_value == &new String[](getDetails#1)
    postreturn_value.length == 4
    postreturn_value[1] in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
    test_vectorjava.util.Map:containsKey(...)@521: {0}, {1}
    test_vectorjava.util.Map:containsKey(...)@524: {0}, {1}
    test_vectorshowColours: {0}, {1}

  • InputWindow getFrame()

    • Kind Annotation Text
    preinit'ed(this.window)
    postinit'ed(return_value)
    postreturn_value == this.window

  • Window getFrame()

    • Kind Annotation Text
    preinit'ed(this.window)
    postinit'ed(return_value)
    postreturn_value == this.window

  • int getMaxLineLength()

    • Kind Annotation Text
    pre(soft) this.channelInfo != null
    pre(soft) this.server.parser != null
    preinit'ed(this.server.myState.state)
    prethis.server != null
    prethis.server.myState != null
    postinit'ed(return_value)

  • String getModes(ChannelClientInfo)

    • Kind Annotation Text
    postinit'ed(return_value)
    test_vectorchannelClient: Addr_Set{null}, Inverse{null}
    test_vectorthis.showModePrefix: {1}, {0}

  • Server getServer()

    • Kind Annotation Text
    preinit'ed(this.server)
    postinit'ed(return_value)
    postreturn_value == this.server

  • TabCompleter getTabCompleter()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.tabCompleter

  • List getTopics()

    • Kind Annotation Text
    prethis.topics != null
    postinit'ed(return_value)

  • void join()

    • Kind Annotation Text
    prethis.channelInfo != null
    prethis.config != null
    prethis.listeners != null
    prethis.server != null
    prethis.server.parser != null
    postthis.icon == &"channel"
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:activateFra me
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • void modifyNotificationArgs(List, List)

    • Kind Annotation Text
    premessageArgs != null
    prethis.channelInfo != null

  • void part(String)

    • Kind Annotation Text
    pre(soft) init'ed(this.server.parser)
    pre(soft) this.channelInfo != null
    preinit'ed(this.server)
    prethis.config != null
    prethis.listeners != null
    prethis.window != null
    postthis.icon == &"channel-inactive"
    postthis.onChannel == 0
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on setIcon
    test_vectorthis.server.parser: Addr_Set{null}, Inverse{null}
    test_vectorthis.server: Addr_Set{null}, Inverse{null}

  • bool processNotificationArg(Object, List)

    • Kind Annotation Text
    pre(soft) arg.time in {-9_223_372_036_854_775.. 18_446_744_073_709_551}
    pre(soft) args != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Client
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Map
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getIdent
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getHex
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • void refreshClients()

    • Kind Annotation Text
    prethis.window != null

  • void registerCallbacks()

    • Kind Annotation Text
    pre(soft) this...server != null
    prethis.channelInfo != null
    prethis.config != null
    prethis.eventHandler != null
    prethis.eventHandler.owner != null
    prethis.server != null
    prethis.server.parser != null
    prethis.server.serverInfo != null
    unanalyzedcall on addCallback
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getIRCD
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
    unanalyzedcall on getChannelInfo
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on java.lang.Class:getInterfaces
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

  • void removeClient(ChannelClientInfo)

    • Kind Annotation Text
    pre(soft) this.config != null
    pre(soft) this.listeners != null
    preclient != null
    prethis.server != null
    prethis.server.parser != null
    prethis.tabCompleter != null
    prethis.window != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@395 != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
    postpossibly_updated(this.onChannel)
    postthis.icon == One-of{old this.icon, &"channel-in active"}
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on setIcon
    test_vectorjava.lang.Object:equals(...)@395: {0}, {1}

  • void renameClient(String, String)

    • Kind Annotation Text
    prethis.tabCompleter != null
    prethis.window != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames

  • void resetWindow()

    • Kind Annotation Text
    prethis.config != null
    prethis.listeners != null
    prethis.window != null
    postthis.icon == &"channel-inactive"
    postthis.onChannel == 0
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator

  • void selfJoin()

    • Kind Annotation Text
    pre(soft) this.server.invites != null
    pre(soft) this.server.listeners != null
    prethis.channelInfo != null
    prethis.config != null
    prethis.listeners != null
    prethis.server != null
    prethis.server.parser != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@275 != null
    postthis.icon == &"channel"
    postthis.onChannel == 1
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.interfaces.InviteListener:invite Expired
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove

  • void sendAction(String)

    • Kind Annotation Text
    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/ServerManager.me)
    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
    preinit'ed(this.server.myState.state)
    prethis.server != null
    prethis.server.myState != null
    presumptioncom.dmdirc.parser.irc.ChannelInfo:getUser(...)@200 != null
    presumptioncom.dmdirc.ui.interfaces.ChannelWindow:getTranscode r(...)@211 != null
    presumptioncom.dmdirc.ui.interfaces.ChannelWindow:getTranscode r(...)@214 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1).servers == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Client
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Map
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getIdent
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getHex
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorcom.dmdirc.parser.irc.IRCParser:getChannelInfo(... )@193: Inverse{null}, Addr_Set{null}

  • void sendLine(String)

    • Kind Annotation Text
    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
    preinit'ed(this.server.myState.state)
    prethis.server != null
    prethis.server.myState != null
    presumptioncom.dmdirc.parser.irc.ChannelInfo:getUser(...)@167 != null
    presumptioncom.dmdirc.ui.interfaces.ChannelWindow:getTranscode r(...)@169 != null
    presumptioncom.dmdirc.util.StringTranscoder:encode(...)@169 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(new ArrayList(ServerManager#1) num objects)
    postinit'ed(new ServerManager(getServerManager#1) num objects)
    postnew ServerManager(getServerManager#1).servers == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Client
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Map
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:getIdent
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getHex
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getMaxLineLength
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Math:min
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:getBytes
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on splitLine
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorcom.dmdirc.parser.irc.IRCParser:getChannelInfo(... )@160: Inverse{null}, Addr_Set{null}
    test_vectorjava.util.Iterator:hasNext(...)@169: {0}, {1}

  • void setChannelInfo(ChannelInfo)

    • Kind Annotation Text
    pre(soft) this...server != null
    prenewChannelInfo != null
    prethis.config != null
    prethis.eventHandler != null
    prethis.eventHandler.owner != null
    prethis.server != null
    prethis.server.parser != null
    prethis.server.serverInfo != null
    postthis.channelInfo != null
    postthis.channelInfo == newChannelInfo
    unanalyzedcall on addCallback
    unanalyzedcall on com.dmdirc.config.ConfigManager:migrate
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getIRCD
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
    unanalyzedcall on getChannelInfo
    unanalyzedcall on getConfigManager
    unanalyzedcall on getIrcd
    unanalyzedcall on getName
    unanalyzedcall on getNetwork
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on java.lang.Class:getInterfaces
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

  • void setClients(List)

    • Kind Annotation Text
    preclients != null
    prethis.tabCompleter != null
    prethis.window != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
    presumptionjava.util.Iterator:next(...)@411 != null
    test_vectorjava.util.Iterator:hasNext(...)@411: {0}, {1}

  • void setTopic(String)

    • Kind Annotation Text
    prethis.channelInfo != null
    prethis.server != null
    prethis.server.parser != null

  • void show()

    • Kind Annotation Text
    prethis.window != null

  • String toString()

    • Kind Annotation Text
    prethis.channelInfo != null
    postinit'ed(return_value)

  • void updateTitle()

    • Kind Annotation Text
    prethis.channelInfo != null
    prethis.window != null
    presumptioncom.dmdirc.parser.irc.ChannelInfo:getTopic(... )@291 != null
    test_vectorjava.lang.String:isEmpty(...)@291: {1}, {0}

  • void windowClosing()

    • Kind Annotation Text
    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
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(this.onChannel)
    preinit'ed(this.server.parser)
    prethis.channelInfo != null
    prethis.eventHandler != null
    prethis.eventHandler.owner != null
    prethis.server != null
    prethis.server.channels != null
    prethis.server.converter != null
    prethis.server.tabCompleter != null
    prethis.window != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@344 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ArrayList(ServerManager#1) num objects == undefined
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == null
    postnew ServerManager(getServerManager#1).servers == undefined
    postthis.icon == One-of{old this.icon, &"channel-in active"}
    postthis.onChannel == 0
    postthis.server == null
    postthis.window == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:partChannel
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on com.dmdirc.parser.irc.callbacks. CallbackManager:delAllCallback
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.input.TabCompleter:removeEntr y
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on setIcon
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorthis.onChannel: {0}, {1}
    test_vectorthis.server.parser: Addr_Set{null}, Inverse{null}