comparison lib/js/urweb.js @ 1927:b6aee1d5b9b1

Add JavaScript mappings for isprint and ord
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Dec 2013 17:23:25 -0500
parents abb0e95dcaa1
children a671e5258a2c
comparison
equal deleted inserted replaced
1926:44f607a7f4cd 1927:b6aee1d5b9b1
33 function isDigit(c) { return c >= '0' && c <= '9'; } 33 function isDigit(c) { return c >= '0' && c <= '9'; }
34 function isAlnum(c) { return isAlpha(c) || isDigit(c); } 34 function isAlnum(c) { return isAlpha(c) || isDigit(c); }
35 function isBlank(c) { return c == ' ' || c == '\t'; } 35 function isBlank(c) { return c == ' ' || c == '\t'; }
36 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; } 36 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; }
37 function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); } 37 function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); }
38 function ord(c) { return c.charCodeAt(0); }
39 function isPrint(c) { return ord(c) > 31 && ord(c) < 127; }
38 function toLower(c) { return c.toLowerCase(); } 40 function toLower(c) { return c.toLowerCase(); }
39 function toUpper(c) { return c.toUpperCase(); } 41 function toUpper(c) { return c.toUpperCase(); }
40
41 42
42 // Lists 43 // Lists
43 44
44 function cons(v, ls) { 45 function cons(v, ls) {
45 return { next : ls, data : v }; 46 return { next : ls, data : v };