method com.dmdirc.FrameContainerComparator__static_init










method int compare(Object, Object)
pre(soft) x0 != null
pre(soft) x1 != null
postinit'ed(return_value)
unanalyzedcall on toString
unanalyzedcall on java.lang.String:compareToIgnoreCase
unanalyzedcall on java.lang.Object:hashCode
unanalyzedcall on java.lang.Integer:valueOf
unanalyzedcall on java.lang.Integer:compareTo










method void com.dmdirc.FrameContainerComparator()










method int compare(FrameContainer, FrameContainer)
pre(soft) item1 != null
pre(soft) item2 != null
presumptionjava.lang.Integer:valueOf(...)@65 != null
presumptiontoString(...)@62 != null
postinit'ed(return_value)
test_vectorjava.lang.String:compareToIgnoreCase(...)@62: {-231..-1, 1..232-1}, {0}









  call too complex - analysis skippedInfocall on String toString()











method bool sortBefore(FrameContainer, FrameContainer)
postinit'ed(return_value)










method bool sortAfter(FrameContainer, FrameContainer)
postinit'ed(return_value)










method int getPosition(FrameContainer)
postreturn_value in {0..5}