method

com.dmdirc.actions.ActionTypeComparator__static_ init

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

method

void com.dmdirc.actions.ActionTypeComparator()

method	int compare(ActionType, ActionType)
pre	o1 != null
pre	o2 != null
pre	(soft) o1.name != null
post	init'ed(return_value)