OLD | NEW |
1 function string.startsWith(String,Start) | 1 function string.startsWith(String,Start) |
2 return string.sub(String,1,string.len(Start))==Start | 2 return string.sub(String,1,string.len(Start))==Start |
3 end | 3 end |
4 | 4 |
5 function string.endsWith(String,End) | 5 function string.endsWith(String,End) |
6 return End=='' or string.sub(String,-string.len(End))==End | 6 return End=='' or string.sub(String,-string.len(End))==End |
7 end | 7 end |
8 | 8 |
9 function tostr(t) | 9 function tostr(t) |
10 local str = "" | 10 local str = "" |
(...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
59 num_identity_bitmaps = num_identity_bitmaps + 1 | 59 num_identity_bitmaps = num_identity_bitmaps + 1 |
60 end | 60 end |
61 end | 61 end |
62 end | 62 end |
63 | 63 |
64 function sk_scrape_summarize() | 64 function sk_scrape_summarize() |
65 io.write( "identity = ", num_identity_bitmaps, | 65 io.write( "identity = ", num_identity_bitmaps, |
66 ", translated = ", num_translated_bitmaps, | 66 ", translated = ", num_translated_bitmaps, |
67 ", scaled = ", num_scaled_bitmaps, | 67 ", scaled = ", num_scaled_bitmaps, |
68 ", affine = ", num_affine_bitmaps, | 68 ", affine = ", num_affine_bitmaps, |
69 ", perspective = ", num_perspective_bitmaps) | 69 ", perspective = ", num_perspective_bitmaps, |
| 70 "\n") |
70 end | 71 end |
71 | 72 |
OLD | NEW |