GlobalWindow.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.GlobalWindow()

    • Kind Annotation Text
    precom/dmdirc/Main.controller != null
    preinit'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@53 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getInputHandle r(...)@64 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getInputWindo w(...)@61 != null
    presumptioninit'ed(com.dmdirc.commandparser.CommandType.TYPE_ GLOBAL)
    presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
    presumptioninit'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
    postcom/dmdirc/actions/wrappers/AliasWrapper.me != null
    postcom/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &new AliasWrapper(getAliasWrapper#1)}
    postinit'ed(this.notification)
    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 FrameContainer$IconChanger(FrameContainer#2) num objects == 1
    postnew HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
    postnew ListenerList(FrameContainer#1) num objects == 1
    postnew TabCompleter(GlobalWindow#1) num objects == 1
    postthis.changer == &amp;new FrameContainer$IconChanger (FrameContainer#2)
    postthis.config != null
    postthis.icon == &amp;"icon"
    postthis.listeners == &amp;new ListenerList(FrameContai ner#1)
    postthis.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
    postthis.tabCompleter == &amp;new TabCompleter(GlobalWi ndow#1)
    postthis.window != null
    unanalyzedcall on com.dmdirc.FrameContainer
    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.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.util.ListenerList
    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.HashMap
    unanalyzedcall on java.util.List:iterator

  • com.dmdirc.GlobalWindow__static_init

    • Kind Annotation Text

  • InputWindow getFrame()

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

  • Window getFrame()

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

  • GlobalWindow getGlobalWindow()

    • Kind Annotation Text
    preinit'ed(globalWindow)
    postinit'ed(return_value)
    postreturn_value == globalWindow

  • int getMaxLineLength()

    • Kind Annotation Text
    postreturn_value == -1

  • Server getServer()

    • Kind Annotation Text
    postreturn_value == null

  • TabCompleter getTabCompleter()

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

  • void init()

    • Kind Annotation Text
    pre(soft) com/dmdirc/Main.controller != null
    pre(soft) init'ed(com/dmdirc/actions/wrappers/AliasWra pper.me)
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@132 != null
    postcom/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &amp;new AliasWrapper(getAliasWrapper#1)}
    postglobalWindow == One-of{old globalWindow, &amp;new GlobalWindow(init#1)}
    postinit'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
    postinit'ed(new AliasWrapper(getAliasWrapper#1). actions)
    postinit'ed(new AliasWrapper(getAliasWrapper#1). aliases)
    postinit'ed(new AliasWrapper(getAliasWrapper#1). author)
    postinit'ed(new AliasWrapper(getAliasWrapper#1). component)
    postinit'ed(new AliasWrapper(getAliasWrapper#1). description)
    postinit'ed(new AliasWrapper(getAliasWrapper#1).name)
    postinit'ed(new AliasWrapper(getAliasWrapper#1). settings)
    postinit'ed(new AliasWrapper(getAliasWrapper#1). version)
    postinit'ed(new GlobalWindow(init#1).changer)
    postinit'ed(new GlobalWindow(init#1).config)
    postinit'ed(new GlobalWindow(init#1).icon)
    postinit'ed(new GlobalWindow(init#1).listeners)
    postinit'ed(new GlobalWindow(init#1).notification)
    postinit'ed(new GlobalWindow(init#1).tabCompleter)
    postinit'ed(new GlobalWindow(init#1).window)
    postnew AliasWrapper(getAliasWrapper#1) num objects <= 1
    postnew ArrayList(ActionGroup#1) num objects <= 1
    postnew ArrayList(AliasWrapper#1) num objects <= 1
    postnew FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
    postnew GlobalWindow(init#1) num objects <= 1
    postnew HashMap(ActionGroup#2) num objects <= 1
    postnew ListenerList(FrameContainer#1) num objects <= 1
    postnew TabCompleter(GlobalWindow#1) num objects <= 1
    unanalyzedcall on com.dmdirc.FrameContainer
    unanalyzedcall on com.dmdirc.WritableFrameContainer
    unanalyzedcall on com.dmdirc.actions.ActionGroup
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:get CommandNames
    unanalyzedcall on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:removeListe ner
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    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.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: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.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on getFrame
    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:iterator
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@132: {0}, {1}

  • void sendLine(String)

    • Kind Annotation Text
    presumptioncom.dmdirc.commandparser.parsers.GlobalCommandParse r:getGlobalCommandParser(...)@109 != null

  • String toString()

    • Kind Annotation Text
    postreturn_value == &amp;"Global"

  • void windowClosing()

    • Kind Annotation Text
    prethis.window != null