//# 0 errors, 36 messages
//#
/*
    //#WeblogCategoryPathComparator.java:1:1: class: org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator
    //#WeblogCategoryPathComparator.java:1:1: method: org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator.org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator__static_init
 * Licensed to the Apache Software Foundation (ASF) under one or more
 *  contributor license agreements.  The ASF licenses this file to You
 * under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.  For additional information regarding
 * copyright in this work, please see the NOTICE file in the top level
 * directory of this distribution.
 */

package org.apache.roller.weblogger.pojos;

import java.util.Comparator;


/**
 * Compare weblog categories by path.
 */
public class WeblogCategoryPathComparator implements Comparator {
    //#WeblogCategoryPathComparator.java:27: method: void org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator.org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator()
    //#WeblogCategoryPathComparator.java:27: end of method: void org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator.org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator()
    
    public int compare(Object o1, Object o2) {
        WeblogCategory f1 = (WeblogCategory)o1;
    //#WeblogCategoryPathComparator.java:30: method: int org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator.compare(Object, Object)
    //#input(int compare(Object, Object)): o1
    //#input(int compare(Object, Object)): o1.__Tag
    //#input(int compare(Object, Object)): o1.path
    //#input(int compare(Object, Object)): o1.pcStateManager
    //#input(int compare(Object, Object)): o2
    //#input(int compare(Object, Object)): o2.__Tag
    //#input(int compare(Object, Object)): o2.path
    //#input(int compare(Object, Object)): o2.pcStateManager
    //#input(int compare(Object, Object)): org/apache/roller/weblogger/pojos/WeblogCategory.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogCategory]
    //#input(int compare(Object, Object)): org/apache/roller/weblogger/pojos/WeblogCategory.__Descendant_Table[others]
    //#input(int compare(Object, Object)): org/apache/roller/weblogger/pojos/WeblogCategory.__Dispatch_Table.getPath()Ljava/lang/String;
    //#input(int compare(Object, Object)): org/apache/roller/weblogger/pojos/WeblogCategory.pcInheritedFieldCount
    //#output(int compare(Object, Object)): return_value
    //#pre[1] (int compare(Object, Object)): o1 != null
    //#pre[2] (int compare(Object, Object)): o1.__Tag == org/apache/roller/weblogger/pojos/WeblogCategory
    //#pre[3] (int compare(Object, Object)): o1.path != null
    //#pre[4] (int compare(Object, Object)): init'ed(o1.pcStateManager)
    //#pre[5] (int compare(Object, Object)): o2 != null
    //#pre[6] (int compare(Object, Object)): o2.__Tag == org/apache/roller/weblogger/pojos/WeblogCategory
    //#pre[7] (int compare(Object, Object)): init'ed(o2.path)
    //#pre[8] (int compare(Object, Object)): init'ed(o2.pcStateManager)
    //#pre[9] (int compare(Object, Object)): (soft) org/apache/roller/weblogger/pojos/WeblogCategory.pcInheritedFieldCount <= 4_294_967_290
    //#post(int compare(Object, Object)): init'ed(return_value)
    //#unanalyzed(int compare(Object, Object)): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
        WeblogCategory f2 = (WeblogCategory)o2;
        return f1.getPath().compareTo(f2.getPath());
    //#WeblogCategoryPathComparator.java:32: end of method: int org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator.compare(Object, Object)
    }
    
}
    //#output(org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogCategoryPathComparator]
    //#output(org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator__static_init): __Dispatch_Table.compare(Ljava/lang/Object;Ljava/lang/Object;)I
    //#post(org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/WeblogCategoryPathComparator] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator__static_init): __Dispatch_Table.compare(Ljava/lang/Object;Ljava/lang/Object;)I == &compare
    //#WeblogCategoryPathComparator.java:: end of method: org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator.org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator__static_init
    //#WeblogCategoryPathComparator.java:: end of class: org.apache.roller.weblogger.pojos.WeblogCategoryPathComparator
