WindowStatusPlugin.java

WindowStatusPlugin.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.windowstatus.WindowStatusPlugin()

Kind	Annotation Text
post	new JLabel(WindowStatusPanel#1) num objects == 1
post	new WindowStatusPanel(WindowStatusPlugin#1) num objects == 1
post	this.panel == &new WindowStatusPanel(WindowStat usPlugin#1)
post	this.panel.label == &new JLabel(WindowStatusPan el#1)
unanalyzed	call on com.dmdirc.addons.windowstatus. WindowStatusPanel:add
unanalyzed	call on com.dmdirc.addons.windowstatus. WindowStatusPanel:setBorder
unanalyzed	call on com.dmdirc.addons.windowstatus. WindowStatusPanel:setLayout
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.windowstatus.WindowStatusPlugin__static_init

Kind	Annotation Text

void onLoad()

Kind	Annotation Text
presumption	com.dmdirc.Main:getUI(...)@71 != null
presumption	com.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@71 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on updateStatus

void onUnload()

Kind	Annotation Text
presumption	com.dmdirc.Main:getUI(...)@82 != null
presumption	com.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@82 != null

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) arguments != null
pre	(soft) arguments.length >= 1
pre	(soft) init'ed(arguments[0])
pre	type != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
test_vector	java.lang.Object:equals(...)@95: {0}, {1}

void showConfig(PreferencesManager)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	manager != null
pre	manager.categories != null
presumption	category.isInline@198 == 1
presumption	getCategory(...).subcats@208 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
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:put

void updateStatus()

Kind	Annotation Text
presumption	com.dmdirc.Main:getUI(...)@104 != null
test_vector	com.dmdirc.ui.interfaces.UIController:getActiveWind ow(...)@104: Addr_Set{null}, Inverse{null}

void updateStatus(FrameContainer)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) this.panel != null
pre	(soft) this.panel.label != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@126 != null
presumption	com.dmdirc.Query:getServer(...)@176 != null
presumption	com.dmdirc.Query:getServer(...)@177 != null
presumption	com.dmdirc.Server:getParser(...)@177 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getImportan tModePrefix(...)@137 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getChannelClients (...)@133 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getRealName(... )@179 != null
presumption	getGlobalConfig(...).sources != null
presumption	java.lang.Integer:intValue(...)@158 <= 2³²-2
presumption	java.util.Iterator:next(...)@133 != null
presumption	java.util.Iterator:next(...)@165 != null
presumption	java.util.Map:entrySet(...)@165 != null
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	init'ed(new ArrayList(getSources#1) num objects)
post	init'ed(new ConfigManager(getGlobalConfig#1) num objects)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	init'ed(new MapList(ConfigManager#1) num objects)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects <= 1
post	new MapList(ConfigManager#1) num objects == 0
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
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:put
unanalyzed	call on javax.swing.JLabel:setText
test_vector	com.dmdirc.Channel:instanceof(...)@124: {0}, {1}
test_vector	com.dmdirc.Query:instanceof(...)@172: {0}, {1}
test_vector	com.dmdirc.Server:getParser(...)@176: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.Server:instanceof(...)@120: {0}, {1}
test_vector	com.dmdirc.parser.irc.IRCParser:getClientInfo(... )@177: Addr_Set{null}, Inverse{null}
test_vector	current: Inverse{null}, Addr_Set{null}
test_vector	java.lang.Boolean:parseBoolean(...)@159: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@139: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@180: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@133: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@165: {0}, {1}
test_vector	java.util.Map:containsKey(...)@136: {1}, {0}
test_vector	java.util.Map:get(...)@153: Inverse{null}, Addr_Set{null}