📄 instancepanel1.java
字号:
/* * To change this template, choose Tools | Templates * and open the template in the editor. */package edu.stanford.smi.protege.ui;import edu.stanford.smi.protege.event.WidgetAdapter;import edu.stanford.smi.protege.event.WidgetEvent;import edu.stanford.smi.protege.model.Cls;import edu.stanford.smi.protege.model.Project;import edu.stanford.smi.protege.util.ComponentFactory;import edu.stanford.smi.protege.util.LabeledComponent;import edu.stanford.smi.protege.util.SimpleListModel;import edu.stanford.smi.protege.widget.ClsWidget;import edu.stanford.smi.protegex.owl.model.OWLIndividual;import edu.stanford.smi.protegex.owl.model.RDFResource;import java.awt.BorderLayout;import java.awt.Dimension;import java.util.ArrayList;import java.util.Collections;import javax.swing.JComponent;import javax.swing.JList;import javax.swing.JPanel;import javax.swing.JScrollPane;import javax.swing.JSplitPane;import javax.swing.ListSelectionModel;/** * * @author Hasan */public class InstancePanel1 extends JComponent { protected JList _instanceList; private LabeledComponent instanceLabelComponent; private Finder _instanceFinder; private Cls selectedCls; private JPanel jPanel; public InstancePanel1(ArrayList instances, boolean allowsMultipleSelection) { jPanel = new JPanel(); setPreferredSize(new Dimension(500, 500)); _instanceList = ComponentFactory.createList(null); _instanceList.setCellRenderer(FrameRenderer.createInstance()); _instanceList.addMouseListener(new java.awt.event.MouseAdapter() { @Override public void mouseClicked(java.awt.event.MouseEvent evt) { _instanceListMouseClicked(evt); } }); LabeledComponent instancesComponent = createInstanceLabeledComponent(); Collections.sort(instances, new FrameComparator()); ((SimpleListModel)_instanceList.getModel()).setValues(instances); if (!instances.isEmpty()) { _instanceList.setSelectedIndex(0); } JSplitPane main = ComponentFactory.createLeftRightSplitPane(instancesComponent, jPanel); main.setDividerLocation(WIDTH / 2); setLayout(new BorderLayout()); add(main); FrameRenderer frameRenderer = (FrameRenderer) _instanceList.getCellRenderer(); frameRenderer.setDisplayType(false); if (!allowsMultipleSelection) { _instanceList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION); } } protected LabeledComponent createInstanceLabeledComponent() { instanceLabelComponent = new LabeledComponent(null, new JScrollPane(_instanceList)); //c.setHeaderComponent(createDirectAllInstanceComboBox(), BorderLayout.WEST); instanceLabelComponent.setFooterComponent(new ListFinder(_instanceList, "Find Instance")); _instanceFinder = (Finder) instanceLabelComponent.getFooterComponent(); return instanceLabelComponent; } public void _instanceListMouseClicked(java.awt.event.MouseEvent evt) { RDFResource rdfresource = (RDFResource) _instanceList.getSelectedValue(); jPanel.removeAll(); Project project = rdfresource.getProject(); InstanceView display = new InstanceView(project, true, false); display.setInstance(rdfresource); //frame.addWindowListener(_closeListener); jPanel.add(display, BorderLayout.CENTER); display.setResizeVertically(true); ClsWidget widget = display.getFirstClsWidget(); widget.addWidgetListener(new WidgetAdapter() { @Override public void labelChanged(WidgetEvent event) { //System.out.println("label Changed" + event.getWidget().getLabel()); //frame.setTitle(event.getWidget().getLabel()); } }); //System.out.println(rdfresource); jPanel.updateUI(); } public OWLIndividual getSelection() { return (OWLIndividual)_instanceList.getSelectedValue(); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -