edu.stanford.smi.protegex.owl.inference.protegeowl.log
Class OWLInstanceLogRecord

java.lang.Object
  edu.stanford.smi.protegex.owl.inference.protegeowl.log.ReasonerLogRecord
      edu.stanford.smi.protegex.owl.inference.protegeowl.log.OWLInstanceLogRecord

All Implemented Interfaces:

ListCellRenderer, TreeCellRenderer

public class OWLInstanceLogRecord

extends ReasonerLogRecord

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Aug 23, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Field Summary

private RDFResource	instance
private JLabel	label

Fields inherited from class edu.stanford.smi.protegex.owl.inference.protegeowl.log.ReasonerLogRecord

Constructor Summary

OWLInstanceLogRecord(RDFResource resource, ReasonerLogRecord parent)

Method Summary

Component	getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) Return a component that has been configured to display the specified value.
Component	getTreeCellRendererComponent(JTree tree, Object value, boolean selected, boolean expanded, boolean leaf, int row, boolean hasFocus) Sets the value of the current tree cell to value.

Methods inherited from class edu.stanford.smi.protegex.owl.inference.protegeowl.log.ReasonerLogRecord

getParent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

instance

private RDFResource instance

label

private JLabel label

Constructor Detail

OWLInstanceLogRecord

public OWLInstanceLogRecord(RDFResource resource,
                            ReasonerLogRecord parent)

Method Detail

getListCellRendererComponent

public Component getListCellRendererComponent(JList list,
                                              Object value,
                                              int index,
                                              boolean isSelected,
                                              boolean cellHasFocus)

Return a component that has been configured to display the specified value. That component's paint method is then called to "render" the cell. If it is necessary to compute the dimensions of a list because the list cells do not have a fixed size, this method is called to generate a component on which getPreferredSize can be invoked.

Parameters:

list - The JList we're painting.

value - The value returned by list.getModel().getElementAt(index).

index - The cells index.

isSelected - True if the specified cell was selected.

cellHasFocus - True if the specified cell has the focus.

Returns:

A component whose paint() method will render the specified value.

See Also:

JList, ListSelectionModel, ListModel

getTreeCellRendererComponent

public Component getTreeCellRendererComponent(JTree tree,
                                              Object value,
                                              boolean selected,
                                              boolean expanded,
                                              boolean leaf,
                                              int row,
                                              boolean hasFocus)

Sets the value of the current tree cell to value. If selected is true, the cell will be drawn as if selected. If expanded is true the node is currently expanded and if leaf is true the node represets a leaf and if hasFocus is true the node currently has focus. tree is the JTree the receiver is being configured for. Returns the Component that the renderer uses to draw the value.

Returns:

the Component that the renderer uses to draw the value