Messages

method | net.sourceforge.pebble.comparator.PebbleUserDetail sComparator__static_init

method | void net.sourceforge.pebble.comparator. PebbleUserDetailsComparator()

method | int compare(Object, Object)
presumption | net.sourceforge.pebble.security.PebbleUserDetails:g etName(...)@60 != null
pre | o1 != null
pre | o2 != null
post | init'ed(return_value)

| info | method not available | -- call on String net.sourceforge.pebble.security. PebbleUserDetails:getName()