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)