WritableFrameContainer.java

WritableFrameContainer.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.WritableFrameContainer(String, ConfigManager)

Kind	Annotation Text
pre	config != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	init'ed(this.icon)
post	init'ed(this.notification)
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.config == config
post	this.icon == icon
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator

com.dmdirc.WritableFrameContainer__static_init

Kind	Annotation Text
post	NOTIFICATION_CHANNEL != null
post	NOTIFICATION_SERVER != null

void despatchNotification(String, String, Object[])

Kind	Annotation Text
pre	(soft) args != null
pre	(soft) args.length <= 2³²-1
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(args[...])
pre	(soft) this.config != null
pre	messageTarget != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@227 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@279 != null
presumption	getFrame(...)@279 != null
presumption	getServer(...).channels@245 != null
presumption	getServer(...).channels@276 != null
presumption	getServer(...).channels@291 != null
presumption	getServer(...).channels@292 != null
presumption	getServer(...).converter@291 != null
presumption	getServer(...).converter@292 != null
presumption	getServer(...).queries@245 != null
presumption	getServer(...).window@255 != null
presumption	getServer(...)@243 != null
presumption	getServer(...)@245 != null
presumption	getServer(...)@247 != null
presumption	getServer(...)@251 != null
presumption	getServer(...)@255 != null
presumption	getServer(...)@276 != null
presumption	getServer(...)@291 != null
presumption	getServer(...)@292 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.lang.String:length(...)@223 <= 4_294_967_287
presumption	java.util.Iterator:next(...)@278 != null
presumption	java.util.Map:get(...)@455 != null
unanalyzed	call on addLine
unanalyzed	call on addLineToActive
unanalyzed	call on addLineToAll
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on despatchNotification
unanalyzed	call on getChannel
unanalyzed	call on getChildren
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on getServer
unanalyzed	call on getUI
unanalyzed	call on hasChannel
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:values
test_vector	com.dmdirc.ui.WindowManager:findCustomWindow(... )@251: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@240: {0}, {1}
test_vector	java.lang.String:equals(...)@242: {0}, {1}
test_vector	java.lang.String:equals(...)@244: {0}, {1}
test_vector	java.lang.String:equals(...)@246: {0}, {1}
test_vector	java.lang.String:equals(...)@299: {1}, {0}
test_vector	java.lang.String:startsWith(...)@220: {0}, {1}
test_vector	java.lang.String:startsWith(...)@226: {0}, {1}
test_vector	java.lang.String:startsWith(...)@232: {0}, {1}
test_vector	java.lang.String:startsWith(...)@248: {0}, {1}
test_vector	java.lang.String:startsWith(...)@260: {0}, {1}
test_vector	java.lang.String:startsWith(...)@288: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@278: {0}, {1}
test_vector	java.util.Map:containsKey(...)@445: {0}, {1}

void doNotification(String, ActionType, Object[])

Kind	Annotation Text
pre	(soft) actionType.type != null
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(args[...])
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	actionType != null
pre	args != null
pre	args.length <= 2³²-1
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	this.config != null
presumption	java.util.List:toArray(...).length@168 <= 2³²-1
presumption	java.util.List:toArray(...)@166 != null
presumption	java.util.List:toArray(...)@168 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == null
post	new ServerManager(getServerManager#1).servers == undefined
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on addLine
unanalyzed	call on addLineToActive
unanalyzed	call on addLineToAll
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Map
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:ins tanceof
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHostF ull
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getHex
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on despatchNotification
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on doServerSubstitutions
unanalyzed	call on evaluate
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on getArity
unanalyzed	call on getChannel
unanalyzed	call on getChildren
unanalyzed	call on getCompatibleComponents
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getType
unanalyzed	call on getUI
unanalyzed	call on hasChannel
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on parseStack
unanalyzed	call on processNotificationArg
unanalyzed	call on readTerm
unanalyzed	call on test
unanalyzed	call on trigger
unanalyzed	call on triggerActions

Window getFrame()

Kind	Annotation Text
post	init'ed(return_value)

int getNumLines(String)

Kind	Annotation Text
pre	line != null
post	return_value == 0

void handleNotification(String, Object[])

Kind	Annotation Text
pre	(soft) args != null
pre	(soft) args.length <= 2³²-1
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(args[...])
pre	this.config != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@202 != null
unanalyzed	call on addLine
unanalyzed	call on addLineToActive
unanalyzed	call on addLineToAll
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on despatchNotification
unanalyzed	call on getChannel
unanalyzed	call on getChildren
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on getServer
unanalyzed	call on getUI
unanalyzed	call on hasChannel
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:values

void modifyNotificationArgs(List, List)

Kind	Annotation Text

bool processNotificationArg(Object, List)

Kind	Annotation Text
post	return_value == 0

List splitLine(String)

Kind	Annotation Text
pre	line != null
presumption	java.lang.Math:min(...)@103 >= -2³¹+1
post	new ArrayList(splitLine#1) num objects == 1
post	return_value == &new ArrayList(splitLine#1)
unanalyzed	call on getMaxLineLength
unanalyzed	call on java.lang.Math:min
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on splitLine
test_vector	java.lang.String:indexOf(...)@95: {-2³¹.. -1}, {0..2³²-1}