method

net.sourceforge.pebble.comparator.StaticPageByName Comparator__static_init

method	int compare(Object, Object)
pre	Param_1 != null
pre	Param_1.name != null
pre	Param_2 != null
pre	init'ed(Param_2.name)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:compareToIgnoreCase

method

void net.sourceforge.pebble.comparator. StaticPageByNameComparator()

method	int compare(StaticPage, StaticPage)
pre	sp1 != null
pre	sp1.name != null
pre	sp2 != null
pre	init'ed(sp2.name)
post	init'ed(return_value)