/** * Set the priorty collection sorting option. * * @param sorting the sorting option to be used. * @return An {@code OWLOntologyLoaderConfiguration} with the new sorting option set. */ public OWLOntologyLoaderConfiguration setPriorityCollectionSorting( PriorityCollectionSorting sorting) { if (sorting.equals(getPriorityCollectionSorting())) { return this; } OWLOntologyLoaderConfiguration configuration = copyConfiguration(); configuration.overrides.put(PRIORITY_COLLECTION_SORTING, sorting); return configuration; }
/** * Set the priorty collection sorting option. * * @param sorting the sorting option to be used. * @return An {@code OWLOntologyLoaderConfiguration} with the new sorting option set. */ public OWLOntologyLoaderConfiguration setPriorityCollectionSorting( PriorityCollectionSorting sorting) { if (sorting.equals(getPriorityCollectionSorting())) { return this; } OWLOntologyLoaderConfiguration configuration = copyConfiguration(); configuration.overrides.put(PRIORITY_COLLECTION_SORTING, sorting); return configuration; }
/** * Set the priorty collection sorting option. * * @param sorting the sorting option to be used. * @return An {@code OWLOntologyLoaderConfiguration} with the new sorting option set. */ public OWLOntologyLoaderConfiguration setPriorityCollectionSorting( PriorityCollectionSorting sorting) { if (sorting.equals(getPriorityCollectionSorting())) { return this; } OWLOntologyLoaderConfiguration configuration = copyConfiguration(); configuration.overrides.put(PRIORITY_COLLECTION_SORTING, sorting); return configuration; }