org.eclipse.jpt.jpa.ui
Interface JpaPlatformUiManager

public interface JpaPlatformUiManager

The org.eclipse.jpt.jpa.ui.jpaPlatformUis extension point corresponding to a Dali JPA workbench.

See org.eclipse.jpt.jpa.ui/plugin.xml:jpaPlatformUis.

Not intended to be implemented by clients.

Provisional API: This interface is part of an interim API that is still under development and expected to change significantly before reaching stability. It is available at this early stage to solicit feedback from pioneering adopters on the understanding that any code that uses this API will almost certainly be broken (repeatedly) as the API evolves.

Since:

3.3

See Also:

JpaPlatformUi

Method Summary

JpaPlatformUi	getJpaPlatformUi(JpaPlatform jpaPlatform) Return the UI for the specified JPA platform.
JpaWorkbench	getJpaWorkbench() Return the manager's Dali JPA workbench.

Method Detail

getJpaWorkbench

JpaWorkbench getJpaWorkbench()

Return the manager's Dali JPA workbench.

getJpaPlatformUi

JpaPlatformUi getJpaPlatformUi(JpaPlatform jpaPlatform)

Return the UI for the specified JPA platform.