method

com.dmdirc.util.MapList__static_init

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

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

method	bool isEmpty()
pre	this.map != null
presumption	java.util.Iterator:next(...)@68 != null
presumption	java.util.Map:values(...)@68 != null
post	init'ed(return_value)
test_vector	java.util.Iterator:hasNext(...)@68: {0}, {1}
test_vector	java.util.List:isEmpty(...)@69: {1}, {0}

method	bool containsKey(Object)
pre	this.map != null
post	init'ed(return_value)

method	bool containsValue(Object, Object)
pre	this.map != null
presumption	java.util.Map:get(...)@97 != null
post	init'ed(return_value)

method	List get(Object)
pre	this.map != null
post	init'ed(return_value)

method	Object get(Object, int)
pre	this.map != null
presumption	java.util.Map:get(...)@118 != null
post	init'ed(return_value)

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

method	void add(Object)
pre	this.map != null
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put

method	void add(Object, Object)
pre	this.map != null
presumption	java.util.Map:get(...)@133 != null
presumption	java.util.Map:get(...)@52 != null
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put

method	void add(Object, Collection)
pre	this.map != null
presumption	java.util.Map:get(...)@133 != null
presumption	java.util.Map:get(...)@52 != null
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put

method	void remove(Object)
pre	this.map != null

method	void removeFromAll(Object)
pre	this.map != null
presumption	java.util.Iterator:next(...)@182 != null
presumption	java.util.Map:values(...)@182 != null
test_vector	java.util.Iterator:hasNext(...)@182: {0}, {1}

method	void remove(Object, Object)
pre	this.map != null
presumption	java.util.Map:get(...)@195 != null
test_vector	java.util.Map:containsKey(...)@194: {0}, {1}

method	void clear()
pre	this.map != null

method	void clear(Object)
pre	this.map != null
presumption	java.util.Map:get(...)@133 != null
presumption	java.util.Map:get(...)@52 != null
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put

method	Set keySet()
pre	this.map != null
post	init'ed(return_value)

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

method	Set entrySet()
pre	this.map != null
post	init'ed(return_value)

method	Map getMap()
post	return_value == &new HashMap(getMap#1)
post	new HashMap(getMap#1) num objects == 1