Messages

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}