diff options
author | Samuel Dukhovni <dukhovni@mit.edu> | 2014-07-28 20:18:43 -0400 |
---|---|---|
committer | Samuel Dukhovni <dukhovni@mit.edu> | 2014-07-28 20:18:43 -0400 |
commit | 08bbe52588b9d195295f1b5aca14c88a9ae3ea3c (patch) | |
tree | 77854e5304e14bc9e719dcbfb05a3726cde5b58a | |
parent | c771a68c26e952531aca922c0837d961991bd3bc (diff) |
Added javascript for Basis.strsindex
-rw-r--r-- | lib/js/urweb.js | 7 | ||||
-rw-r--r-- | src/settings.sml | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index c3cab50a..76a900f7 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -1212,6 +1212,13 @@ function sidx(s, ch) { else return r; } +function ssidx(h, n) { + var r = h.indexOf(n); + if (r == -1) + return null; + else + return r; +} function sspn(s, chs) { for (var i = 0; i < s.length; ++i) if (chs.indexOf(s.charAt(i)) != -1) diff --git a/src/settings.sml b/src/settings.sml index ec05d84d..ff3ab83a 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -289,6 +289,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("strsuffix", "suf"), ("strlen", "slen"), ("strindex", "sidx"), + ("strsindex", "ssidx"), ("strchr", "schr"), ("substring", "ssub"), ("strcspn", "sspn"), |