Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/eXene/examples/add/images.sml
ViewVC logotype

Diff of /sml/trunk/src/eXene/examples/add/images.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 1502, Mon May 31 23:10:42 2004 UTC
# Line 34  Line 34 
34      val climbIndex = 2      val climbIndex = 2
35      val topIndex = 6      val topIndex = 6
36    
37      val dive = (PT{x=15,y=31}, EXeneBase.IMAGE{      fun mkImage {x, y, wid, ht, data} = let
38              sz = Geometry.SIZE{wid=16, ht=32},            val data = List.map (List.map Byte.stringToBytes) data
39              in (
40                PT{x=x, y=y},
41                EXeneBase.IMAGE{sz = SIZE{wid=wid, ht=ht}, data = data}
42              ) end
43    
44        val dive = mkImage {
45                x=15,y=31, wid=16, ht=32,
46              data = [[              data = [[
47                  "\000\000",                  "\000\000",
48                  "\001\224",                  "\001\224",
# Line 70  Line 77 
77                  "\000\040",                  "\000\040",
78                  "\000\016"                  "\000\016"
79                ]]                ]]
80            })            }
81      val stand = (PT{x=0,y=31}, EXeneBase.IMAGE{      val stand = mkImage {
82              sz = Geometry.SIZE{wid=16, ht=32},              x=0,y=31, wid=16, ht=32,
83              data = [[              data = [[
84                  "\000\000",                  "\000\000",
85                  "\000\000",                  "\000\000",
# Line 107  Line 114 
114                  "\007\192",                  "\007\192",
115                  "\007\192"                  "\007\192"
116                ]]                ]]
117            })            }
118      val climb1 = (PT{x=0,y=25}, EXeneBase.IMAGE{      val climb1 = mkImage {
119              sz = Geometry.SIZE{wid=16, ht=26},              x=0,y=25, wid=16, ht=26,
120              data = [[              data = [[
121                  "\129\192",                  "\129\192",
122                  "\193\224",                  "\193\224",
# Line 138  Line 145 
145                  "\224\000",                  "\224\000",
146                  "\224\000"                  "\224\000"
147                ]]                ]]
148            })            }
149      val climb2 = (PT{x=0,y=25}, EXeneBase.IMAGE{      val climb2 = mkImage {
150              sz = Geometry.SIZE{wid=16, ht=26},              x=0,y=25, wid=16, ht=26,
151              data = [[              data = [[
152                  "\129\192",                  "\129\192",
153                  "\193\224",                  "\193\224",
# Line 169  Line 176 
176                  "\224\000",                  "\224\000",
177                  "\224\000"                  "\224\000"
178                ]]                ]]
179            })            }
180      val climb3 = (PT{x=0,y=25}, EXeneBase.IMAGE{      val climb3 = mkImage {
181              sz = Geometry.SIZE{wid=16, ht=26},              x=0,y=25, wid=16, ht=26,
182              data = [[              data = [[
183                  "\001\192",                  "\001\192",
184                  "\001\224",                  "\001\224",
# Line 200  Line 207 
207                  "\224\000",                  "\224\000",
208                  "\224\000"                  "\224\000"
209                ]]                ]]
210            })            }
211      val climb4 = (PT{x=0,y=25}, EXeneBase.IMAGE{      val climb4 = mkImage {
212              sz = Geometry.SIZE{wid=16, ht=26},              x=0,y=25, wid=16, ht=26,
213              data = [[              data = [[
214                  "\129\192",                  "\129\192",
215                  "\065\224",                  "\065\224",
# Line 231  Line 238 
238                  "\224\000",                  "\224\000",
239                  "\224\000"                  "\224\000"
240                ]]                ]]
241            })            }
242      val top1 = (PT{x=8,y=41},EXeneBase.IMAGE{      val top1 = mkImage {
243              sz = Geometry.SIZE{wid=16, ht=42},              x=8,y=41, wid=16, ht=42,
244              data = [[              data = [[
245                  "\000\028",                  "\000\028",
246                  "\000\100",                  "\000\100",
# Line 278  Line 285 
285                  "\007\112",                  "\007\112",
286                  "\007\112"                  "\007\112"
287                ]]                ]]
288            })            }
289    
290      val top2 = (PT{x=10,y=35}, EXeneBase.IMAGE{      val top2 = mkImage {
291              sz = Geometry.SIZE{wid=32, ht=36},              x=10,y=35, wid=32, ht=36,
292              data = [[              data = [[
293                  "\000\000\000\016",                  "\000\000\000\016",
294                  "\000\000\000\040",                  "\000\000\000\040",
# Line 320  Line 327 
327                  "\001\220\000\000",                  "\001\220\000\000",
328                  "\001\220\000\000"                  "\001\220\000\000"
329                ]]                ]]
330            })            }
331      val top3 = (PT{x=10,y=31}, EXeneBase.IMAGE{      val top3 = mkImage {
332              sz = Geometry.SIZE{wid=32, ht=32},              x=10,y=31, wid=32, ht=32,
333              data = [[              data = [[
334                  "\000\000\000\000",                  "\000\000\000\000",
335                  "\000\000\000\000",                  "\000\000\000\000",
# Line 357  Line 364 
364                  "\001\220\000\000",                  "\001\220\000\000",
365                  "\001\220\000\000"                  "\001\220\000\000"
366                ]]                ]]
367            })            }
368      val top4 = (PT{x=8,y=31}, EXeneBase.IMAGE{      val top4 = mkImage {
369              sz = Geometry.SIZE{wid=20, ht=32},              x=8,y=31, wid=20, ht=32,
370              data = [[              data = [[
371                  "\000\000\000",                  "\000\000\000",
372                  "\000\000\000",                  "\000\000\000",
# Line 394  Line 401 
401                  "\007\112\128",                  "\007\112\128",
402                  "\007\112\000"                  "\007\112\000"
403                ]]                ]]
404            })            }
405    
406      val images = [      val images = [
407        dive, stand, climb1, climb2, climb3, climb4, top1, top2, top3, top4        dive, stand, climb1, climb2, climb3, climb4, top1, top2, top3, top4

Legend:
Removed from v.651  
changed lines
  Added in v.1502

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0