Messages

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)