Query.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void activateFrame()

    • Kind Annotation Text
    preinit'ed(this.window)
    unanalyzedcall on com.dmdirc.ui.interfaces.QueryWindow:open
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:activateFra me
    unanalyzedcall on getFrame
    test_vectorcom.dmdirc.ui.interfaces.QueryWindow:isVisible(... )@373: {1}, {0}
    test_vectorthis.window: Inverse{null}, Addr_Set{null}

  • void com.dmdirc.Query(Server, String)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #61).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    precom/dmdirc/Main.controller != null
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(newServer.window)
    prenewServer != null
    prenewServer.parser != null
    presumptioncom.dmdirc.Server:getConfigManager(...)@83 != null
    presumptioncom.dmdirc.Server:getConfigManager(...)@93 != null
    presumptioncom.dmdirc.ui.interfaces.QueryWindow:getInputHandle r(...)@102 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getQuery(... )@88 != null
    presumptioninit'ed(com.dmdirc.commandparser.CommandType.TYPE_ CHAT)
    presumptioninit'ed(com.dmdirc.commandparser.CommandType.TYPE_ QUERY)
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
    presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.host)
    postinit'ed(this.notification)
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ArrayList(ServerManager#1) num objects == undefined
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects == 1
    postnew ListenerList(FrameContainer#1) num objects == 1
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == null
    postnew ServerManager(getServerManager#1).servers == undefined
    postnew TabCompleter(Query#2) num objects == 1
    postthis.changer == &new FrameContainer$IconChanger (FrameContainer#2)
    postthis.config != null
    postthis.host == newHost
    postthis.icon == &"query"
    postthis.listeners == &new ListenerList(FrameContai ner#1)
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    postthis.server != null
    postthis.server == newServer
    postthis.tabCompleter == &new TabCompleter(Query#2)
    postthis.window != null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.WritableFrameContainer
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.ConfigManager: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.ClientInfo:parseHost
    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.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.QueryWindow:setTit le
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getParser
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@93: {1}, {0}

  • com.dmdirc.Query__static_init

    • Kind Annotation Text

  • 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

  • String getHost()

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

  • int getMaxLineLength()

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

  • String getNickname()

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

  • Server getServer()

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

  • TabCompleter getTabCompleter()

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

  • void onNickChanged(IRCParser, ClientInfo, String)

    • Kind Annotation Text
    pre(soft) cClient != null
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #68).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
    pre(soft) this.server != null
    pre(soft) this.server.parser != null
    pre(soft) this.server.tabCompleter != null
    pre(soft) this.window != null
    preinit'ed(this.host)
    presOldNick != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@258 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. QUERY_NICK)
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(this.host)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    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.host == One-of{old this.host, &java.lang. StringBuilder:toString(...)}
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:parseHost
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.QueryWindow:setTit le
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:addLine
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorjava.lang.String:equals(...)@257: {0}, {1}

  • void onPrivateAction(IRCParser, String, String)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #64).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(this.host)
    presumptioncom.dmdirc.parser.irc.ClientInfo:parseHostFull(... )@219 != null
    presumptionparts.length@219 >= 3
    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 com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.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.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions

  • void onPrivateMessage(IRCParser, String, String)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #63).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    presumptioncom.dmdirc.parser.irc.ClientInfo:parseHostFull(... )@200 != null
    presumptionparts.length@200 >= 3
    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 com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.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.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions

  • void onQuit(IRCParser, ClientInfo, String)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #67).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
    pre(soft) sReason != null
    precClient != null
    preinit'ed(this.host)
    presumptioncom.dmdirc.parser.irc.ClientInfo:getNickname(... )@288 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1).servers == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.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.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorjava.lang.String:equals(...)@288: {0}, {1}

  • void reregister()

    • Kind Annotation Text
    pre(soft) init'ed(this.host)
    prethis.server != null
    prethis.server.parser != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@241 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)

  • void sendAction(String)

    • Kind Annotation Text
    pre(soft) action != null
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #66).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
    pre(soft) init'ed(this.host)
    pre(soft) this.server.parser != null
    pre(soft) this.window != null
    preinit'ed(this.server.myState.state)
    prethis.server != null
    prethis.server.myState != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@173 != null
    presumptioncom.dmdirc.ui.interfaces.QueryWindow:getTranscoder( ...)@177 != null
    presumptioncom.dmdirc.ui.interfaces.QueryWindow:getTranscoder( ...)@183 != null
    presumptionjava.awt.Toolkit:getDefaultToolkit(...)@169 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1) num objects == 0, if init'ed
    postnew ServerManager(getServerManager#1).servers == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.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.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions

  • void sendLine(String)

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #65).type != null
    pre(soft) init'ed(com/dmdirc/actions/ActionManager. killSwitch)
    pre(soft) init'ed(this.host)
    pre(soft) this.server.parser != null
    pre(soft) this.window != null
    preinit'ed(this.server.myState.state)
    prethis.server != null
    prethis.server.myState != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getMyself(...)@139 != null
    presumptioncom.dmdirc.ui.interfaces.QueryWindow:getTranscoder( ...)@141 != null
    presumptioncom.dmdirc.util.StringTranscoder:encode(...)@141 != null
    presumptionjava.awt.Toolkit:getDefaultToolkit(...)@135 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postinit'ed(new ArrayList(ServerManager#1) num objects)
    postinit'ed(new ServerManager(getServerManager#1) num objects)
    postnew ServerManager(getServerManager#1).servers == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.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.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getMaxLineLength
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Math:min
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:getBytes
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on splitLine
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorjava.util.Iterator:hasNext(...)@141: {0}, {1}

  • void show()

    • Kind Annotation Text
    prethis.window != null

  • String toString()

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

  • void updateTitle()

    • Kind Annotation Text
    preinit'ed(this.host)
    prethis.window != null

  • void windowClosing()

    • Kind Annotation Text
    pre(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #62).type != null
    pre(soft) init'ed(com/dmdirc/ServerManager.me)
    pre(soft) init'ed(this.host)
    pre(soft) init'ed(this.server.parser)
    pre(soft) this.server.queries != null
    pre(soft) this.server.tabCompleter != null
    preinit'ed(com/dmdirc/actions/ActionManager. killSwitch)
    preinit'ed(this.server)
    prethis.window != null
    presumptioncom.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@317 != null
    postcom/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
    postnew ArrayList(ServerManager#1) num objects == 0, if init'ed
    postnew ArrayList(ServerManager#1) num objects == undefined
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == null
    postnew ServerManager(getServerManager#1).servers == undefined
    postthis.server == null
    postthis.window == null
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
    unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.interfaces.ActionListener:proces sEvent
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.parser.irc.ClientInfo:parseHost
    unanalyzedcall on com.dmdirc.ui.input.TabCompleter:removeEntr y
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
    unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:instan ceof
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on evaluate
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getArity
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getFrame
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on getUI
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:instanceof
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayDeque
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Deque:add
    unanalyzedcall on java.util.Deque:addFirst
    unanalyzedcall on java.util.Deque:isEmpty
    unanalyzedcall on java.util.Deque:poll
    unanalyzedcall on java.util.Deque:pollFirst
    unanalyzedcall on java.util.Deque:pollLast
    unanalyzedcall on java.util.Deque:size
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseStack
    unanalyzedcall on readTerm
    unanalyzedcall on test
    unanalyzedcall on trigger
    unanalyzedcall on triggerActions
    test_vectorthis.server.parser: Addr_Set{null}, Inverse{null}
    test_vectorthis.server: Addr_Set{null}, Inverse{null}