edu.stanford.smi.protegex.owl.ui.cls
Class SwitchClassDefinitionResourceDisplayPlugin
java.lang.Object
edu.stanford.smi.protegex.owl.ui.cls.SwitchClassDefinitionResourceDisplayPlugin
- All Implemented Interfaces:
- ResourceDisplayPlugin
- public class SwitchClassDefinitionResourceDisplayPlugin
- extends Object
- implements ResourceDisplayPlugin
- Author:
- Holger Knublauch
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PROPERTY
private static final String PROPERTY
- See Also:
- Constant Field Values
showWarning
public static boolean showWarning
SwitchClassDefinitionResourceDisplayPlugin
public SwitchClassDefinitionResourceDisplayPlugin()
getWidget
private SwitchableClassDefinitionWidget getWidget(JPanel hostPanel)
getDefaultClassView
public static String getDefaultClassView()
initResourceDisplay
public void initResourceDisplay(RDFResource resource,
JPanel hostPanel)
- Description copied from interface:
ResourceDisplayPlugin
- Called whenever a new instance is displayed in a ResourceDisplay.
This method should check the type of the Resource, and depending on
this add components to the hostPanel (which is the container of
arbitrary components in the bottom right area of the screen.
- Specified by:
initResourceDisplay
in interface ResourceDisplayPlugin
- Parameters:
resource
- the currently selected FramehostPanel
- the JPanel that can be modified
setClassesView
public static void setClassesView(edu.stanford.smi.protege.util.PropertyList sources,
String activeClassName)
setDefaultClassesView
public static void setDefaultClassesView(String activeClassName)