| method | int compare(Object, Object) |
| pre | o1 != null |
| pre | o1.path != null |
| pre | init'ed(o1.pcStateManager) |
| pre | o2 != null |
| pre | init'ed(o2.path) |
| pre | init'ed(o2.pcStateManager) |
| pre | (soft) org/apache/roller/weblogger/pojos/WeblogCate gory.pcInheritedFieldCount <= 232-6 |
| post | init'ed(return_value) |
| unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField |