Server.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • Map access$000(Server)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.channels

  • ServerStatus access$100(Server)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.myState

  • void addAwayStateListener(AwayStateListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void addChannel(ChannelInfo)

    • Kind Annotation Text
    pre(soft) chan != null
    pre(soft) this.channels != null
    pre(soft) this.converter != null
    pre(soft) this.tabCompleter != null
    preinit'ed(this.myState.state)
    prethis.myState != null
    presumptiongetChannel(...).channelInfo@575 != null
    presumptiongetChannel(...).config@574 != null
    presumptiongetChannel(...).config@575 != null
    presumptiongetChannel(...).eventHandler.owner@574 != null
    presumptiongetChannel(...).eventHandler@574 != null
    presumptiongetChannel(...).listeners@575 != null
    presumptiongetChannel(...).server.invites@575 != null
    presumptiongetChannel(...).server.listeners@575 != null
    presumptiongetChannel(...).server.parser@574 != null
    presumptiongetChannel(...).server.parser@575 != null
    presumptiongetChannel(...).server.serverInfo@574 != null
    presumptiongetChannel(...).server@574 != null
    presumptiongetChannel(...).server@575 != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL)
    presumptionjava.util.Map:get(...)@455 != null
    presumptionnewChan.window@580 != null
    unanalyzedcall on addCallback
    unanalyzedcall on addLine
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:migrate
    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.logger.Logger:appError
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    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.IRCStringConverter:to LowerCase
    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:open
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getChannelInfo
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    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
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on registerCallbacks
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    test_vectorjava.util.Map:containsKey(...)@445: {0}, {1}

  • void addInvite(Invite)

    • Kind Annotation Text
    pre(soft) invite != null
    prethis.invites != null
    prethis.listeners != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@1542 != null
    presumptionjava.util.ArrayList:iterator(...)@1533 != null
    presumptionjava.util.Iterator:next(...)@1533 != null
    presumptionjava.util.Iterator:next(...)@1542 != null
    presumptionoldInvite.channel@1533 != null
    unanalyzedcall on com.dmdirc.interfaces.InviteListener:invite Expired
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    test_vectorjava.lang.String:equals(...)@1534: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@1533: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@1542: {1}, {0}

  • void addInviteListener(InviteListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void addLineToActive(String, Object[])

    • Kind Annotation Text
    preinit'ed(this.activeFrame)
    presumptiongetFrame(...)@1055 != null
    presumptiongetFrame(...)@1059 != null
    postthis.activeFrame != null
    postthis.activeFrame == One-of{old this.activeFrame, this}
    test_vectorcom.dmdirc.ui.interfaces.Window:isVisible(... )@1055: {1}, {0}
    test_vectorthis.activeFrame: Addr_Set{null}, Inverse{null}

  • void addLineToAll(String, Object[])

    • Kind Annotation Text
    prethis.channels != null
    prethis.queries != null
    presumptionchannel.window@1069 != null
    presumptionjava.util.Iterator:next(...)@1069 != null
    presumptionjava.util.Iterator:next(...)@1073 != null
    presumptionjava.util.Map:values(...)@1069 != null
    presumptionquery.window@1073 != null
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on getFrame
    test_vectorjava.util.Iterator:hasNext(...)@1069: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@1073: {0}, {1}

  • void addQuery(String)

    • Kind Annotation Text
    pre(soft) this.converter != null
    pre(soft) this.queries != null
    pre(soft) this.tabCompleter != null
    preinit'ed(this.myState.state)
    prethis.myState != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. QUERY_NICK)
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:parseHost
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
    unanalyzedcall on java.util.List:iterator

  • void addRaw()

    • Kind Annotation Text
    pre(soft) com/dmdirc/Main.controller != null
    pre(soft) init'ed(this.parser)
    pre(soft) this.window != null
    preinit'ed(this.raw)
    postinit'ed(new Raw(addRaw#1).icon)
    postinit'ed(new Raw(addRaw#1).notification)
    postinit'ed(new Raw(addRaw#1).server)
    postinit'ed(new Raw(addRaw#1).window)
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
    postnew ListenerList(FrameContainer#1) num objects <= 1
    postnew Raw(addRaw#1) num objects <= 1
    postnew Raw(addRaw#1).changer == &amp;new FrameContainer$IconChanger(FrameContainer#2)
    postnew Raw(addRaw#1).config != null
    postnew Raw(addRaw#1).listeners == &amp;new ListenerList(FrameContainer#1)
    postthis.raw != null
    postthis.raw == One-of{&amp;new Raw(addRaw#1), old this.raw}
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server:getConfigManager
    unanalyzedcall on com.dmdirc.WritableFrameContainer
    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.logger.Logger:appError
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    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.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.input.InputHandler:setTabComp leter
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getInp utHandler
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:open
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:setTit le
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getIn putWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:activateFra me
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    unanalyzedcall on getParser
    unanalyzedcall on getTabCompleter
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    test_vectorthis.parser: Addr_Set{null}, Inverse{null}
    test_vectorthis.raw: Inverse{null}, Addr_Set{null}

  • MyInfo buildMyInfo()

    • Kind Annotation Text
    prethis.profile != null
    presumptioncom.dmdirc.config.Identity:getOptionList(...)@761 != null
    presumptioncom.dmdirc.config.Identity:getOptionList(...)@764 != null
    postnew MyInfo(buildMyInfo#1) num objects == 1
    postreturn_value == &amp;new MyInfo(buildMyInfo#1)
    test_vectorcom.dmdirc.config.Identity:hasOptionString(... )@767: {0}, {1}

  • IRCParser buildParser()

    • Kind Annotation Text
    prethis.config != null
    prethis.parserFactory != null
    prethis.profile != null
    prethis.serverInfo != null
    presumptioncom.dmdirc.config.ConfigManager:getOptionInt(... )@740/com.dmdirc.parser.irc.IRCParser:getPingTimerL ength(...)@740 in range
    presumptioncom.dmdirc.config.ConfigManager:getOptionInt(... )@740/com.dmdirc.parser.irc.IRCParser:getPingTimerL ength(...)@740 in {-231..232-1}
    presumptioncom.dmdirc.parser.irc.IRCParser:getPingTimerLength( ...)@740 != 0
    postnew IRCParser(getParser#1) num objects == 1
    postreturn_value == &amp;new IRCParser(getParser#1)
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.Identity:getOption
    unanalyzedcall on com.dmdirc.config.Identity:getOptionList
    unanalyzedcall on com.dmdirc.config.Identity:hasOptionString
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo:setNickname
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo:setRealname
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo:setUsername
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.FileInputStream:close
    unanalyzedcall on java.lang.String:replace
    unanalyzedcall on java.lang.String:toCharArray
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.security.KeyStore:getDefaultType
    unanalyzedcall on java.security.KeyStore:getInstance
    unanalyzedcall on java.security.KeyStore:load
    unanalyzedcall on java.security.cert.PKIXParameters
    unanalyzedcall on java.security.cert.PKIXParameters:getTrustA nchors
    unanalyzedcall on java.security.cert.TrustAnchor:getTrustedCe rt
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.Set:add
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.concurrent.Semaphore
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:getDefaultA lgorithm
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:getInstance
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:getKeyManag ers
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:init
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@743: {0}, {1}

  • ServerInfo buildServerInfo(String, int, String, bool)

    • Kind Annotation Text
    prethis.config != null
    postnew ServerInfo(buildServerInfo#1) num objects == 1
    postreturn_value == &amp;new ServerInfo(buildServerInfo #1)
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@706: {0}, {1}

  • void checkModeAliases()

    • Kind Annotation Text
    pre(soft) this.config != null
    prethis.parser != null
    presumptionarr$.length@1408 <= 232-1
    presumptionarr$.length@1414 <= 232-1
    presumptioncom.dmdirc.parser.irc.IRCParser:getUserModeString(. ..)@1403 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:split
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@1409: {1}, {0}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@1415: {1}, {0}
    test_vectorjava.lang.StringBuffer:length(...)@1423: {-231..0}, {1..232-1}
    test_vectorjava.lang.StringBuffer:length(...)@1428: {-231..0}, {1..232-1}
    test_vectorjava.lang.StringBuffer:length(...)@1429: {-231..0}, {1..232-1}

  • void clearChannels()

    • Kind Annotation Text
    prethis.channels != null
    presumptionchannel.config@674 != null
    presumptionchannel.listeners@674 != null
    presumptionchannel.window@674 != null
    presumptionjava.util.Iterator:next(...)@674 != null
    presumptionjava.util.Map:values(...)@674 != null
    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.util.Iterator:hasNext(...)@674: {0}, {1}

  • void closeChannels()

    • Kind Annotation Text
    prethis.channels != null
    presumptionjava.util.ArrayList:iterator(...)@665 != null
    presumptionjava.util.Iterator:next(...)@665 != null
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on getFrame
    test_vectorjava.util.Iterator:hasNext(...)@665: {0}, {1}

  • void closeQueries()

    • Kind Annotation Text
    presumptionjava.util.ArrayList:iterator(...)@683 != null
    presumptionjava.util.Iterator:next(...)@683 != null
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on getFrame
    test_vectorjava.util.Iterator:hasNext(...)@683: {0}, {1}

  • void com.dmdirc.Server$1(Server)

    • Kind Annotation Text

  • com.dmdirc.Server$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.Server$2(Server)

    • Kind Annotation Text

  • com.dmdirc.Server$2__static_init

    • Kind Annotation Text

  • void com.dmdirc.Server$3(Server)

    • Kind Annotation Text

  • com.dmdirc.Server$3__static_init

    • Kind Annotation Text

  • com.dmdirc.Server$4__static_init

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.ServerState__static_init. new ServerState[](ServerState__static_init#15)[...])
    presumptioncom.dmdirc.ServerState:ordinal(...)@262 in {0..6}
    postnew int[](Server$4__static_init#1) num objects == 1

  • void com.dmdirc.Server(String, int, String, bool, Identity)

    • Kind Annotation Text
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(com/dmdirc/actions/wrappers/AliasWra pper.me)
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postcom/dmdirc/actions/wrappers/AliasWrapper.me == old com/dmdirc/actions/wrappers/AliasWrapper.me
    postinit'ed(this.activeFrame)
    postinit'ed(this.converter)
    postinit'ed(this.icon)
    postinit'ed(this.notification)
    postinit'ed(this.parser)
    postinit'ed(this.raw)
    postinit'ed(this.serverInfo)
    postinit'ed(this.window)
    postnew AliasWrapper(getAliasWrapper#1) num objects == 0, if init'ed
    postnew AliasWrapper(getAliasWrapper#1) num objects == undefined
    postnew AliasWrapper(getAliasWrapper#1).actions == this.autochannels
    postnew AliasWrapper(getAliasWrapper#1).aliases == this.autochannels
    postnew AliasWrapper(getAliasWrapper#1).author == this.autochannels
    postnew AliasWrapper(getAliasWrapper#1).component == new AliasWrapper(getAliasWrapper#1) num objects
    postnew AliasWrapper(getAliasWrapper#1).description == this.autochannels
    postnew AliasWrapper(getAliasWrapper#1).name == this.autochannels
    postnew AliasWrapper(getAliasWrapper#1).settings == this.autochannels
    postnew AliasWrapper(getAliasWrapper#1).version == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ArrayList(Server#1) num objects == 1
    postnew ArrayList(Server#3) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ArrayList(Server#7) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ArrayList(ServerManager#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ConfigManager(Server#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew Hashtable(Server#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew IRCStringConverter(Server#9) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew IgnoreList(Server#8) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ListenerList(FrameContainer#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ParserFactory(Server#1) num objects == 1
    postnew Raw(addRaw#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew Raw(addRaw#1).server == this.autochannels
    postnew Raw(addRaw#1).window == this.autochannels
    postnew RollingList(ServerStatus#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ServerEventHandler(Server#6) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ServerEventHandler(Server#6).owner == this.autochannels
    postnew ServerInfo(Server#10) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ServerManager(getServerManager#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ServerManager(getServerManager#1).servers == this.autochannels
    postnew ServerStatus(Server#4) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ServerStatus(Server#4).history == this.autochannels
    postnew ServerStatus(Server#4).state == this.autochannels
    postnew TabCompleter(Server#5) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postthis.autochannels == null
    postthis.autochannels == undefined
    postthis.changer == this.autochannels
    postthis.channels == this.autochannels
    postthis.config == this.autochannels
    postthis.eventHandler == this.autochannels
    postthis.ignoreList == this.autochannels
    postthis.invites == this.autochannels
    postthis.listeners == this.autochannels
    postthis.myState == this.autochannels
    postthis.parserFactory == this.autochannels
    postthis.queries == this.autochannels
    postthis.tabCompleter == this.autochannels
    unanalyzedcall on activateFrame
    unanalyzedcall on com.dmdirc.EventHandler
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server
    unanalyzedcall on com.dmdirc.Server:getConfigManager
    unanalyzedcall on com.dmdirc.WritableFrameContainer
    unanalyzedcall on com.dmdirc.actions.ActionGroup
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:get CommandNames
    unanalyzedcall on com.dmdirc.config.ConfigManager
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter
    unanalyzedcall on com.dmdirc.parser.irc.RegexStringList
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setSSL
    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.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.input.InputHandler:setTabComp leter
    unanalyzedcall on com.dmdirc.ui.input.TabCompleter
    unanalyzedcall on com.dmdirc.ui.input.TabCompleter:addEntries
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getInp utHandler
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:open
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:setTit le
    unanalyzedcall on com.dmdirc.ui.interfaces.ServerWindow:getIn putHandler
    unanalyzedcall on com.dmdirc.ui.interfaces.ServerWindow:open
    unanalyzedcall on com.dmdirc.ui.interfaces.ServerWindow:setTi tle
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getIn putWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getSe rver
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:activateFra me
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.RollingList
    unanalyzedcall on connect
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getParser
    unanalyzedcall on getTabCompleter
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Hashtable
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on setIcon

  • void com.dmdirc.Server(String, int, String, bool, Identity, List)

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

  • void com.dmdirc.Server(String, int, String, bool, Identity, List, ParserFactory)

    • Kind Annotation Text
    precom/dmdirc/Main.controller != null
    preinit'ed(com/dmdirc/ServerManager.me)
    preinit'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
    presumptioncom.dmdirc.ui.interfaces.ServerWindow:getInputHandl er(...)@209 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getServer(... )@200 != null
    presumptiongetServerManager(...).servers != null
    presumptioninit'ed(com.dmdirc.commandparser.CommandType.TYPE_ GLOBAL)
    presumptioninit'ed(com.dmdirc.commandparser.CommandType.TYPE_ SERVER)
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
    presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
    postcom/dmdirc/ServerManager.me != null
    postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &amp;new ServerManager(getServerManager#1)}
    postcom/dmdirc/actions/wrappers/AliasWrapper.me != null
    postcom/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &amp;new AliasWrapper(getAliasWrapper#1)}
    postinit'ed(new Raw(addRaw#1).changer)
    postinit'ed(new Raw(addRaw#1).config)
    postinit'ed(new Raw(addRaw#1).icon)
    postinit'ed(new Raw(addRaw#1).listeners)
    postinit'ed(new Raw(addRaw#1).notification)
    postinit'ed(new Raw(addRaw#1).server)
    postinit'ed(new Raw(addRaw#1).window)
    postinit'ed(this.autochannels)
    postinit'ed(this.notification)
    postinit'ed(this.parser)
    postinit'ed(this.parserFactory)
    postinit'ed(this.raw)
    postnew AliasWrapper(getAliasWrapper#1) num objects <= 1
    postnew AliasWrapper(getAliasWrapper#1).actions == &amp;new ArrayList(ActionGroup#1)
    postnew AliasWrapper(getAliasWrapper#1).aliases == &amp;new ArrayList(AliasWrapper#1)
    postnew AliasWrapper(getAliasWrapper#1).author == null
    postnew AliasWrapper(getAliasWrapper#1).component == -1
    postnew AliasWrapper(getAliasWrapper#1).description == null
    postnew AliasWrapper(getAliasWrapper#1).name == &amp;"aliases"
    postnew AliasWrapper(getAliasWrapper#1).settings == &amp;new HashMap(ActionGroup#2)
    postnew AliasWrapper(getAliasWrapper#1).version == -1
    postnew ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ArrayList(Server#3) num objects == 1
    postnew ArrayList(Server#7) num objects == 1
    postnew ArrayList(ServerManager#1) num objects <= 1
    postnew ConfigManager(Server#1) num objects == 1
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects == 1
    postnew HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew Hashtable(Server#2) num objects == 1
    postnew IRCStringConverter(Server#9) num objects == 1
    postnew IgnoreList(Server#8) num objects == 1
    postnew ListenerList(FrameContainer#1) num objects <= 1
    postnew ListenerList(FrameContainer#1) num objects == 1
    postnew Raw(addRaw#1) num objects <= 1
    postnew RollingList(ServerStatus#1) num objects == 1
    postnew ServerEventHandler(Server#6) num objects == 1
    postnew ServerInfo(Server#10) num objects == 1
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == &amp;new ArrayList(ServerManager#1)
    postnew ServerStatus(Server#4) num objects == 1
    postnew TabCompleter(Server#5) num objects == 1
    postthis.activeFrame != null
    postthis.activeFrame == this
    postthis.autochannels == autochannels
    postthis.changer == &amp;new FrameContainer$IconChanger (FrameContainer#2)
    postthis.channels == &amp;new Hashtable(Server#2)
    postthis.config == &amp;new ConfigManager(Server#1)
    postthis.converter == &amp;new IRCStringConverter(Serve r#9)
    postthis.eventHandler == &amp;new ServerEventHandler(Se rver#6)
    postthis.eventHandler.owner == this.activeFrame
    postthis.icon == &amp;"server-disconnected"
    postthis.ignoreList == &amp;new IgnoreList(Server#8)
    postthis.invites == &amp;new ArrayList(Server#7)
    postthis.listeners == &amp;new ListenerList(FrameContai ner#1)
    postthis.myState == &amp;new ServerStatus(Server#4)
    postthis.myState.history == &amp;new RollingList(Server Status#1)
    postthis.myState.state == &amp;com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#7)
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    postthis.parserFactory == factory
    postthis.queries == &amp;new ArrayList(Server#3)
    postthis.serverInfo == &amp;new ServerInfo(Server#10)
    postthis.tabCompleter == &amp;new TabCompleter(Server#5 )
    postthis.window != null
    unanalyzedcall on activateFrame
    unanalyzedcall on com.dmdirc.EventHandler
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server:getConfigManager
    unanalyzedcall on com.dmdirc.WritableFrameContainer
    unanalyzedcall on com.dmdirc.actions.ActionGroup
    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.logger.Logger:appError
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.RegexStringList
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    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.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.input.InputHandler:setTabComp leter
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getInp utHandler
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:open
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:setTit le
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getIn putWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:activateFra me
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.RollingList
    unanalyzedcall on getFrame
    unanalyzedcall on getParser
    unanalyzedcall on getTabCompleter
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on setIcon
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@232: {0}, {1}

  • com.dmdirc.Server__static_init

    • Kind Annotation Text
    postDOMAIN_GENERAL != null
    postDOMAIN_PROFILE != null
    postDOMAIN_SERVER != null

  • void connect(String, int, String, bool, Identity)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #17).type != null
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
    pre(soft) init'ed(this.raw)
    pre(soft) this...parser != null
    pre(soft) this.channels != null
    pre(soft) this.config != null
    pre(soft) this.eventHandler != null
    pre(soft) this.eventHandler.owner != null
    pre(soft) this.eventHandler.owner.server != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parser == null
    pre(soft) this.parserFactory != null
    pre(soft) this.parserThread != null
    pre(soft) this.queries != null
    pre(soft) this.raw.server != null
    pre(soft) this.reconnectTimer != null
    pre(soft) this.serverInfo != null
    pre(soft) this.window != null
    preprofile != null
    prethis.myState != null
    prethis.myState.state != null
    presumptioncom.dmdirc.ServerState:ordinal(...)@262 in {0..6}
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.FATAL)
    presumptionjava.util.Arrays:asList(...)@89 != null
    presumptionthis...parser@275 != null
    presumptionthis.eventHandler.owner.server@275 != null
    presumptionthis.myState.history@275 != null
    presumptionthis.myState.state.transitions@275 != null
    presumptionthis.parser@275 == null
    presumptionthis.raw.server@275 != null
    presumptionthis.window@275 != null
    postinit'ed(this.serverInfo)
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew IRCParser(getParser#1) num objects <= 1
    postnew ServerInfo(buildServerInfo#1) num objects <= 1
    postnew ServerManager(getServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1).servers == null
    postnew Thread(connect#5) num objects <= 1
    postpossibly_updated(com/dmdirc/ServerManager.me)
    postpossibly_updated(this.awayMessage)
    postpossibly_updated(this.icon)
    postpossibly_updated(this.parserThread)
    postpossibly_updated(this.profile)
    postthis.myState.state not in Addr_Set{null,&amp;com. dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#5),&amp;com. dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#7)}
    postthis.parser in Addr_Set{null,&amp;new IRCParser(getParser#1)}
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on addCallback
    unanalyzedcall on clearChannels
    unanalyzedcall on close
    unanalyzedcall on closeChannels
    unanalyzedcall on closeQueries
    unanalyzedcall on com.dmdirc.CertificateManager
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.ServerState:ordinal
    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:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.Identity:getOption
    unanalyzedcall on com.dmdirc.config.Identity:getOptionList
    unanalyzedcall on com.dmdirc.config.Identity:hasOptionString
    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.ClientInfo:parseHost
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:disconnect
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getPingTime rLength
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setBindIP
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setCreateFa ke
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setIgnoreLi st
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setKeyManag ers
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setPingCoun tDownLength
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setPingTime rLength
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setRemoveAf terCallback
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:setTrustMan ager
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo:setNickname
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo:setRealname
    unanalyzedcall on com.dmdirc.parser.irc.MyInfo:setUsername
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setUseSock s
    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: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.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    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 getKeyManager
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.FileInputStream:close
    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.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:replace
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toCharArray
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Thread:interrupt
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.security.KeyStore:getDefaultType
    unanalyzedcall on java.security.KeyStore:getInstance
    unanalyzedcall on java.security.KeyStore:load
    unanalyzedcall on java.security.cert.PKIXParameters
    unanalyzedcall on java.security.cert.PKIXParameters:getTrustA nchors
    unanalyzedcall on java.security.cert.TrustAnchor:getTrustedCe rt
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collection: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.HashSet
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:isEmpty
    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.Map:values
    unanalyzedcall on java.util.Set:add
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on java.util.concurrent.Semaphore
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:getDefaultA lgorithm
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:getInstance
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:getKeyManag ers
    unanalyzedcall on javax.net.ssl.KeyManagerFactory:init
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    unanalyzedcall on updateIcon
    test_vectorcom.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...]: {1}, {2}, {3,4}, {5}, {-231..0, 6..232-1}

  • void delChannel(String)

    • Kind Annotation Text
    prethis.channels != null
    prethis.converter != null
    prethis.tabCompleter != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL)

  • void delQuery(Query)

    • Kind Annotation Text
    preinit'ed(query.host)
    prequery != null
    prethis.queries != null
    prethis.tabCompleter != null
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. QUERY_NICK)
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:parseHost

  • void delRaw()

    • Kind Annotation Text
    postthis.raw == null

  • void disconnect()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) init'ed(this.parser)
    pre(soft) this.channels != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parserThread != null
    pre(soft) this.reconnectTimer != null
    pre(soft) this.serverInfo != null
    prethis.config != null
    prethis.myState != null
    prethis.myState.state != null
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state != null
    postthis.myState.state == One-of{old this.myState. state, &amp;com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &amp;com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
    unanalyzedcall on clearChannels
    unanalyzedcall on close
    unanalyzedcall on closeChannels
    unanalyzedcall on closeQueries
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.ServerState:ordinal
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    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.parser.irc.IRCParser:disconnect
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    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.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Thread:interrupt
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on updateIcon

  • void disconnect(String)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) init'ed(this.parser)
    pre(soft) this.channels != null
    pre(soft) this.config != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parserThread != null
    pre(soft) this.reconnectTimer != null
    pre(soft) this.serverInfo != null
    prethis.myState != null
    prethis.myState.state != null
    presumptioncom.dmdirc.ServerState:ordinal(...)@361 in {0..6}
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state != null
    postthis.myState.state == One-of{old this.myState. state, &amp;com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &amp;com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
    unanalyzedcall on close
    unanalyzedcall on com.dmdirc.ServerState:name
    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.parser.irc.ServerInfo:getSSL
    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.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on setIcon
    test_vectorcom.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...]: {1}, {2, 5..7}, {-231..0, 3,4, 8..232-1}
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@388: {0}, {1}
    test_vectorthis.parser: Inverse{null}, Addr_Set{null}

  • void doCallbacks()

    • Kind Annotation Text
    pre(soft) this...parser != null
    pre(soft) this.eventHandler.owner.server != null
    pre(soft) this.raw.server != null
    preinit'ed(this.raw)
    prethis.eventHandler != null
    prethis.eventHandler.owner != null
    prethis.queries != null
    presumptionjava.util.Iterator:next(...)@794 != null
    presumptionquery.server.parser@794 != null
    presumptionquery.server@794 != 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.ClientInfo:parseHost
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    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.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    test_vectorjava.util.Iterator:hasNext(...)@794: {0}, {1}
    test_vectorthis.raw: Addr_Set{null}, Inverse{null}

  • void doDelayedReconnect()

    • Kind Annotation Text
    pre(soft) com/dmdirc/Main.controller != null
    prethis.config != null
    prethis.listeners != null
    prethis.myState != null
    prethis.myState.history != null
    prethis.myState.state != null
    prethis.myState.state.transitions != null
    prethis.serverInfo != null
    postnew Timer(doDelayedReconnect#4) num objects == 1
    postthis.icon == &amp;"server-disconnected"
    postthis.myState.state == &amp;com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#11)
    postthis.reconnectTimer == &amp;new Timer(doDelayedReco nnect#4)
    unanalyzedcall on addLine
    unanalyzedcall on addLineToActive
    unanalyzedcall on addLineToAll
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server:addLine
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.WindowManager:findCustomWindo w
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getWi ndow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:getConfigMa nager
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:isVisible
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:open
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:setTitle
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on despatchNotification
    unanalyzedcall on getChannel
    unanalyzedcall on getChildren
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getUI
    unanalyzedcall on hasChannel
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:format
    unanalyzedcall on java.lang.String:indexOf
    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.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on setIcon

  • String getAwayMessage()

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

  • Channel getChannel(String)

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

  • List getChannels()

    • Kind Annotation Text
    prethis.channels != null
    presumptionjava.util.Map:keySet(...)@466 != null
    postnew ArrayList(getChannels#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getChannels#1)
    test_vectorjava.util.Iterator:hasNext(...)@466: {0}, {1}

  • List getChildren()

    • Kind Annotation Text
    preinit'ed(this.raw)
    prethis.channels != null
    postnew ArrayList(getChildren#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getChildren#1)
    test_vectorthis.raw: Addr_Set{null}, Inverse{null}

  • 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

  • IgnoreList getIgnoreList()

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

  • List getInvites()

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

  • String getIrcd()

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

  • int getMaxLineLength()

    • Kind Annotation Text
    postreturn_value == 510

  • String getName()

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

  • String getNetwork()

    • Kind Annotation Text
    prethis.parser != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getNetworkName(... )@883 != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getServerName(... )@884 != null
    postinit'ed(return_value)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:split
    test_vectorjava.lang.String:isEmpty(...)@883: {0}, {1}

  • String getNetworkFromServerName(String)

    • Kind Annotation Text
    preserverName != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value != null
    postreturn_value == One-of{&amp;java.lang. StringBuilder:toString(...), serverName}
    test_vectorjava.lang.String:endsWith(...)@921: {0}, {1}

  • Identity getNetworkIdentity()

    • Kind Annotation Text
    prethis.parser != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:split

  • IRCParser getParser()

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

  • Identity getProfile()

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

  • List getQueries()

    • Kind Annotation Text
    postnew ArrayList(getQueries#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getQueries#1)

  • Query getQuery(String)

    • Kind Annotation Text
    prethis.converter != null
    prethis.queries != null
    presumptionjava.util.Iterator:hasNext(...)@500 == 1
    presumptionjava.util.Iterator:next(...)@500 != null
    postreturn_value != null
    test_vectorcom.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@501: {0}, {1}

  • Raw getRaw()

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

  • Server getServer()

    • Kind Annotation Text
    postreturn_value != null
    postreturn_value == this

  • Identity getServerIdentity()

    • Kind Annotation Text
    prethis.serverInfo != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost

  • ServerState getState()

    • Kind Annotation Text
    preinit'ed(this.myState.state)
    prethis.myState != null
    postinit'ed(return_value)
    postreturn_value == this.myState.state

  • ServerStatus getStatus()

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

  • TabCompleter getTabCompleter()

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

  • bool hasChannel(String)

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

  • bool hasQuery(String)

    • Kind Annotation Text
    pre(soft) this.converter != null
    prethis.queries != null
    presumptionjava.util.Iterator:next(...)@482 != null
    postinit'ed(return_value)
    test_vectorcom.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@483: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@482: {0}, {1}

  • bool isAway()

    • Kind Annotation Text
    preinit'ed(this.awayMessage)
    postinit'ed(return_value)

  • bool isNetwork(String)

    • Kind Annotation Text
    preinit'ed(this.parser)
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:split
    test_vectorthis.parser: Inverse{null}, Addr_Set{null}

  • bool isValidChannelName(String)

    • Kind Annotation Text
    pre(soft) init'ed(this.parser)
    prethis.channels != null
    prethis.converter != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on java.util.Map:containsKey

  • void join(String)

    • Kind Annotation Text
    pre(soft) this.autochannels != null
    pre(soft) this.channels != null
    pre(soft) this.converter != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.parser != null
    preinit'ed(this.myState.state)
    prethis.myState != null
    presumptiongetChannel(...).channelInfo@811 != null
    presumptiongetChannel(...).config@811 != null
    presumptiongetChannel(...).listeners@811 != null
    presumptiongetChannel(...).server.parser@811 != null
    presumptiongetChannel(...).server@811 != null
    presumptionjava.util.Map:get(...)@455 != null
    unanalyzedcall on activateFrame
    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.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:joinChannel
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    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 getParser
    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
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on setIcon
    test_vectorjava.util.Map:containsKey(...)@445: {0}, {1}

  • void onConnectError(ParserError)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #18).type != null
    pre(soft) com/dmdirc/Main.controller != null
    pre(soft) errorInfo != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
    pre(soft) this.config != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.serverInfo != null
    prethis.myState != null
    prethis.myState.state != null
    presumptioncom.dmdirc.parser.irc.ParserError:getException(... )@1308 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    presumptionjava.util.Arrays:asList(...)@89 init'ed
    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
    postnew Timer(doDelayedReconnect#4) num objects == 0, if init'ed
    postnew Timer(doDelayedReconnect#4) num objects == undefined
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state != null
    postthis.myState.state == One-of{old this.myState. state, &amp;com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#5)}
    postthis.parser == One-of{old this.parser, null}
    postthis.reconnectTimer == old this.reconnectTimer
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on addLine
    unanalyzedcall on addLineToActive
    unanalyzedcall on addLineToAll
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server:addLine
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
    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:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    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.logger.Logger:userError
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.WindowManager:findCustomWindo w
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
    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.UIController:getWi ndow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:getConfigMa nager
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:isVisible
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:open
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:setTitle
    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 com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on despatchNotification
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getChannel
    unanalyzedcall on getChildren
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on hasChannel
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:format
    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:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    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.Collection: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:contains
    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.Map:values
    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_vectorcom.dmdirc.parser.irc.ParserError:getException(... )@1305: Inverse{null}, Addr_Set{null}
    test_vectorjava.net.NoRouteToHostException:instanceof(... )@1312: {0}, {1}
    test_vectorjava.net.SocketException:instanceof(...)@1314: {1}, {0}
    test_vectorjava.net.UnknownHostException:instanceof(... )@1310: {0}, {1}
    test_vectorjavax.net.ssl.SSLException:instanceof(...)@1314: {0}, {1}

  • void onNickInUse(String)

    • Kind Annotation Text
    pre(soft) this.profile != null
    prethis.converter != null
    prethis.parser != null
    presumption(int) (java.lang.Math:random(...)@1164*10) in {-231..232-1}
    presumptioncom.dmdirc.config.Identity:getOptionList(...)@1166 != null
    presumptionjava.util.List:get(...)@1177 != null
    test_vectorcom.dmdirc.parser.irc.IRCStringConverter:equalsIgno reCase(...)@1160: {1}, {0}
    test_vectorjava.lang.String:isEmpty(...)@1177: {1}, {0}
    test_vectorjava.util.Iterator:hasNext(...)@1170: {0}, {1}

  • void onNumeric(int, String[])

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #15).type != null
    pre(soft) com/dmdirc/Main.controller != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(tokens[...])
    pre(soft) tokens != null
    pre(soft) tokens.length <= 232-1
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    prethis.config != null
    prethis.parser != 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
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on addLine
    unanalyzedcall on addLineToActive
    unanalyzedcall on addLineToAll
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server:addLine
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
    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:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    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.logger.Logger:userError
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.WindowManager:findCustomWindo w
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
    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.UIController:getWi ndow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:getConfigMa nager
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:isVisible
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:open
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:setTitle
    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 despatchNotification
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getChannel
    unanalyzedcall on getChildren
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on hasChannel
    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:equals
    unanalyzedcall on java.lang.String:format
    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: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.Collection: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.Map:values
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@1203: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@1205: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@1207: {0}, {1}
    test_vectornumeric: {100..232-1}, {-231..9}, {10..99}

  • void onPingFailed()

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #33).type != null
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(this.profile)
    pre(soft) this.channels != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parserThread != null
    pre(soft) this.reconnectTimer != null
    precom/dmdirc/Main.controller != null
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    prethis.config != null
    prethis.parser != null
    prethis.serverInfo != null
    presumption(int) (java.lang.Math:floor(...)@1339) in {-231..232-1}
    presumptioncom.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@1339 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.profile)
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ArrayList(ServerManager#1) num objects == undefined
    postnew ServerInfo(buildServerInfo#1) num objects == 0, if init'ed
    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 Thread(connect#5) num objects == 0, if init'ed
    postthis.awayMessage == old this.awayMessage
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state != null
    postthis.parser != null
    postthis.parser == old this.parser
    postthis.parserThread != null
    postthis.parserThread == old this.parserThread
    postthis.profile == old this.profile
    postthis.serverInfo != null
    postthis.serverInfo == old this.serverInfo
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on addLine
    unanalyzedcall on addLineToActive
    unanalyzedcall on addLineToAll
    unanalyzedcall on buildParser
    unanalyzedcall on clearChannels
    unanalyzedcall on close
    unanalyzedcall on closeChannels
    unanalyzedcall on closeQueries
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server:addLine
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.ServerState:ordinal
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
    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:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    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.logger.Logger:userError
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:disconnect
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getPasswor d
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getPort
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setUseSock s
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.WindowManager:findCustomWindo w
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.ServerWindow:setAw ayIndicator
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getWi ndow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:getConfigMa nager
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:isVisible
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:open
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:setTitle
    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 com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on connect
    unanalyzedcall on despatchNotification
    unanalyzedcall on disconnect
    unanalyzedcall on doCallbacks
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getChannel
    unanalyzedcall on getChildren
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on hasChannel
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.Object:wait
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:format
    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:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Thread:interrupt
    unanalyzedcall on java.lang.Thread:start
    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.Collection: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:contains
    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:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on reconnect
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    unanalyzedcall on updateIcon

  • void onPost005()

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #16).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) this.channels != null
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    prethis.autochannels != null
    prethis.config != null
    prethis.ignoreList != null
    prethis.listeners != null
    prethis.myState != null
    prethis.myState.history != null
    prethis.myState.state != null
    prethis.myState.state.transitions != null
    prethis.parser != null
    prethis.serverInfo != null
    presumptionchan.channelInfo@1381 != null
    presumptionchan.config@1381 != null
    presumptionchan.listeners@1381 != null
    presumptionchan.server.parser@1381 != null
    presumptionchan.server@1381 != null
    presumptionjava.util.Iterator:next(...)@1381 != null
    presumptionjava.util.Map:values(...)@1381 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.converter)
    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
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected", &amp;"channel"}
    postthis.icon in Addr_Set{&amp;"secure-server", &amp;"server",&amp;"channel"}
    postthis.myState.state == &amp;com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#3)
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on activateFrame
    unanalyzedcall on com.dmdirc.IgnoreList:addAll
    unanalyzedcall on com.dmdirc.IgnoreList:clear
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.ServerState:name
    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:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionLi st
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    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:appError
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getIRCD
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getListChan Modes
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getUserMode String
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:joinChannel
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    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:activateFra me
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getConfigManager
    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.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:endsWith
    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:toCharArray
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    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:contains
    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.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on setIcon
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@1380: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@1381: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@1386: {0}, {1}

  • void onSocketClosed()

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #19).type != null
    pre(soft) com/dmdirc/Main.controller != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
    pre(soft) init'ed(this.awayMessage)
    pre(soft) this.channels != null
    pre(soft) this.config != null
    pre(soft) this.eventHandler != null
    pre(soft) this.eventHandler.owner != null
    pre(soft) this.eventHandler.owner.server != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.serverInfo != null
    presumptionjava.util.Arrays:asList(...)@89 init'ed
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.awayMessage)
    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
    postnew Timer(doDelayedReconnect#4) num objects == 0, if init'ed
    postnew Timer(doDelayedReconnect#4) num objects == undefined
    postthis.awayMessage == One-of{old this.awayMessage, null}
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state != null
    postthis.myState.state == One-of{old this.myState. state, &amp;com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &amp;com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#5)}
    postthis.parser == One-of{old this.parser, null}
    postthis.reconnectTimer == old this.reconnectTimer
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on addLine
    unanalyzedcall on addLineToActive
    unanalyzedcall on addLineToAll
    unanalyzedcall on close
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.Server:addLine
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
    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:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    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.AwayStateListener:onA way
    unanalyzedcall on com.dmdirc.interfaces.AwayStateListener:onB ack
    unanalyzedcall on com.dmdirc.interfaces.IconChangeListener:ic onChanged
    unanalyzedcall on com.dmdirc.interfaces.InviteListener:invite Expired
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    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.WindowManager:addWindow
    unanalyzedcall on com.dmdirc.ui.WindowManager:findCustomWindo w
    unanalyzedcall on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
    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.UIController:getWi ndow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:getConfigMa nager
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:isVisible
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:open
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:setTitle
    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 com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on despatchNotification
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getChannel
    unanalyzedcall on getChildren
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on hasChannel
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:format
    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:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    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.Collection: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:contains
    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:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:values
    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_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@1259: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@1264: {0}, {1}
    test_vectorjava.lang.Thread:holdsLock(...)@1223: {0}, {1}

  • bool ownsFrame(Window)

    • Kind Annotation Text
    pre(soft) init'ed(this.raw)
    pre(soft) this.channels != null
    pre(soft) this.queries != null
    preinit'ed(this.window)
    presumptionjava.util.Iterator:next(...)@624 != null
    presumptionjava.util.Iterator:next(...)@628 != null
    presumptionjava.util.Map:values(...)@624 != null
    postinit'ed(return_value)
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.Object:equals
    test_vectorjava.lang.Object:equals(...)@215: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@620: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@624: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@628: {0}, {1}
    test_vectorthis.raw: Addr_Set{null}, Inverse{null}
    test_vectorthis.window: Addr_Set{null}, Inverse{null}

  • bool processNotificationArg(Object, List)

    • Kind Annotation Text
    pre(soft) args != null
    postinit'ed(return_value)

  • void reconnect()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) init'ed(this.parser)
    pre(soft) init'ed(this.profile)
    pre(soft) this.channels != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parserThread != null
    pre(soft) this.reconnectTimer != null
    pre(soft) this.serverInfo != null
    prethis.config != null
    prethis.myState != null
    prethis.myState.state != null
    postinit'ed(this.parser)
    postinit'ed(this.profile)
    postnew ServerInfo(buildServerInfo#1) num objects == 0, if init'ed
    postnew ServerInfo(buildServerInfo#1) num objects == undefined
    postnew Thread(connect#5) num objects == new ServerInfo(buildServerInfo#1) num objects
    postthis.awayMessage == old this.awayMessage
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state != null
    postthis.myState.state == One-of{old this.myState. state, &amp;com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &amp;com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
    postthis.parser == old this.parser
    postthis.parserThread != null
    postthis.parserThread == old this.parserThread
    postthis.profile == old this.profile
    postthis.serverInfo != null
    postthis.serverInfo == old this.serverInfo
    unanalyzedcall on addLine
    unanalyzedcall on buildParser
    unanalyzedcall on clearChannels
    unanalyzedcall on close
    unanalyzedcall on closeChannels
    unanalyzedcall on closeQueries
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.ServerState:ordinal
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.ConfigManager:migrate
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    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.IRCParser:disconnect
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getPasswor d
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getPort
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setUseSock s
    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.ui.interfaces.ServerWindow:setAw ayIndicator
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on connect
    unanalyzedcall on disconnect
    unanalyzedcall on doCallbacks
    unanalyzedcall on getArity
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:wait
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Thread:interrupt
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on trigger
    unanalyzedcall on updateIcon

  • void reconnect(String)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) init'ed(this.parser)
    pre(soft) init'ed(this.profile)
    pre(soft) this.channels != null
    pre(soft) this.config != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parserThread != null
    pre(soft) this.reconnectTimer != null
    pre(soft) this.serverInfo != null
    prethis.myState != null
    prethis.myState.state != null
    presumptionjava.util.Arrays:asList(...)@89 init'ed
    postinit'ed(this.parser)
    postinit'ed(this.profile)
    postnew ServerInfo(buildServerInfo#1) num objects == 0, if init'ed
    postnew ServerInfo(buildServerInfo#1) num objects == undefined
    postnew Thread(connect#5) num objects == new ServerInfo(buildServerInfo#1) num objects
    postthis.awayMessage == old this.awayMessage
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state != null
    postthis.myState.state == One-of{old this.myState. state, &amp;com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#7), &amp;com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#9)}
    postthis.parser == old this.parser
    postthis.parserThread != null
    postthis.parserThread == old this.parserThread
    postthis.profile == old this.profile
    postthis.serverInfo != null
    postthis.serverInfo == old this.serverInfo
    unanalyzedcall on clearChannels
    unanalyzedcall on close
    unanalyzedcall on closeChannels
    unanalyzedcall on closeQueries
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.ServerState:ordinal
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    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.parser.irc.IRCParser:disconnect
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    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.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Thread:interrupt
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on updateIcon

  • void removeAwayStateListener(AwayStateListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void removeInvite(Invite)

    • Kind Annotation Text
    prethis.invites != null
    prethis.listeners != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@1581 != null
    presumptionjava.util.Iterator:next(...)@1581 != null
    test_vectorjava.util.Iterator:hasNext(...)@1581: {1}, {0}

  • void removeInviteListener(InviteListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void removeInvites()

    • Kind Annotation Text
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    presumptionjava.util.ArrayList:iterator(...)@1566 != null
    unanalyzedcall on com.dmdirc.interfaces.InviteListener:invite Expired
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    test_vectorjava.util.Iterator:hasNext(...)@1566: {0}, {1}

  • void removeInvites(String)

    • Kind Annotation Text
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    presumptioninvite.channel@1555 != null
    presumptionjava.util.ArrayList:iterator(...)@1555 != null
    presumptionjava.util.Iterator:next(...)@1555 != null
    unanalyzedcall on com.dmdirc.interfaces.InviteListener:invite Expired
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    test_vectorjava.lang.String:equals(...)@1556: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@1555: {0}, {1}

  • void run()

    • Kind Annotation Text
    prethis.channels != null
    presumptionchannel.channelInfo@226 != null
    presumptionchannel.server.parser@226 != null
    presumptionchannel.server@226 != null
    presumptionjava.util.Iterator:next(...)@226 != null
    presumptionjava.util.Map:values(...)@226 != null
    unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getName
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:sendLine
    unanalyzedcall on getParser
    test_vectorjava.util.Iterator:hasNext(...)@226: {0}, {1}

  • void run()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) init'ed(this.parser)
    pre(soft) init'ed(this.profile)
    pre(soft) this.channels != null
    pre(soft) this.config != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.history != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parserThread != null
    pre(soft) this.reconnectTimer != null
    pre(soft) this.serverInfo != null
    preinit'ed(this.myState.state)
    prethis.myState != null
    presumptionjava.util.Arrays:asList(...)@89 != null
    postinit'ed(this.myState.state)
    postinit'ed(this.parser)
    postinit'ed(this.profile)
    postthis.awayMessage == old this.awayMessage
    postthis.icon == One-of{old this.icon, &amp;"server-dis connected"}
    postthis.parser == old this.parser
    postthis.parserThread == old this.parserThread
    postthis.profile == old this.profile
    postthis.serverInfo == old this.serverInfo
    unanalyzedcall on addLine
    unanalyzedcall on buildParser
    unanalyzedcall on clearChannels
    unanalyzedcall on close
    unanalyzedcall on closeChannels
    unanalyzedcall on closeQueries
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.ServerState:ordinal
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.ConfigManager:migrate
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    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.IRCParser:disconnect
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getPasswor d
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getPort
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyHo st
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPa ss
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyPo rt
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setProxyUs er
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setSSL
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:setUseSock s
    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.ui.interfaces.ServerWindow:setAw ayIndicator
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on connect
    unanalyzedcall on disconnect
    unanalyzedcall on doCallbacks
    unanalyzedcall on getArity
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:wait
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Thread:interrupt
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on reconnect
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on trigger
    unanalyzedcall on updateIcon

  • void run()

    • Kind Annotation Text

  • void saveIgnoreList()

    • Kind Annotation Text
    preinit'ed(this.ignoreList.ignoreInfo)
    prethis.ignoreList != null
    prethis.parser != null
    presumptioncom.dmdirc.config.IdentityManager:getNetworkConfig( ...)@1497 != null
    unanalyzedcall on com.dmdirc.config.IdentityManager:getNetwor kConfig
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getServerNa me
    unanalyzedcall on getNetwork
    unanalyzedcall on java.lang.IllegalStateException
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.util.ArrayList

  • void sendCTCPReply(String, String, String)

    • Kind Annotation Text
    pre(soft) this.config != null
    pre(soft) this.parser != null
    pretype != null
    test_vectorjava.lang.String:equalsIgnoreCase(...)@1088: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@1092: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@1094: {0}, {1}

  • void sendLine(String)

    • Kind Annotation Text
    pre(soft) init'ed(this.myState.state)
    pre(soft) this.myState != null
    pre(soft) this.window != null
    preinit'ed(this.parser)
    presumptioncom.dmdirc.ui.interfaces.ServerWindow:getTranscoder (...)@827 != null

  • void setActiveFrame(FrameContainer)

    • Kind Annotation Text
    postinit'ed(this.activeFrame)
    postthis.activeFrame == source

  • String toString()

    • Kind Annotation Text
    prethis.serverInfo != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getHost

  • void updateAwayState(String)

    • Kind Annotation Text
    pre(soft) this.listeners != null
    preinit'ed(this.awayMessage)
    presumptioncom.dmdirc.util.ListenerList:get(...)@1638 != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@1642 != null
    presumptionjava.util.Iterator:next(...)@1638 != null
    presumptionjava.util.Iterator:next(...)@1642 != null
    postinit'ed(this.awayMessage)
    postthis.awayMessage == One-of{old this.awayMessage, message}
    test_vectorjava.lang.String:equals(...)@1629: {1}, {0}
    test_vectormessage: Inverse{null}, Addr_Set{null}
    test_vectorthis.awayMessage: Addr_Set{null}, Inverse{null}

  • void updateIcon()

    • Kind Annotation Text
    pre(soft) this.serverInfo != null
    preinit'ed(this.myState.state)
    prethis.config != null
    prethis.listeners != null
    prethis.myState != null
    postthis.icon == One-of{&amp;"secure-server", &amp;"server", &amp;"server-disconnected"}
    postthis.icon in Addr_Set{&amp;"server-disconnected", &amp;"server",&amp;"secure-server"}
    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 updateIgnoreList()

    • Kind Annotation Text
    prethis.config != null
    prethis.ignoreList != null

  • void windowClosing()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
    pre(soft) this.config != null
    pre(soft) this.eventHandler.owner.server != null
    pre(soft) this.invites != null
    pre(soft) this.listeners != null
    pre(soft) this.myState.state != null
    pre(soft) this.myState.state.transitions != null
    pre(soft) this.parserThread != null
    pre(soft) this.reconnectTimer != null
    pre(soft) this.serverInfo != null
    preinit'ed(com/dmdirc/ServerManager.me)
    preinit'ed(this.parser)
    preinit'ed(this.raw)
    prethis.channels != null
    prethis.eventHandler != null
    prethis.eventHandler.owner != null
    prethis.myState != null
    prethis.myState.history != null
    prethis.window != null
    presumptiongetServerManager(...).servers != null
    presumptionjava.util.Arrays:asList(...)@89 != null
    postcom/dmdirc/ServerManager.me != null
    postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &amp;new ServerManager(getServerManager#1)}
    postnew ArrayList(ServerManager#1) num objects <= 1
    postnew ServerManager(getServerManager#1) num objects <= 1
    postnew ServerManager(getServerManager#1).servers == &amp;new ArrayList(ServerManager#1)
    postthis.icon == One-of{old this.icon, &amp;"secure-ser ver", &amp;"server", &amp;"server-disconnected"}
    postthis.myState.state == &amp;com.dmdirc.ServerState__ static_init.new ServerState(ServerState__static_ini t#13)
    postthis.parser == null
    postthis.window == null
    unanalyzedcall on clearChannels
    unanalyzedcall on close
    unanalyzedcall on closeChannels
    unanalyzedcall on closeQueries
    unanalyzedcall on com.dmdirc.ServerState:name
    unanalyzedcall on com.dmdirc.ServerState:ordinal
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    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.parser.irc.IRCParser:disconnect
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getCallback Manager
    unanalyzedcall on com.dmdirc.parser.irc.ServerInfo:getSSL
    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.interfaces.ChannelWindow:upda teNames
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:close
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.RollingList:add
    unanalyzedcall on com.dmdirc.util.RollingList:getList
    unanalyzedcall on getConfigManager
    unanalyzedcall on getFrame
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getName
    unanalyzedcall on java.lang.Thread:getStackTrace
    unanalyzedcall on java.lang.Thread:interrupt
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on removeInvites
    unanalyzedcall on setIcon
    unanalyzedcall on updateIcon
    test_vectorcom.dmdirc.parser.irc.IRCParser:isReady(...)@1019: {0}, {1}
    test_vectorthis.parser: Addr_Set{null}, Inverse{null}
    test_vectorthis.raw: Addr_Set{null}, Inverse{null}