org.semanticweb.HermiT.debugger
Class Printing.DataRangeComparator
java.lang.Object
org.semanticweb.HermiT.debugger.Printing.DataRangeComparator
- All Implemented Interfaces:
- java.util.Comparator<DataRange>
- Enclosing class:
- Printing
public static class Printing.DataRangeComparator
- extends java.lang.Object
- implements java.util.Comparator<DataRange>
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 |
INSTANCE
public static final Printing.DataRangeComparator INSTANCE
Printing.DataRangeComparator
public Printing.DataRangeComparator()
compare
public int compare(DataRange c1,
DataRange c2)
- Specified by:
compare
in interface java.util.Comparator<DataRange>
getDataRangeType
protected Printing.DataRangeComparator.DataRangeType getDataRangeType(DataRange dr)
compareDatatypeRestrictions
protected int compareDatatypeRestrictions(DatatypeRestriction dr1,
DatatypeRestriction dr2)
compareConstantEnumerations
protected int compareConstantEnumerations(ConstantEnumeration dve1,
ConstantEnumeration dve2)
compareConstants
protected int compareConstants(Constant c1,
Constant c2)