edu.stanford.smi.protegex.owl.ui.results
Class ResultsPanelManager

java.lang.Object
  edu.stanford.smi.protegex.owl.ui.results.ResultsPanelManager

public class ResultsPanelManager

extends Object

A Singleton that manages the ResultsPanels in the current ProjectView. ResultsPanels appear at the bottom of the screen and display tab-independent data such as search and classification results.

Author:

Holger Knublauch

Constructor Summary

ResultsPanelManager()

Method Summary

static void	addResultsPanel(OWLModel owlModel, ResultsPanel resultsPanel, boolean replace) Adds a ResultsPanel or replaces an existing one.
static void	addResultsPanel(ResultsPanel resultsPanel, boolean replace) Deprecated. use the version with the owlModel argument
private static void	addResultsPanelToEnd(OWLModel owlModel, ResultsPanel resultsPanel)
static void	closeResultsPanel(OWLModel owlModel, ResultsPanel resultsPanel)
static void	closeResultsPanel(ResultsPanel resultsPanel) Deprecated. use the other version instead
static ResultsPanel	getResultsPanelByName(OWLModel owlModel, String tabName)
static ResultsPanel	getResultsPanelByName(String tabName) Deprecated. use the other version please
static JSplitPane	getSplitPane(OWLModel owlModel)
static JTabbedPane	getTabbedPane(OWLModel owlModel)
private static void	revalidate(edu.stanford.smi.protege.ui.ProjectView projectView)
static void	setSelectedResultsPanel(OWLModel owlModel, ResultsPanel resultsPanel)
static void	showHostInstance(edu.stanford.smi.protege.model.Instance hostInstance) Deprecated. use showHostResource instead
static void	showHostResource(RDFResource hostResource)
static TripleDisplay	showTriple(Triple triple)

Methods inherited from class java.lang.Object

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

Constructor Detail

ResultsPanelManager

public ResultsPanelManager()

Method Detail

addResultsPanel

public static void addResultsPanel(ResultsPanel resultsPanel,
                                   boolean replace)

Deprecated. use the version with the owlModel argument

addResultsPanel

public static void addResultsPanel(OWLModel owlModel,
                                   ResultsPanel resultsPanel,
                                   boolean replace)

Adds a ResultsPanel or replaces an existing one.

Parameters:

resultsPanel - the ResultsPanel to add

replace - true to replace an existing panel

addResultsPanelToEnd

private static void addResultsPanelToEnd(OWLModel owlModel,
                                         ResultsPanel resultsPanel)

closeResultsPanel

public static void closeResultsPanel(ResultsPanel resultsPanel)

Deprecated. use the other version instead

closeResultsPanel

public static void closeResultsPanel(OWLModel owlModel,
                                     ResultsPanel resultsPanel)

getResultsPanelByName

public static ResultsPanel getResultsPanelByName(String tabName)

Deprecated. use the other version please

getResultsPanelByName

public static ResultsPanel getResultsPanelByName(OWLModel owlModel,
                                                 String tabName)

getSplitPane

public static JSplitPane getSplitPane(OWLModel owlModel)

getTabbedPane

public static JTabbedPane getTabbedPane(OWLModel owlModel)

revalidate

private static void revalidate(edu.stanford.smi.protege.ui.ProjectView projectView)

setSelectedResultsPanel

public static void setSelectedResultsPanel(OWLModel owlModel,
                                           ResultsPanel resultsPanel)

showHostInstance

public static void showHostInstance(edu.stanford.smi.protege.model.Instance hostInstance)

Deprecated. use showHostResource instead

showHostResource

public static void showHostResource(RDFResource hostResource)

showTriple

public static TripleDisplay showTriple(Triple triple)