oracle.ide.db.panels

Interface PanelLibrary.PanelSetChanger

Enclosing class:

PanelLibrary<T extends DBObject>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface PanelLibrary.PanelSetChanger

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 );
 }
 

Method Summary

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

Method Detail

panelSetChange

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