diff dwtx/jface/resource/DeviceResourceManager.d @ 9:6c14e54dfc11

completed /jface/resource/
author Frank Benoit <benoit@tionex.de>
date Sat, 29 Mar 2008 02:25:12 +0100
parents
children ea8ff534f622
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dwtx/jface/resource/DeviceResourceManager.d	Sat Mar 29 02:25:12 2008 +0100
@@ -0,0 +1,94 @@
+/*******************************************************************************
+ * Copyright (c) 2004, 2006 IBM Corporation and others.
+ * 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:
+ *     IBM Corporation - initial API and implementation
+ * Port to the D programming language:
+ *     Frank Benoit <benoit@tionex.de>
+ *******************************************************************************/
+module dwtx.jface.resource.DeviceResourceManager;
+
+import dwtx.jface.resource.AbstractResourceManager;
+import dwtx.jface.resource.DeviceResourceDescriptor;
+import dwtx.jface.resource.ImageDescriptor;
+
+import dwt.graphics.Device;
+import dwt.graphics.Image;
+
+import dwt.dwthelper.utils;
+
+/**
+ * Manages DWT resources for a particular device.
+ *
+ * <p>
+ * IMPORTANT: in most cases clients should use a <code>LocalResourceManager</code> instead of a
+ * <code>DeviceResourceManager</code>. To create a resource manager on a particular display,
+ * use <code>new LocalResourceManager(JFaceResources.getResources(myDisplay))</code>.
+ * <code>DeviceResourceManager</code> should only be used directly when managing
+ * resources for a device other than a Display (such as a printer).
+ * </p>
+ *
+ * @see LocalResourceManager
+ *
+ * @since 3.1
+ */
+public final class DeviceResourceManager : AbstractResourceManager {
+
+    private Device device;
+    private Image missingImage;
+
+    /* (non-Javadoc)
+     * @see dwtx.jface.resource.ResourceManager#getDevice()
+     */
+    public Device getDevice() {
+        return device;
+    }
+
+    /**
+     * Creates a new registry for the given device.
+     *
+     * @param device device to manage
+     */
+    public this(Device device) {
+        this.device = device;
+    }
+
+    /* (non-Javadoc)
+     * @see dwtx.jface.resource.AbstractResourceManager#allocate(dwtx.jface.resource.DeviceResourceDescriptor)
+     */
+    protected Object allocate(DeviceResourceDescriptor descriptor){
+        return descriptor.createResource(device);
+    }
+
+    /* (non-Javadoc)
+     * @see dwtx.jface.resource.AbstractResourceManager#deallocate(java.lang.Object, dwtx.jface.resource.DeviceResourceDescriptor)
+     */
+    protected void deallocate(Object resource, DeviceResourceDescriptor descriptor) {
+        descriptor.destroyResource(resource);
+    }
+
+    /* (non-Javadoc)
+     * @see dwtx.jface.resource.ResourceManager#getDefaultImage()
+     */
+    protected Image getDefaultImage() {
+        if (missingImage is null) {
+            missingImage = ImageDescriptor.getMissingImageDescriptor().createImage();
+        }
+        return missingImage;
+    }
+
+    /* (non-Javadoc)
+     * @see dwtx.jface.resource.AbstractResourceManager#dispose()
+     */
+    public void dispose() {
+        super.dispose();
+        if (missingImage !is null) {
+            missingImage.dispose();
+            missingImage = null;
+        }
+    }
+}