org.semanticweb.owl.util
Class OWLEntityComparator

java.lang.Object
  org.semanticweb.owl.util.OWLEntityComparator

All Implemented Interfaces:

java.util.Comparator<OWLEntity>, OWLEntityVisitor

public class OWLEntityComparator
extends java.lang.Object
implements java.util.Comparator<OWLEntity>, OWLEntityVisitor

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Jun-2007

A Comparator which compares entities. Entities are compared first by their type (in the following order: Class, Object property, Data property, Individual, Datatype) then by their short form (using the specified short form provider).

Field Summary

static int	OWL_CLASS_INDEX
static int	OWL_DATA_PROPERTY_INDEX
static int	OWL_DATATYPE_INDEX
static int	OWL_INDIVIDUAL_INDEX
static int	OWL_OBJECT_PROPERTY_INDEX

Constructor Summary

OWLEntityComparator(ShortFormProvider shortFormProvider)
Constructs an entity comparator which uses the specified short form provider

Method Summary

int	compare(OWLEntity o1, OWLEntity o2)
void	visit(OWLClass cls)
void	visit(OWLDataProperty property)
void	visit(OWLDataType dataType)
void	visit(OWLIndividual individual)
void	visit(OWLObjectProperty property)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

equals

Field Detail

OWL_CLASS_INDEX

public static final int OWL_CLASS_INDEX

See Also:

Constant Field Values

OWL_OBJECT_PROPERTY_INDEX

public static final int OWL_OBJECT_PROPERTY_INDEX

See Also:

Constant Field Values

OWL_DATA_PROPERTY_INDEX

public static final int OWL_DATA_PROPERTY_INDEX

See Also:

Constant Field Values

OWL_INDIVIDUAL_INDEX

public static final int OWL_INDIVIDUAL_INDEX

See Also:

Constant Field Values

OWL_DATATYPE_INDEX

public static final int OWL_DATATYPE_INDEX

See Also:

Constant Field Values

Constructor Detail

OWLEntityComparator

public OWLEntityComparator(ShortFormProvider shortFormProvider)

Constructs an entity comparator which uses the specified short form provider

Method Detail

compare

public int compare(OWLEntity o1,
                   OWLEntity o2)

Specified by:

compare in interface java.util.Comparator<OWLEntity>

visit

public void visit(OWLClass cls)

Specified by:

visit in interface OWLEntityVisitor

visit

public void visit(OWLObjectProperty property)

Specified by:

visit in interface OWLEntityVisitor

visit

public void visit(OWLDataProperty property)

Specified by:

visit in interface OWLEntityVisitor

visit

public void visit(OWLIndividual individual)

Specified by:

visit in interface OWLEntityVisitor

visit

public void visit(OWLDataType dataType)

Specified by:

visit in interface OWLEntityVisitor