public void initialiseView() throws Exception {
   list =
       new OWLFrameList<OWLObjectProperty>(
           getOWLEditorKit(), new OWLObjectPropertyDomainsAndRangesFrame(getOWLEditorKit()));
   setLayout(new BorderLayout());
   add(new JScrollPane(list));
   list.addToPopupMenu(new CreateNewEquivalentClassAction<OWLObjectProperty>());
 }
コード例 #2
0
 public boolean setEditedObject(OWLAnonymousIndividual object) {
   if (object == null) {
     String id = "genid-" + UUID.randomUUID().toString();
     final OWLOntologyID ontologyID =
         editorKit.getModelManager().getActiveOntology().getOntologyID();
     if (!ontologyID.isAnonymous()) {
       id = ontologyID.getOntologyIRI().get() + "#" + id;
     }
     object = editorKit.getModelManager().getOWLDataFactory().getOWLAnonymousIndividual(id);
   }
   frameList.setRootObject(object);
   mainComponent.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
   annotationValueLabel.setIcon(OWLIcons.getIcon("individual.png"));
   annotationValueLabel.setText(editorKit.getModelManager().getRendering(object));
   return true;
 }
 public void disposeView() {
   list.dispose();
 }
 protected OWLAnnotationProperty updateView(OWLAnnotationProperty property) {
   list.setRootObject(property);
   return property;
 }
コード例 #5
0
 @Nullable
 public OWLAnonymousIndividual getEditedObject() {
   return frameList.getRootObject();
 }
コード例 #6
0
 public void dispose() {
   frameList.dispose();
 }
コード例 #7
0
 public void disposeView() {
   super.disposeView();
   list.dispose();
 }
コード例 #8
0
 protected OWLDataProperty updateView(OWLDataProperty property) {
   list.setRootObject(property);
   return property;
 }