method com.dmdirc.addons.nowplaying.MediaSourceComparator __static_init










method int compare(Object, Object)
prethis.order != null
prex0 != null
prex1 != null
postreturn_value == 0
unanalyzedcall on getAppName
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.List:indexOf










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










method int compare(MediaSource, MediaSource)
preo1 != null
preo2 != null
prethis.order != null
presumptionjava.util.List:indexOf(...)@73 - java.util. List:indexOf(...)@73 in {-232+1.. 231}
postinit'ed(return_value)
unanalyzedcall on getAppName
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.List:indexOf










method int getPosition(MediaSource)
presource != null
prethis.order != null
postinit'ed(return_value)
test_vectorjava.util.List:contains(...)@69: {1}, {0}









  call too complex - analysis skippedInfocall on String getAppName()










  call too complex - analysis skippedInfocall on String getAppName()










  call too complex - analysis skippedInfocall on String getAppName()