Messages

method

com.dmdirc.FrameContainerComparator__static_init

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

method

void com.dmdirc.FrameContainerComparator()

method	int compare(FrameContainer, FrameContainer)
pre	(soft) item1 != null
pre	(soft) item2 != null
presumption	java.lang.Integer:valueOf(...)@65 != null
presumption	toString(...)@62 != null
post	init'ed(return_value)
test_vector	java.lang.String:compareToIgnoreCase(...)@62: {-2³¹..-1, 1..2³²-1}, {0}

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

method	bool sortBefore(FrameContainer, FrameContainer)
post	init'ed(return_value)

method	bool sortAfter(FrameContainer, FrameContainer)
post	init'ed(return_value)

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