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 | a2fe25bdc2883d7e6e780a863890f5badb665cdb (patch) | |
tree | 77854e5304e14bc9e719dcbfb05a3726cde5b58a /lib | |
parent | 3c7244702ffe905a617cd4a1fa26d456e5c8d88c (diff) |
Added javascript for Basis.strsindex
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 7 |
1 files changed, 7 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) |