protected OWLDifferentIndividualsAxiom createAxiom(Set<OWLNamedIndividual> editedObject) { editedObject.add(getRootObject()); return getOWLDataFactory().getOWLDifferentIndividualsAxiom(editedObject); }
protected OWLObjectEditor<Set<OWLNamedIndividual>> getObjectEditor() { return new OWLIndividualSetEditor(getOWLEditorKit()); }
/** * 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; } }
@Override public boolean checkEditorResults(OWLObjectEditor<Set<OWLNamedIndividual>> editor) { Set<OWLNamedIndividual> equivalents = editor.getEditedObject(); return !equivalents.contains(getRootObject()); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLDifferentIndividualsAxiom ax : ontology.getDifferentIndividualAxioms(getRootObject())) { addRow(new OWLDifferentIndividualAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.addAll(ax.getIndividuals()); } }
/** * 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; } }
@Override public boolean checkEditorResults(OWLObjectEditor<Set<OWLNamedIndividual>> editor) { Set<OWLNamedIndividual> equivalents = editor.getEditedObject(); return !equivalents.contains(getRootObject()); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLDifferentIndividualsAxiom ax : ontology.getDifferentIndividualAxioms(getRootObject())) { addRow(new OWLDifferentIndividualAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.addAll(ax.getIndividuals()); } }
protected OWLDifferentIndividualsAxiom createAxiom(Set<OWLNamedIndividual> editedObject) { editedObject.add(getRootObject()); return getOWLDataFactory().getOWLDifferentIndividualsAxiom(editedObject); }
/** * 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; } }
@Override public boolean checkEditorResults(OWLObjectEditor<Set<OWLNamedIndividual>> editor) { Set<OWLNamedIndividual> equivalents = editor.getEditedObject(); return !equivalents.contains(getRootObject()); }
protected OWLObjectEditor<Set<OWLNamedIndividual>> getObjectEditor() { return new OWLIndividualSetEditor(getOWLEditorKit()); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLDifferentIndividualsAxiom ax : ontology.getDifferentIndividualAxioms(getRootObject())) { addRow(new OWLDifferentIndividualAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.addAll(ax.getIndividuals()); } }
protected OWLDifferentIndividualsAxiom createAxiom(Set<OWLNamedIndividual> editedObject) { editedObject.add(getRootObject()); return getOWLDataFactory().getOWLDifferentIndividualsAxiom(editedObject); }
/** * 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; } }
@Override public boolean checkEditorResults(OWLObjectEditor<Set<OWLNamedIndividual>> editor) { Set<OWLNamedIndividual> equivalents = editor.getEditedObject(); return !equivalents.contains(getRootObject()); }
protected OWLObjectEditor<Set<OWLNamedIndividual>> getObjectEditor() { return new OWLIndividualSetEditor(getOWLEditorKit()); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLDifferentIndividualsAxiom ax : ontology.getDifferentIndividualAxioms(getRootObject())) { addRow(new OWLDifferentIndividualAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); added.addAll(ax.getIndividuals()); } }
protected OWLDifferentIndividualsAxiom createAxiom(Set<OWLNamedIndividual> editedObject) { editedObject.add(getRootObject()); return getOWLDataFactory().getOWLDifferentIndividualsAxiom(editedObject); }
protected OWLObjectEditor<Set<OWLNamedIndividual>> getObjectEditor() { return new OWLIndividualSetEditor(getOWLEditorKit()); }