Package org.eclipse.jpt.jpa.ui.selection

Interface Summary

JpaEditorManager	JPA manager implemented for any editor that can affect a page's JPA file and/or selection.
JpaSelectionManager	Each workbench, workbench window, and workbench page has a corresponding JPA selection manager that can be used to set the JPA selection in that workbench, window, or page.
JpaViewManager	JPA view manager implemented for any view that can affect a page's JPA selection.
JpaViewManager.PageManager	A view manager's parent page manager.

Class Summary

JpaSelectionManager.Null

A "null" JPA selection manager does nothing.