Messages

method | net.sourceforge.pebble.web.model.Model__static_ init

method | void net.sourceforge.pebble.web.model.Model()
post | this.data == &new HashMap(Model#1)
post | new HashMap(Model#1) num objects == 1

method | void put(String, Object)
pre | this.data != null

method | Object get(String)
pre | this.data != null
post | init'ed(return_value)

method | Set keySet()
pre | this.data != null
post | return_value != null

method | bool contains(String)
pre | this.data != null
post | init'ed(return_value)