Messages

method

com.dmdirc.GlobalWindow__static_init

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

method	void com.dmdirc.GlobalWindow()
pre	com/dmdirc/Main.controller != null
pre	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
presumption	init'ed(com.dmdirc.commandparser.CommandType.TYPE_ GLOBAL)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@53 != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
presumption	com.dmdirc.ui.interfaces.InputWindow:getInputHandle r(...)@64 != null
presumption	com.dmdirc.ui.interfaces.UIController:getInputWindo w(...)@61 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	com/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &new AliasWrapper(getAliasWrapper#1)}
post	com/dmdirc/actions/wrappers/AliasWrapper.me != null
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.icon == &"icon"
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	this.tabCompleter == &new TabCompleter(GlobalWi ndow#1)
post	this.window != null
post	new AliasWrapper(getAliasWrapper#1) num objects <= 1
post	new ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new AliasWrapper(getAliasWrapper#1).actions == &new ArrayList(ActionGroup#1)
post	new AliasWrapper(getAliasWrapper#1).aliases == &new ArrayList(AliasWrapper#1)
post	new AliasWrapper(getAliasWrapper#1).author == null
post	new AliasWrapper(getAliasWrapper#1).description == null
post	new AliasWrapper(getAliasWrapper#1).component == -1
post	new AliasWrapper(getAliasWrapper#1).version == -1
post	new AliasWrapper(getAliasWrapper#1).name == &"aliases"
post	new AliasWrapper(getAliasWrapper#1).settings == &new HashMap(ActionGroup#2)
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	new TabCompleter(GlobalWindow#1) num objects == 1
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

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

method not available - call not analyzed Info call on List com.dmdirc.commandparser. CommandManager:getCommandNames(CommandType)

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

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

method not available - call not analyzed Info call on GlobalCommandParser com.dmdirc. commandparser.parsers.GlobalCommandParser:getGlobal CommandParser()

method not available - call not analyzed Info call on InputWindow com.dmdirc.ui.interfaces. UIController:getInputWindow(WritableFrameContainer, CommandParser)

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

method not available - call not analyzed Info call on InputHandler com.dmdirc.ui.interfaces. InputWindow:getInputHandler()

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

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:addWindow( Window)

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

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

method	String toString()
post	return_value == &"Global"

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

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputWindow:setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:removeWind ow(Window)

method	Server getServer()
post	return_value == null

method	void sendLine(String)
presumption	com.dmdirc.commandparser.parsers.GlobalCommandParse r:getGlobalCommandParser(...)@109 != null

method not available - call not analyzed Info call on GlobalCommandParser com.dmdirc. commandparser.parsers.GlobalCommandParser:getGlobal CommandParser()

method not available - call not analyzed Info call on char com.dmdirc.commandparser. CommandManager:getCommandChar()

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. GlobalCommandParser:parseCommand(InputWindow, String)

method	int getMaxLineLength()
post	return_value == -1

method	TabCompleter getTabCompleter()
post	return_value == this.tabCompleter
post	init'ed(return_value)

method	void init()
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/actions/wrappers/AliasWra pper.me)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@132 != null
post	com/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &new AliasWrapper(getAliasWrapper#1)}
post	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
post	globalWindow == One-of{old globalWindow, &new GlobalWindow(init#1)}
post	new AliasWrapper(getAliasWrapper#1) num objects <= 1
post	init'ed(new AliasWrapper(getAliasWrapper#1). actions)
post	init'ed(new AliasWrapper(getAliasWrapper#1). aliases)
post	init'ed(new AliasWrapper(getAliasWrapper#1). author)
post	init'ed(new AliasWrapper(getAliasWrapper#1). component)
post	init'ed(new AliasWrapper(getAliasWrapper#1). description)
post	init'ed(new AliasWrapper(getAliasWrapper#1).name)
post	init'ed(new AliasWrapper(getAliasWrapper#1). settings)
post	init'ed(new AliasWrapper(getAliasWrapper#1). version)
post	new ArrayList(ActionGroup#1) num objects <= 1
post	new ArrayList(AliasWrapper#1) num objects <= 1
post	new FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new GlobalWindow(init#1) num objects <= 1
post	init'ed(new GlobalWindow(init#1).changer)
post	init'ed(new GlobalWindow(init#1).config)
post	init'ed(new GlobalWindow(init#1).icon)
post	init'ed(new GlobalWindow(init#1).listeners)
post	init'ed(new GlobalWindow(init#1).notification)
post	init'ed(new GlobalWindow(init#1).tabCompleter)
post	init'ed(new GlobalWindow(init#1).window)
post	new HashMap(ActionGroup#2) num objects <= 1
post	new ListenerList(FrameContainer#1) num objects <= 1
post	new TabCompleter(GlobalWindow#1) num objects <= 1
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getIn putWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@132: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

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

method	GlobalWindow getGlobalWindow()
pre	init'ed(globalWindow)
post	return_value == globalWindow
post	init'ed(return_value)

	method not available - call not analyzed	Info	call on List com.dmdirc.commandparser. CommandManager:getCommandNames(CommandType)
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.input.TabCompleter:addEn tries(TabCompletionType, List)

	method not available - call not analyzed	Info	call on GlobalCommandParser com.dmdirc. commandparser.parsers.GlobalCommandParser:getGlobal CommandParser()
	method not available - call not analyzed	Info	call on InputWindow com.dmdirc.ui.interfaces. UIController:getInputWindow(WritableFrameContainer, CommandParser)

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

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