diff dwt/dnd/Clipboard.d @ 7:e831403a80a9

Add 'cast' to casts
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 14:30:35 +0200
parents 1a8b3cb347e0
children d8635bb48c7c
line wrap: on
line diff
--- a/dwt/dnd/Clipboard.d	Wed Aug 27 14:10:03 2008 +0200
+++ b/dwt/dnd/Clipboard.d	Wed Aug 27 14:30:35 2008 +0200
@@ -203,10 +203,10 @@
  *    <code><pre>
  *    Clipboard clipboard = new Clipboard(display);
  *    TextTransfer textTransfer = TextTransfer.getInstance();
- *    String textData = (String)clipboard.getContents(textTransfer);
+ *    String textData = cast(String)clipboard.getContents(textTransfer);
  *    if (textData !is null) System.out.println("Text is "+textData);
  *    RTFTransfer rtfTransfer = RTFTransfer.getInstance();
- *    String rtfData = (String)clipboard.getContents(rtfTransfer);
+ *    String rtfData = cast(String)clipboard.getContents(rtfTransfer);
  *    if (rtfData !is null) System.out.println("RTF Text is "+rtfData);
  *    clipboard.dispose();
  *    </code></pre>
@@ -239,10 +239,10 @@
  *    <code><pre>
  *    Clipboard clipboard = new Clipboard(display);
  *    TextTransfer textTransfer = TextTransfer.getInstance();
- *    String textData = (String)clipboard.getContents(textTransfer);
+ *    String textData = cast(String)clipboard.getContents(textTransfer);
  *    if (textData !is null) System.out.println("Text is "+textData);
  *    RTFTransfer rtfTransfer = RTFTransfer.getInstance();
- *    String rtfData = (String)clipboard.getContents(rtfTransfer, DND.CLIPBOARD);
+ *    String rtfData = cast(String)clipboard.getContents(rtfTransfer, DND.CLIPBOARD);
  *    if (rtfData !is null) System.out.println("RTF Text is "+rtfData);
  *    clipboard.dispose();
  *    </code></pre>
@@ -541,10 +541,10 @@
     for (int i = 0; i < types.length; i++) {
         int type = types[i];
         StringBuffer sb = new StringBuffer();
-        sb.append((char)((type & 0xff000000) >> 24));
-        sb.append((char)((type & 0x00ff0000) >> 16));
-        sb.append((char)((type & 0x0000ff00) >> 8));
-        sb.append((char)((type & 0x000000ff) >> 0));
+        sb.append(cast(wchar)((type & 0xff000000) >> 24));
+        sb.append(cast(wchar)((type & 0x00ff0000) >> 16));
+        sb.append(cast(wchar)((type & 0x0000ff00) >> 8));
+        sb.append(cast(wchar)((type & 0x000000ff) >> 0));
         names[i] = sb.toString();
     }
     return names;