1 files changed, 126 insertions, 0 deletions
diff --git a/jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/selection/JpaWindowManager.java b/jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/selection/JpaWindowManager.java
new file mode 100644
index 0000000000..813eb87f43
--- /dev/null
+++ b/jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/selection/JpaWindowManager.java
@@ -0,0 +1,126 @@
+/*******************************************************************************
+ * 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.internal.selection;
+
+import java.util.Hashtable;
+import org.eclipse.jpt.common.utility.internal.StringTools;
+import org.eclipse.jpt.jpa.core.JpaStructureNode;
+import org.eclipse.jpt.jpa.ui.selection.JpaSelectionManager;
+import org.eclipse.ui.IViewPart;
+import org.eclipse.ui.IWorkbenchPage;
+import org.eclipse.ui.IWorkbenchWindow;
+
+/**
+ * Maintain a collection of
+ * {@link JpaSelectionManager JPA selection managers}
+ * keyed by {@link IWorkbenchPage workbench page}.
+ * Forward the selection to the manager for the active page.
+ */
+class JpaWindowManager
+	implements JpaSelectionManager
+{
+	/**
+	 * The manager's parent workbench manager.
+	 */
+	private final JpaWorkbenchManager workbenchManager;
+
+	/**
+	 * The manager's window.
+	 */
+	private final IWorkbenchWindow window;
+
+	/**
+	 * Map workbench pages to JPA workbench page selection managers.
+	 * This is lazily populated and cleaned up by
+	 * the page managers themselves.
+	 */
+	private final Hashtable<IWorkbenchPage, JpaPageManager> pageManagers = new Hashtable<IWorkbenchPage, JpaPageManager>();
+
+
+	JpaWindowManager(JpaWorkbenchManager workbenchManager, IWorkbenchWindow window) {
+		super();
+		if (window == null) {
+			throw new NullPointerException();
+		}
+		this.workbenchManager = workbenchManager;
+		this.window = window;
+	}
+
+
+	// ********** selection **********
+
+	/**
+	 * Forward to the manager for the window's active page.
+	 */
+	public void setSelection(JpaStructureNode selection) {
+		this.getPageManager(this.window.getActivePage()).setSelection(selection);
+	}
+
+
+	// ********** page managers **********
+
+	/**
+	 * Return the JPA selection manager for the specified
+	 * workbench page.
+	 */
+	private JpaSelectionManager getPageManager(IWorkbenchPage page) {
+		return (page == null) ?
+				JpaSelectionManager.Null.instance() :
+				this.getPageManager_(page);
+	}
+
+	private JpaSelectionManager getPageManager_(IWorkbenchPage page) {
+		JpaPageManager manager = this.pageManagers.get(page);
+		return (manager == null) ?
+				JpaSelectionManager.Null.instance() :
+				manager;
+	}
+
+	/**
+	 * <strong>NB:</strong> May trigger construction of page manager.
+	 */
+	JpaPageManager getPageManager(IViewPart view) {
+		IWorkbenchPage page = view.getSite().getPage();
+		synchronized (this.pageManagers) {
+			JpaPageManager manager = this.pageManagers.get(page);
+			if (manager == null) {
+				JpaWorkbenchManager.debug("add page manager:", page); //$NON-NLS-1$
+				manager = new JpaPageManager(this, page);
+				this.pageManagers.put(page, manager);
+			}
+			return manager;
+		}
+	}
+
+	/**
+	 * @see JpaPageManager#dispose()
+	 */
+	void removePageManager(IWorkbenchPage page) {
+		synchronized (this.pageManagers) {
+			JpaWorkbenchManager.debug("remove page manager:", page); //$NON-NLS-1$
+			this.pageManagers.remove(page);
+			if (this.pageManagers.isEmpty()) {
+				this.dispose();
+			}
+		}
+	}
+
+
+	// ********** misc **********
+
+	private void dispose() {
+		this.workbenchManager.removeWindowManager(this.window);
+	}
+
+	@Override
+	public String toString() {
+		return StringTools.buildToStringFor(this, this.window);
+	}
+}