oracle.ide.db.panels

Class PanelLibrary.PanelSetChanger

java.lang.Object

oracle.ide.db.panels.PanelLibrary.PanelSetChanger

Enclosing class:

PanelLibrary<T extends DBObject>

public abstract static class PanelLibrary.PanelSetChanger
extends java.lang.Object

If a PanelSetChanger is in the TraversableContext then it can be used to change the set of panels in the current editor.

e.g.

 PanelSetChanger changer = dataContext.get( PanelSetChanger.class );
 if( changer != null )
 {
   // change the panel set without validating
   changer.panelSetChange( key, navs, null );
 }
 

Constructor Summary

Constructors

Constructor and Description
PanelLibrary.PanelSetChanger()

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	panelSetChange(Navigable[] navs, PanelLibrary.PanelSetChangeValidator validator) Changes the current panel set.

Methods inherited from class java.lang.Object

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

Constructor Detail

PanelLibrary.PanelSetChanger

public PanelLibrary.PanelSetChanger()

Method Detail

panelSetChange

public abstract void panelSetChange(Navigable[] navs,
                  PanelLibrary.PanelSetChangeValidator validator)
                             throws TraversalException

Changes the current panel set.

Parameters:

key - the panel set key to switch to

navs - the set of Navigables that make up the given panel set key

validator - a callback mechanism so that the change can be validated once any appropriate commits on other panels etc are done.

Throws:

TraversalException