Messages

method

com.dmdirc.addons.ui_swing.components.pluginpanel. PluginInfoToggle__static_init

method	void com.dmdirc.addons.ui_swing.components. pluginpanel.PluginInfoToggle(PluginInfo)
post	this.pi == pi
post	init'ed(this.pi)
post	this.toggle == 0

method	void toggle()
pre	init'ed(this.toggle)
post	init'ed(this.toggle)

method	bool getState()
pre	this.pi != null
pre	init'ed(this.toggle)
post	init'ed(return_value)

method not available - call not analyzed Info call on bool com.dmdirc.plugins.PluginInfo:isLoaded ()

method	PluginInfo getPluginInfo()
post	return_value == this.pi
post	init'ed(return_value)

method	void apply()
pre	init'ed(this.toggle)
pre	(soft) this.pi != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@88 != null
test_vector	this.toggle: {0}, {1}
test_vector	com.dmdirc.plugins.PluginInfo:isLoaded(...)@82: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.plugins.PluginInfo:isLoaded ()

method not available - call not analyzed Info call on void com.dmdirc.plugins.PluginInfo:unloadPl ugin()

method not available - call not analyzed Info call on void com.dmdirc.plugins.PluginInfo:loadPlug in()

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on void com.dmdirc.plugins.PluginManager:updat eAutoLoad(PluginInfo)

	method not available - call not analyzed	Info	call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
	method not available - call not analyzed	Info	call on void com.dmdirc.plugins.PluginManager:updat eAutoLoad(PluginInfo)