| /******************************************************************************* |
| * Copyright (c) 2006, 2012 Oracle. All rights reserved. |
| * This program and the accompanying materials are made available under the |
| * terms of the Eclipse Public License v1.0, which accompanies this distribution |
| * and is available at http://www.eclipse.org/legal/epl-v10.html. |
| * |
| * Contributors: |
| * Oracle - initial API and implementation |
| ******************************************************************************/ |
| package org.eclipse.jpt.jpa.ui.details; |
| |
| import org.eclipse.jpt.common.ui.WidgetFactory; |
| import org.eclipse.jpt.jpa.core.JpaStructureNode; |
| import org.eclipse.swt.widgets.Composite; |
| |
| /** |
| * This provider is responsible for creating the {@link JpaDetailsPageManager} |
| * responsible for showing the information for a structure node ID. |
| * <p> |
| * 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. |
| * |
| * @version 3.0 |
| * @since 2.0 |
| * |
| * @see JpaDetailsPageManager |
| */ |
| public interface JpaDetailsProvider { |
| /** |
| * Return whether the provider can build a details page manager for the |
| * specified JPA structure node. |
| */ |
| boolean providesDetails(JpaStructureNode structureNode); |
| |
| /** |
| * Build a new details page manager with the specified parent and widget |
| * factory. |
| */ |
| // TODO pass in JpaUiFactory so these pages can be built using the factory and overridden? |
| JpaDetailsPageManager<? extends JpaStructureNode> buildDetailsPageManager( |
| Composite parent, |
| WidgetFactory widgetFactory); |
| } |