method

com.dmdirc.util.ListenerList__static_init

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

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

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

method	void remove(Class, Object)
pre	this.listeners != null
pre	this.listeners.map != null
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:remove

method	void remove(String, Object)
pre	this.listeners != null
pre	this.listeners.map != null
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:remove

method	List get(Class)
pre	this.listeners != null
pre	this.listeners.map != null
post	init'ed(return_value)
post	new ArrayList(WeakList#1) num objects <= 1
post	new WeakList(get#1) num objects <= 1
post	new WeakList(get#1).list == &amp;new ArrayList(WeakList#1)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Map:containsKey(...)@84: {0}, {1}

method	List get(String)
pre	this.listeners != null
pre	this.listeners.map != null
post	init'ed(return_value)
post	new ArrayList(WeakList#1) num objects <= 1
post	new WeakList(get#1) num objects <= 1
post	new WeakList(get#1).list == &amp;new ArrayList(WeakList#1)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Map:containsKey(...)@84: {0}, {1}