org.semanticweb.HermiT.debugger
Class Printing.RoleComparator

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.Printing.RoleComparator
All Implemented Interfaces:
java.util.Comparator<Role>
Enclosing class:
Printing

protected static class Printing.RoleComparator
extends java.lang.Object
implements java.util.Comparator<Role>


Field Summary
static Printing.RoleComparator INSTANCE
           
 
Constructor Summary
protected Printing.RoleComparator()
           
 
Method Summary
 int compare(Role ar1, Role ar2)
           
protected  int getRoleType(Role ar)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface java.util.Comparator
equals
 

Field Detail

INSTANCE

public static final Printing.RoleComparator INSTANCE
Constructor Detail

Printing.RoleComparator

protected Printing.RoleComparator()
Method Detail

compare

public int compare(Role ar1,
                   Role ar2)
Specified by:
compare in interface java.util.Comparator<Role>

getRoleType

protected int getRoleType(Role ar)