/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLNamedIndividual> getManipulatableObjects() { //@@TODO v3 port - what about anon indivs? Set<OWLIndividual> individuals = getAxiom().getIndividuals(); List<OWLNamedIndividual> results = new ArrayList<>(); for (OWLIndividual ind : individuals){ if (!ind.isAnonymous() && !ind.equals(getRootObject())){ results.add(ind.asOWLNamedIndividual()); } } return results; } }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLNamedIndividual> getManipulatableObjects() { //@@TODO v3 port - what about anon indivs? Set<OWLIndividual> individuals = getAxiom().getIndividuals(); List<OWLNamedIndividual> results = new ArrayList<OWLNamedIndividual>(); for (OWLIndividual ind : individuals){ if (!ind.isAnonymous() && !ind.equals(getRootObject())){ results.add(ind.asOWLNamedIndividual()); } } return results; } }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLNamedIndividual> getManipulatableObjects() { //@@TODO v3 port - what about anon indivs? Set<OWLIndividual> individuals = getAxiom().getIndividuals(); List<OWLNamedIndividual> results = new ArrayList<>(); for (OWLIndividual ind : individuals){ if (!ind.isAnonymous() && !ind.equals(getRootObject())){ results.add(ind.asOWLNamedIndividual()); } } return results; } }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLNamedIndividual> getManipulatableObjects() { //@@TODO v3 port - what about anon indivs? Set<OWLIndividual> individuals = getAxiom().getIndividuals(); List<OWLNamedIndividual> results = new ArrayList<OWLNamedIndividual>(); for (OWLIndividual ind : individuals){ if (!ind.isAnonymous() && !ind.equals(getRootObject())){ results.add(ind.asOWLNamedIndividual()); } } return results; } }