method

net.sourceforge.pebble.plugins.Plugin__static_ init

method	void net.sourceforge.pebble.plugins.Plugin(String, String, String, int, Collection)
post	this.description == description
post	init'ed(this.description)
post	this.name == name
post	init'ed(this.name)
post	this.pluginClass == pluginClass
post	init'ed(this.pluginClass)
post	this.pluginConfig == pluginConfig
post	init'ed(this.pluginConfig)
post	this.weight == weight
post	init'ed(this.weight)

method	String getName()
post	return_value == this.name
post	init'ed(return_value)

method	String getDescription()
post	return_value == this.description
post	init'ed(return_value)

method	String getPluginClass()
post	return_value == this.pluginClass
post	init'ed(return_value)

method	int getWeight()
post	return_value == this.weight
post	init'ed(return_value)

method	Collection getPluginConfig()
post	return_value == this.pluginConfig
post	init'ed(return_value)

method	bool isConfigurable()
post	init'ed(return_value)
test_vector	this.pluginConfig: Addr_Set{null}, Inverse{null}
test_vector	java.util.Collection:isEmpty(...)@78: {1}, {0}