File: ScrollBase.sml

package info (click to toggle)
polyml 5.7.1-5
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, sid
  • size: 40,616 kB
  • sloc: cpp: 44,142; ansic: 26,963; sh: 22,002; asm: 13,486; makefile: 602; exp: 525; python: 253; awk: 91
file content (70 lines) | stat: -rw-r--r-- 2,882 bytes parent folder | download | duplicates (4)
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
(*
    Copyright (c) 2001, 2015
        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 version 2.1 as published by the Free Software Foundation.
    
    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
*)

structure ScrollBase =
struct
    local
        open Foreign Base
    in
        type enableArrows = { enableLeftUp: bool, enableRightDown: bool }
        val ESB_ENABLE_BOTH = { enableLeftUp = true, enableRightDown = true }
        val ESB_DISABLE_BOTH = { enableLeftUp = false, enableRightDown = false }
        val ESB_DISABLE_LEFT = { enableLeftUp = false, enableRightDown = true }
        val ESB_DISABLE_RIGHT = { enableLeftUp = true, enableRightDown = false }
        val ESB_DISABLE_UP = ESB_DISABLE_LEFT
        val ESB_DISABLE_DOWN = ESB_DISABLE_RIGHT

        local
            (* The arrows are disabled if the bit is set. *)
            fun toInt({enableLeftUp: bool, enableRightDown}: enableArrows) =
                IntInf.orb(if enableLeftUp then 0 else 1,
                           if enableRightDown then 0 else 2)
            and fromInt i : enableArrows =
                {enableLeftUp = IntInf.andb(i, 1) = 0,
                 enableRightDown = IntInf.andb(i, 2) = 0} 
        in
            (* It's easier to use the functions directly for messages *)
            val ENABLESCROLLBARFLAG = (toInt, fromInt)
            val cENABLESCROLLBARFLAG = absConversion{rep = toInt, abs = fromInt} cUint
        end

        type SCROLLINFO =
            { minPos: int, maxPos: int, pageSize: int, pos: int, trackPos: int }

        datatype ScrollInfoOption =
            SIF_RANGE | SIF_PAGE | SIF_POS | SIF_DISABLENOSCROLL | SIF_TRACKPOS

        val SIF_ALL = [SIF_RANGE, SIF_PAGE, SIF_POS, SIF_TRACKPOS]

        local
            val tab = [
                (SIF_RANGE,           0wx0001),
                (SIF_PAGE,            0wx0002),
                (SIF_POS,             0wx0004),
                (SIF_DISABLENOSCROLL, 0wx0008),
                (SIF_TRACKPOS,        0wx0010)]
        in
            (*val (fromSIF, toSIF) = tableSetLookup(tab, NONE)*)
            val cSCROLLINFOOPTION = tableSetConversion(tab, NONE)
        end

        (* Needed in Scrollbar and also Messages *)
        val cSCROLLINFOSTRUCT =
            cStruct7(cUint, cSCROLLINFOOPTION, cInt, cInt, cUint, cInt, cInt)
    end
end;