Mercurial > urweb
comparison src/scriptcheck.sml @ 799:9330ba3a2799
cselect.onchange
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 14 May 2009 11:04:56 -0400 |
parents | f7e2026dd5ae |
children | 28e42b22424d |
comparison
equal
deleted
inserted
replaced
798:83875a9eb9b8 | 799:9330ba3a2799 |
---|---|
41 "set_client_source"]) | 41 "set_client_source"]) |
42 | 42 |
43 val pushBasis = SS.addList (SS.empty, | 43 val pushBasis = SS.addList (SS.empty, |
44 ["new_channel", | 44 ["new_channel", |
45 "self"]) | 45 "self"]) |
46 | |
47 val events = ["abort", | |
48 "blur", | |
49 "change", | |
50 "click", | |
51 "dblclick", | |
52 "error", | |
53 "focus", | |
54 "keydown", | |
55 "keypress", | |
56 "keyup", | |
57 "load", | |
58 "mousedown", | |
59 "mousemove", | |
60 "mouseout", | |
61 "mouseover", | |
62 "mouseup", | |
63 "reset", | |
64 "resize", | |
65 "select", | |
66 "submit", | |
67 "unload"] | |
46 | 68 |
47 val scriptWords = ["<script", | 69 val scriptWords = "<script" |
48 " onclick='"] | 70 :: map (fn s => "on" ^ s ^ " ='") events |
49 | 71 |
50 val pushWords = ["rv("] | 72 val pushWords = ["rv("] |
51 | 73 |
52 fun classify (ds, ps) = | 74 fun classify (ds, ps) = |
53 let | 75 let |