File: bitViewer.sml

package info (click to toggle)
polyml 5.8.1-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 57,736 kB
  • sloc: cpp: 44,918; ansic: 26,921; asm: 13,495; sh: 4,670; makefile: 610; exp: 525; python: 253; awk: 91
file content (255 lines) | stat: -rw-r--r-- 11,347 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
(*
    Copyright (c) 2001-7
        David C.J. Matthews

    This library is free software; you can redistribute it and/or
    modify it under the terms of the GNU Lesser General Public
    License as published by the Free Software Foundation; either
    version 2.1 of the License, or (at your option) any later version.
    
    This library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    Lesser General Public License for more details.
    
    You should have received a copy of the GNU Lesser General Public
    License along with this library; if not, write to the Free Software
    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
*)
(* Example bitmap viewer. *)
fun bitViewer() =
let
    open Window Message Class Clipboard Menu Bitmap DeviceContext Brush Metafile
    open Font Color Painting Globals

    val app = ApplicationInstance()

    (* Identifiers for the menu items. *)
    val menuCopy = 1
    and menuPaste = 2

    local
        val editMenu =
            let
                val editMenu = CreateMenu();
            in
                AppendMenu(editMenu, [], MenuId menuCopy, MFT_STRING "&Copy");
                AppendMenu(editMenu, [], MenuId menuPaste, MFT_STRING "&Paste");
                editMenu
            end;

    in
        (* Create the main menu and append the sub-menu. *)
        val menu = CreateMenu();
        val _ = AppendMenu(menu, [], MenuHandle editMenu, MFT_STRING "&Edit")
    end;

    (* Window procedure for the window. *)
    fun wndProc(w: HWND, WM_CREATE _, NONE) =
        let
            (* Create a sub-window to display a bitmap. *)
            val static = CreateWindow{class = Static, name = "",
                                style = Static.Style.flags[Static.Style.WS_CHILD, Static.Style.WS_VISIBLE, Static.Style.SS_BITMAP],
                                x  = CW_USEDEFAULT, y = CW_USEDEFAULT,
                                height = CW_USEDEFAULT, width = CW_USEDEFAULT,
                                relation = ChildWindow{parent=w, id=99 (* Not used *)},
                                instance = app, init = ()}
        in
            (LRESINT 0, SOME static) (* Return it as the "state". *)
        end

    |   wndProc(w: HWND, WM_PAINT, state as SOME static) =
            (* WM_PAINT is sent to the window when at least some of it needs to be redrawn. *)
        let
            (* Fill this window with grey.  We use this to fill all the area that
               isn't occupied by the subwindow containing the bitmap.
               A simpler way of doing this is to define a background colour for
               the class in which case we don't have to process this message at all. *)
            val (hdc, ps) = BeginPaint w
            val grey = RGB{red=128, blue=128, green=128}
            val _ = SetBkColor(hdc, grey);
            (* ExtTextOut with the ETO_OPAQUE is a common way of filling an area with
               a single colour. *)
            val _ = ExtTextOut(hdc, {x=0, y=0}, [ETO_OPAQUE], SOME(#paint ps), "", []);
        in
            EndPaint(w, ps);
            (LRESINT 0, state)
        end

    |   wndProc(w: HWND, WM_SIZE {width, height, ...}, state as SOME static) =
            (* The main window has been resized.  Recentre the child window. *)
        let
            val subRect = GetClientRect static  
        in
            MoveWindow{hWnd = static, x = (width - #right subRect) div 2,
                       y = (height - #bottom subRect) div 2,
                       height = #bottom subRect, width = #right subRect, repaint = true};
            (LRESINT 0, state)
        end

    |   wndProc(w: HWND, msg as WM_COMMAND{notifyCode = 0, wId = 1 (* menuCopy*), control},
                state as SOME static) =
        (* WM_COMMAND messages are sent when a menu item is pulled down.  wId is the
           value we set as the ID when we created the menu. *)
        (* Copy the bitmap to the window as a device-independent bitmap.  We could
           equally just copy the bitmap handle and let the clipboard do the work. *)
        let
            val LRESHANDLE (bitMap: HBITMAP) =
                SendMessage(static, STM_GETIMAGE{imageType=IMAGE_BITMAP})
        in
            if isHNull bitMap
            then (DefWindowProc(w, msg), state)
            else (
                OpenClipboard(SOME w);
                let
                    val _ = EmptyClipboard(); (* Become owner. *)
                    val winDC = GetDC static
                    (* The first call returns the header of the bitmap that will be
                       created.  We can use all the defaults in it but we need to
                       know the height which is the number of scan lines. *)
                    val dibHdr as {height, ...} =
                        getBitmapInfoHdr(GetDIBits(winDC, bitMap, 0, 0, NONE))
                    val dib = GetDIBits(winDC, bitMap, 0, height, SOME dibHdr)
                    val _ = ReleaseDC(static, winDC)
                in
                    SetClipboardData(CH_DIB dib)
                end (* Make sure the clipboard is closed if anything goes wrong. *)
                handle exn => (CloseClipboard(); raise exn);
                CloseClipboard();
                (LRESINT 0, state)
                )
        end

    |  wndProc(w: HWND, msg as WM_COMMAND{notifyCode = 0, wId = 2 (* menuPaste*), control},
               state as SOME static) =
        (
        case GetPriorityClipboardFormat[CF_DIB, CF_BITMAP, CF_ENHMETAFILE] of
            (* Some drawing programs paste metafile information rather than bitmaps. *)
            SOME CF_ENHMETAFILE =>
            (
                OpenClipboard(SOME w);

                let
                    val CH_ENHMETAFILE emh = GetClipboardData CF_ENHMETAFILE;
                    (* Get the bounding frame of this metafile.  This gives us the size of
                       the bitmap. *)
                    val hdr as {bounds = { right, left, top, bottom }, ... } = GetEnhMetaFileHeader emh
                    val winDC = GetDC static
                    (* In order to write to a new bitmap we first have to create a memory
                       device context and select a new bitmap into it. *)
                    val memDC = CreateCompatibleDC winDC
                    val emfSize: SIZE = {cx = right - left, cy = bottom - top}
                    val newbm = CreateCompatibleBitmap(winDC, right - left, bottom - top)
                    (* Select the bitmap into the memory DC to draw to it. *)
                    val oldBM = SelectObject(memDC, newbm);
                    (* Play the metafile *)
                    val _ = PlayEnhMetaFile(memDC, emh,
                        {top = 0, left = 0, right = right - left, bottom = bottom - top })
                    (* Deselect the bitmap by selecting in the original (most likely NULL). *)
                    val _ = SelectObject(memDC, oldBM);
                    val _ = DeleteDC memDC (* Get rid of the device context. *)
                    val _ = ReleaseDC(static, winDC)
                in
                    setBitmap(newbm, w, static)
                end
                (* Make sure the clipboard is closed if anything goes wrong. *)
                handle exn => (CloseClipboard(); raise exn);

                CloseClipboard();
                (LRESINT 0, state)
            )

        |   SOME CF_DIB =>
            (
                OpenClipboard(SOME w);

                let
                    val CH_DIB dib = GetClipboardData CF_DIB;
                    val winDC = GetDC static
                    val { width, height, ...} = getBitmapInfoHdr dib
                    (* Height could be negative for a top-down DIB. *)
                    val newbm = CreateCompatibleBitmap(winDC, width, abs height)
                    val _ = SetDIBits(winDC, newbm, 0, abs height, dib)
                    val _ = ReleaseDC(static, winDC)
                in
                    setBitmap(newbm, w, static)
                end
                (* Make sure the clipboard is closed if anything goes wrong. *)
                handle exn => (CloseClipboard(); raise exn);

                CloseClipboard();
                (LRESINT 0, state)
            )

        (* The clipboard synthesises DIBs from bitmaps so this code will never be
           executed.  It's included for information only. *)
        |   SOME CF_BITMAP =>
            (
                OpenClipboard(SOME w);
                let
                    val CH_BITMAP hb = GetClipboardData CF_BITMAP;
                    (* Get the size of the bitmap *)
                    val GO_Bitmap (bmp as {widthBytes, height, ...}) = GetObject hb
                    (* Create a copy. *)
                    val newb = CreateBitmapIndirect bmp
                    val bytes = widthBytes*height
                    val v = GetBitmapBits(hb, bytes)
                    val _  = SetBitmapBits(newb, v);
                in
                    setBitmap(newb, w, static)
                end
                (* Make sure the clipboard is closed if anything goes wrong. *)
                handle exn => (CloseClipboard(); raise exn);

                CloseClipboard();
                (LRESINT 0, state)
            )
        |   _ => (DefWindowProc(w, msg), state) (* Nothing we can use. *)
        )

    |  wndProc(w: HWND, msg as WM_NCDESTROY, state) =
        (* When the window is closed we send a QUIT message which exits from the application loop. *)
        (PostQuitMessage 0; (DefWindowProc(w, msg), state))

    |  wndProc(w: HWND, msg: Message, state) =
        (DefWindowProc(w, msg), state) (* Anything else. *)

    and setBitmap(newb: HBITMAP, main: HWND, static: HWND) =
    let
        (* Set this copy as the new image and get back the old one. *)
        val LRESHANDLE oldBM =
            SendMessage(static, STM_SETIMAGE{image=newb, imageType=IMAGE_BITMAP})
        (* Get the size of the main window and the subwindow. *)
        val mainRect = GetClientRect main
        and subRect = GetClientRect static  
    in
        (* If there was previously a bitmap we have to delete it. *)
        if isHNull oldBM
        then ()
        else DeleteObject oldBM;
        (* Centre the window. *)
        MoveWindow{hWnd = static, x = (#right mainRect - #right subRect) div 2,
                   y = (#bottom mainRect - #bottom subRect) div 2,
                   height = #bottom subRect, width = #right subRect, repaint = true}
    end

    (* Register a window class. *)
    val at = Class.RegisterClassEx{style = Class.Style.flags[],
        wndProc = wndProc,
        hInstance = app,
        hIcon = NONE, hCursor = NONE, hbrBackGround = NONE, menuName = NONE,
        className = "bitViewerClass", hIconSm = NONE};
    
    val w = CreateWindow{class = at, name = "bitViewer", style = Window.Style.WS_OVERLAPPEDWINDOW,
        x  = CW_USEDEFAULT, y = CW_USEDEFAULT, height = CW_USEDEFAULT, width = CW_USEDEFAULT,
        relation = PopupWindow menu,
        instance = app, init = NONE};

in

    ShowWindow(w, SW_SHOW);
    SetForegroundWindow w;
    
    RunApplication();
    UnregisterClass("bitViewerClass", app)
end;