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