LagDisplayPlugin.java

LagDisplayPlugin.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.lagdisplay.LagDisplayPlugin()

Kind	Annotation Text
post	new HashMap(LagDisplayPlugin#3) num objects == 1
post	new LagDisplayPanel(LagDisplayPlugin#1) num objects == 1
post	new WeakHashMap(LagDisplayPlugin#2) num objects == 1
post	this.history == &new HashMap(LagDisplayPlugin#3 )
post	this.historySize == 100
post	this.panel == &new LagDisplayPanel(LagDisplayPl ugin#1)
post	this.panel.plugin != null
post	this.panel.plugin == this
post	this.pings == &new WeakHashMap(LagDisplayPlugin #2)
post	this.showGraph == 1
post	this.showLabels == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel

com.dmdirc.addons.lagdisplay.LagDisplayPlugin__static_init

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
post	init'ed(this.historySize)
post	init'ed(this.showGraph)
post	init'ed(this.showLabels)
unanalyzed	call on com.dmdirc.addons.lagdisplay. LagDisplayPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config

String formatTime(Object)

Kind	Annotation Text
pre	object != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
test_vector	java.lang.Long:longValue(...)@252: {-9_223_372_036_ 854_775_808..9_999}, {10_000..18_446_744_073_709_55 1_615}

RollingList getHistory(Server)

Kind	Annotation Text
pre	(soft) init'ed(this.historySize)
pre	this.history != null
post	init'ed(return_value)
test_vector	java.util.Map:containsKey(...)@111: {1}, {0}

String getTime(Server)

Kind	Annotation Text
pre	this.pings != null
post	init'ed(return_value)

void onLoad()

Kind	Annotation Text
pre	com/dmdirc/Main.controller != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@83 != null
presumption	com.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@82 != null
post	init'ed(this.historySize)
post	init'ed(this.showGraph)
post	init'ed(this.showLabels)
unanalyzed	call on com.dmdirc.addons.lagdisplay. LagDisplayPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.util.MapList:add

void onUnload()

Kind	Annotation Text
pre	com/dmdirc/Main.controller != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@142 != null
presumption	com.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@141 != null
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) arguments.length in {3..2³²-1}
pre	(soft) arguments[0] != null
pre	(soft) arguments[0].channels != null
pre	(soft) arguments[0].parser != null
pre	(soft) arguments[0].queries != null
pre	(soft) arguments[1] != null
pre	(soft) arguments[2] != null
pre	(soft) arguments[2].length >= 4
pre	(soft) arguments[2][3] != null
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(arguments[0].raw)
pre	(soft) init'ed(arguments[0].window)
pre	(soft) init'ed(arguments[...])
pre	(soft) init'ed(this.historySize)
pre	(soft) this.history != null
pre	(soft) this.panel != null
pre	(soft) this.pings != null
pre	arguments != null
pre	type != null
presumption	getServer(...).myState@198 != null
presumption	getServer(...)@198 != null
presumption	java.lang.Long:valueOf(...)@212 != null
presumption	java.util.Date:getTime(...)@212 - java.lang. Long:parseLong(...)@211 in {-9_223_372_036_854_775_ 808..2⁶⁴-1}
presumption	java.util.Map:get(...)@115 != null
unanalyzed	call on com.dmdirc.util.RollingList
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.lang.Math:round
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.Collection:iterator
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 java.util.Map:values
unanalyzed	call on ownsFrame
test_vector	arguments[...].config: Addr_Set{null}, Inverse{null}
test_vector	format: Addr_Set{null}, Inverse{null}
test_vector	getServer(...).myState.state@198: Addr_ Set{&com.dmdirc.ServerState__static_init.new ServerState(ServerState__static_init#3)}, Inverse{&com.dmdirc.ServerState__static_init. new ServerState(ServerState__static_init#3)}
test_vector	getServer(...)@196: Inverse{null}, Addr_Set{null}
test_vector	java.lang.Integer:intValue(...)@207: {-2³¹..420, 422..2³²-1}, {421}
test_vector	java.lang.Object:equals(...)@162: {0}, {1}
test_vector	java.lang.Object:equals(...)@174: {0}, {1}
test_vector	java.lang.Object:equals(...)@185: {0}, {1}
test_vector	java.lang.Object:equals(...)@194: {0}, {1}
test_vector	java.lang.Object:equals(...)@205: {0}, {1}
test_vector	java.lang.Object:equals(...)@207: {0}, {1}
test_vector	java.lang.String:startsWith(...)@207: {0}, {1}

void readConfig()

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@97 != null
post	init'ed(this.historySize)
post	init'ed(this.showGraph)
post	init'ed(this.showLabels)

bool shouldShowGraph()

Kind	Annotation Text
pre	init'ed(this.showGraph)
post	init'ed(return_value)
post	return_value == this.showGraph

bool shouldShowLabels()

Kind	Annotation Text
pre	init'ed(this.showLabels)
post	init'ed(return_value)
post	return_value == this.showLabels

void showConfig(PreferencesManager)

Kind	Annotation Text
pre	manager != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@277 != null
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. INTEGER)