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 1910, Thu Mar 2 23:45:19 2006 UTC revision 1911, Fri Mar 3 03:33:16 2006 UTC
# Line 34  Line 34 
34      val climbIndex = 2      val climbIndex = 2
35      val topIndex = 6      val topIndex = 6
36    
37      fun mkImage {x, y, wid, ht, data} = let      val dive = (PT{x=15,y=31}, EXeneBase.IMAGE{
38            val data = List.map (List.map Byte.stringToBytes) data              sz = Geometry.SIZE{wid=16, ht=32},
           in (  
             PT{x=x, y=y},  
             EXeneBase.IMAGE{sz = SIZE{wid=wid, ht=ht}, data = data}  
           ) end  
   
     val dive = mkImage {  
             x=15,y=31, wid=16, ht=32,  
39              data = [[              data = [[
40                  "\000\000",                  "\000\000",
41                  "\001\224",                  "\001\224",
# Line 77  Line 70 
70                  "\000\040",                  "\000\040",
71                  "\000\016"                  "\000\016"
72                ]]                ]]
73            }            })
74      val stand = mkImage {      val stand = (PT{x=0,y=31}, EXeneBase.IMAGE{
75              x=0,y=31, wid=16, ht=32,              sz = Geometry.SIZE{wid=16, ht=32},
76              data = [[              data = [[
77                  "\000\000",                  "\000\000",
78                  "\000\000",                  "\000\000",
# Line 114  Line 107 
107                  "\007\192",                  "\007\192",
108                  "\007\192"                  "\007\192"
109                ]]                ]]
110            }            })
111      val climb1 = mkImage {      val climb1 = (PT{x=0,y=25}, EXeneBase.IMAGE{
112              x=0,y=25, wid=16, ht=26,              sz = Geometry.SIZE{wid=16, ht=26},
113              data = [[              data = [[
114                  "\129\192",                  "\129\192",
115                  "\193\224",                  "\193\224",
# Line 145  Line 138 
138                  "\224\000",                  "\224\000",
139                  "\224\000"                  "\224\000"
140                ]]                ]]
141            }            })
142      val climb2 = mkImage {      val climb2 = (PT{x=0,y=25}, EXeneBase.IMAGE{
143              x=0,y=25, wid=16, ht=26,              sz = Geometry.SIZE{wid=16, ht=26},
144              data = [[              data = [[
145                  "\129\192",                  "\129\192",
146                  "\193\224",                  "\193\224",
# Line 176  Line 169 
169                  "\224\000",                  "\224\000",
170                  "\224\000"                  "\224\000"
171                ]]                ]]
172            }            })
173      val climb3 = mkImage {      val climb3 = (PT{x=0,y=25}, EXeneBase.IMAGE{
174              x=0,y=25, wid=16, ht=26,              sz = Geometry.SIZE{wid=16, ht=26},
175              data = [[              data = [[
176                  "\001\192",                  "\001\192",
177                  "\001\224",                  "\001\224",
# Line 207  Line 200 
200                  "\224\000",                  "\224\000",
201                  "\224\000"                  "\224\000"
202                ]]                ]]
203            }            })
204      val climb4 = mkImage {      val climb4 = (PT{x=0,y=25}, EXeneBase.IMAGE{
205              x=0,y=25, wid=16, ht=26,              sz = Geometry.SIZE{wid=16, ht=26},
206              data = [[              data = [[
207                  "\129\192",                  "\129\192",
208                  "\065\224",                  "\065\224",
# Line 238  Line 231 
231                  "\224\000",                  "\224\000",
232                  "\224\000"                  "\224\000"
233                ]]                ]]
234            }            })
235      val top1 = mkImage {      val top1 = (PT{x=8,y=41},EXeneBase.IMAGE{
236              x=8,y=41, wid=16, ht=42,              sz = Geometry.SIZE{wid=16, ht=42},
237              data = [[              data = [[
238                  "\000\028",                  "\000\028",
239                  "\000\100",                  "\000\100",
# Line 285  Line 278 
278                  "\007\112",                  "\007\112",
279                  "\007\112"                  "\007\112"
280                ]]                ]]
281            }            })
282    
283      val top2 = mkImage {      val top2 = (PT{x=10,y=35}, EXeneBase.IMAGE{
284              x=10,y=35, wid=32, ht=36,              sz = Geometry.SIZE{wid=32, ht=36},
285              data = [[              data = [[
286                  "\000\000\000\016",                  "\000\000\000\016",
287                  "\000\000\000\040",                  "\000\000\000\040",
# Line 327  Line 320 
320                  "\001\220\000\000",                  "\001\220\000\000",
321                  "\001\220\000\000"                  "\001\220\000\000"
322                ]]                ]]
323            }            })
324      val top3 = mkImage {      val top3 = (PT{x=10,y=31}, EXeneBase.IMAGE{
325              x=10,y=31, wid=32, ht=32,              sz = Geometry.SIZE{wid=32, ht=32},
326              data = [[              data = [[
327                  "\000\000\000\000",                  "\000\000\000\000",
328                  "\000\000\000\000",                  "\000\000\000\000",
# Line 364  Line 357 
357                  "\001\220\000\000",                  "\001\220\000\000",
358                  "\001\220\000\000"                  "\001\220\000\000"
359                ]]                ]]
360            }            })
361      val top4 = mkImage {      val top4 = (PT{x=8,y=31}, EXeneBase.IMAGE{
362              x=8,y=31, wid=20, ht=32,              sz = Geometry.SIZE{wid=20, ht=32},
363              data = [[              data = [[
364                  "\000\000\000",                  "\000\000\000",
365                  "\000\000\000",                  "\000\000\000",
# Line 401  Line 394 
394                  "\007\112\128",                  "\007\112\128",
395                  "\007\112\000"                  "\007\112\000"
396                ]]                ]]
397            }            })
398    
399      val images = [      val images = [
400        dive, stand, climb1, climb2, climb3, climb4, top1, top2, top3, top4        dive, stand, climb1, climb2, climb3, climb4, top1, top2, top3, top4

Legend:
Removed from v.1910  
changed lines
  Added in v.1911

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