|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface OWLIndividualList
Represents a list of OWLIndividual objects. This interface shouldn't be confused with rdf:List structure.
The sole purpose of this interface is to wrap a List class so that the code can
be written with less casting statements.
| Method Summary | |
|---|---|
OWLIndividual |
getIndividual(java.lang.String localName)
Return the individual from the list that has the given local name. |
OWLIndividual |
getIndividual(java.net.URI resourceURI)
Return the individual from the list that has the given URI |
OWLIndividual |
individualAt(int index)
Return the OWLIndividual at the specified position in this list. |
| Methods inherited from interface java.util.List |
|---|
add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray |
| Method Detail |
|---|
OWLIndividual individualAt(int index)
index -
OWLIndividual getIndividual(java.net.URI resourceURI)
resourceURI -
OWLIndividual getIndividual(java.lang.String localName)
localName -
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||