method

com.dmdirc.util.DoubleMap__static_init

method	void com.dmdirc.util.DoubleMap()
post	this.keys == &new ArrayList(DoubleMap#1)
post	this.values == &new ArrayList(DoubleMap#2)
post	new ArrayList(DoubleMap#1) num objects == 1
post	new ArrayList(DoubleMap#2) num objects == 1

method	void put(Object, Object)
pre	key != null
pre	this.keys != null
pre	this.values != null
pre	value != null

method	Object getValue(Object)
pre	this.keys != null
pre	this.values != null
post	init'ed(return_value)

method	Object getKey(Object)
pre	this.keys != null
pre	this.values != null
post	init'ed(return_value)

method	Set keySet()
post	return_value == &new HashSet(keySet#1)
post	new HashSet(keySet#1) num objects == 1

method	Set valueSet()
post	return_value == &new HashSet(valueSet#1)
post	new HashSet(valueSet#1) num objects == 1