method

com.dmdirc.util.WeakMapList__static_init

method	void com.dmdirc.util.WeakMapList()
post	this.map == &new HashMap(MapList#1)
post	new HashMap(MapList#1) num objects == 1
unanalyzed	call on java.util.HashMap

method	List safeGet(Object)
pre	this.map != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Map:containsKey(...)@48: {1}, {0}