Messages

method

com.dmdirc.addons.lagdisplay.LagDisplayPlugin__ static_init

method	void com.dmdirc.addons.lagdisplay.LagDisplayPlugin ()
post	this.history == &new HashMap(LagDisplayPlugin#3 )
post	this.historySize == 100
post	this.panel == &new LagDisplayPanel(LagDisplayPl ugin#1)
post	this.pings == &new WeakHashMap(LagDisplayPlugin #2)
post	this.showGraph == 1
post	this.showLabels == 1
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.panel.plugin == this
post	this.panel.plugin != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	void onLoad()
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.config.IdentityManager:getGlobal Config
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.util.MapList:add

method not available - call not analyzed Info call on StatusBar com.dmdirc.ui.interfaces. UIController:getStatusBar()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. StatusBar:addComponent(StatusBarComponent)

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

method not available - call not analyzed Info call on String com.dmdirc.addons.lagdisplay. LagDisplayPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, ConfigChangeListener)

method	void readConfig()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@97 != null
post	init'ed(this.historySize)
post	init'ed(this.showGraph)
post	init'ed(this.showLabels)

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

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

method not available - call not analyzed Info call on void com.dmdirc.util.RollingList(int)

method	bool shouldShowGraph()
pre	init'ed(this.showGraph)
post	return_value == this.showGraph
post	init'ed(return_value)

method	bool shouldShowLabels()
pre	init'ed(this.showLabels)
post	return_value == this.showLabels
post	init'ed(return_value)

method	void onUnload()
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

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

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:removeListe ner(ConfigChangeListener)

method	void processEvent(ActionType, StringBuffer, Object[])
pre	arguments != null
pre	type != null
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) init'ed(arguments[0].raw)
pre	(soft) init'ed(arguments[0].window)
pre	(soft) arguments[1] != null
pre	(soft) arguments[2] != null
pre	(soft) arguments[2].length >= 4
pre	(soft) arguments[2][3] != null
pre	(soft) init'ed(arguments[...])
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) this.history != null
pre	(soft) init'ed(this.historySize)
pre	(soft) this.panel != null
pre	(soft) this.pings != 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 java.util.Map:containsKey
unanalyzed	call on com.dmdirc.util.RollingList
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.lang.Math:round
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on ownsFrame
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getFrame
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}

method not available - call not analyzed Info call on Window com.dmdirc.ui.interfaces. UIController:getActiveWindow()

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:add(Object )