Package org.semanticweb.owlapi.util

Class OWLObjectComparator

java.lang.Object

org.semanticweb.owlapi.util.OWLObjectComparator

All Implemented Interfaces:

Comparator<OWLObject>

public class OWLObjectComparator
extends Object
implements Comparator<OWLObject>

A ShortFormProvider based comparator for OWLObjects. OWLEntity instances are sorted according to their short forms.

Since:

4.0.0

Author:

ignazio

Constructor Summary

Constructors

Constructor	Description
OWLObjectComparator(ShortFormProvider shortFormProvider)

Method Summary

Modifier and Type	Method	Description
int	compare(OWLObject o1, OWLObject o2)

Methods inherited from interface java.util.Comparator

equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OWLObjectComparator

public OWLObjectComparator(@Nonnull
                           ShortFormProvider shortFormProvider)

Parameters:

shortFormProvider - short form provider to use

Method Detail

compare

public int compare(OWLObject o1,
                   OWLObject o2)

Specified by:

compare in interface Comparator<OWLObject>