It would be nice to have more general signatures for methods that have specific sub-classes of collections as their input.
Take, for instance , org.semanticweb.owlapi.model.OWLDataFactory.getOWLObjectOneOf(Set<? extends OWLIndividual>)
Let us suppose we have a List<OWLIndividual> that we want to use. In order to use it as an input the client of the APi needs to
create a Set out of the list. This is because a one-of description contemplates each individual only once, but this should be guaranteed by the implementation rather than imposing a restriction on the type of collections the method accepts.
Log in to post a comment.