org.eclipse.jpt.jpa.ui.details
Interface JpaDetailsProvider

public interface JpaDetailsProvider

This provider is responsible for creating the JpaDetailsPageManager responsible for showing the information for a JPA structure node.

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:

2.0

See Also:

JpaDetailsPageManager

Method Summary

JpaDetailsPageManager	buildDetailsPageManager(Composite parent, WidgetFactory widgetFactory, ResourceManager resourceManager) Build a new details page manager with the specified parent, widget factory, and resource manager.
Class<? extends JpaStructureNode>	getType() Return the type of structure node for which this provides details

Method Detail

getType

Class<? extends JpaStructureNode> getType()

Return the type of structure node for which this provides details

See Also:

JpaStructureNode.getType()

buildDetailsPageManager

JpaDetailsPageManager buildDetailsPageManager(Composite parent,
                                              WidgetFactory widgetFactory,
                                              ResourceManager resourceManager)

Build a new details page manager with the specified parent, widget factory, and resource manager.