Messages

method

com.dmdirc.addons.nowplaying.MediaSourceComparator __static_init

method	int compare(Object, Object)
pre	this.order != null
pre	x0 != null
pre	x1 != null
post	return_value == 0
unanalyzed	call on getAppName
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:indexOf

method	void com.dmdirc.addons.nowplaying.MediaSourceCompa rator(List)
post	this.order == order
post	init'ed(this.order)

method	int compare(MediaSource, MediaSource)
pre	o1 != null
pre	o2 != null
pre	this.order != null
presumption	java.util.List:indexOf(...)@73 - java.util. List:indexOf(...)@73 in {-2³²+1.. 2³¹}
post	init'ed(return_value)
unanalyzed	call on getAppName
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:indexOf

method	int getPosition(MediaSource)
pre	source != null
pre	this.order != null
post	init'ed(return_value)
test_vector	java.util.List:contains(...)@69: {1}, {0}

call too complex - analysis skipped Info call on String getAppName()

call too complex - analysis skipped Info call on String getAppName()

call too complex - analysis skipped Info call on String getAppName()