Changeset 213:36f5cb12e1a2 for dwt/graphics/Resource.d
- Timestamp:
- 05/17/08 11:34:28 (8 months ago)
- Files:
-
- dwt/graphics/Resource.d (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
dwt/graphics/Resource.d
r174 r213 45 45 Device device; 46 46 47 this() { 48 } 49 50 this(Device device) { 51 if (device is null) device = Device.getDevice(); 52 if (device is null) DWT.error(DWT.ERROR_NULL_ARGUMENT); 53 this.device = device; 54 } 55 56 void destroy() { 57 } 58 47 59 /** 48 60 * Disposes of the operating system resources associated with … … 50 62 * which they allocate. 51 63 */ 52 public abstract void dispose(); 64 public void dispose() { 65 if (device is null) return; 66 if (device.isDisposed()) return; 67 destroy(); 68 if (device.tracking) device.dispose_Object(this); 69 device = null; 70 } 53 71 54 72 /** … … 66 84 } 67 85 86 void init_() { 87 if (device.tracking) device.new_Object(this); 88 } 89 68 90 /** 69 91 * Returns <code>true</code> if the resource has been disposed,
