Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /smlnj-lib/trunk/HTML4/html4.g
ViewVC logotype

Diff of /smlnj-lib/trunk/HTML4/html4.g

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3530, Tue May 18 21:26:05 2010 UTC revision 3531, Fri May 21 00:12:21 2010 UTC
# Line 16  Line 16 
16    
17  );  );
18    
19  %tokens        : OPENTAG of Atom.atom * string  %tokens        : OPENTAG of Atom.atom * HTML4Utils.tag_payload
20                 | CLOSETAG of Atom.atom                 | CLOSETAG of Atom.atom
21                 | COMMENT of string                 | COMMENT of string
22                 | PCDATA of string                 | PCDATA of string
# Line 25  Line 25 
25                 | ENTITY_REF of Atom.atom                 | ENTITY_REF of Atom.atom
26                 | XML_PROCESSING of string                 | XML_PROCESSING of string
27                 (* HTML 4 element tokens. *)                 (* HTML 4 element tokens. *)
28                 | STARTA of string                 | STARTA of HTML4Utils.tag_payload
29                 | ENDA                 | ENDA
30                 | STARTABBR of string                 | STARTABBR of HTML4Utils.tag_payload
31                 | ENDABBR                 | ENDABBR
32                 | STARTACRONYM of string                 | STARTACRONYM of HTML4Utils.tag_payload
33                 | ENDACRONYM                 | ENDACRONYM
34                 | STARTADDRESS of string                 | STARTADDRESS of HTML4Utils.tag_payload
35                 | ENDADDRESS                 | ENDADDRESS
36                 | STARTAPPLET of string                 | STARTAPPLET of HTML4Utils.tag_payload
37                 | ENDAPPLET                 | ENDAPPLET
38                 | STARTAREA of string                 | STARTAREA of HTML4Utils.tag_payload
39                 (* No END tag for AREA element. *)                 (* No END tag for AREA element. *)
40                 | STARTB of string                 | STARTB of HTML4Utils.tag_payload
41                 | ENDB                 | ENDB
42                 | STARTBASE of string                 | STARTBASE of HTML4Utils.tag_payload
43                 (* No END tag for BASE element. *)                 (* No END tag for BASE element. *)
44                 | STARTBASEFONT of string                 | STARTBASEFONT of HTML4Utils.tag_payload
45                 (* No END tag for BASEFONT element. *)                 (* No END tag for BASEFONT element. *)
46                 | STARTBDO of string                 | STARTBDO of HTML4Utils.tag_payload
47                 | ENDBDO                 | ENDBDO
48                 | STARTBIG of string                 | STARTBIG of HTML4Utils.tag_payload
49                 | ENDBIG                 | ENDBIG
50                 | STARTBLOCKQUOTE of string                 | STARTBLOCKQUOTE of HTML4Utils.tag_payload
51                 | ENDBLOCKQUOTE                 | ENDBLOCKQUOTE
52                 | STARTBODY of string                 | STARTBODY of HTML4Utils.tag_payload
53                 | ENDBODY                 | ENDBODY
54                 | STARTBR of string                 | STARTBR of HTML4Utils.tag_payload
55                 (* No END tag for BR element. *)                 (* No END tag for BR element. *)
56                 | STARTBUTTON of string                 | STARTBUTTON of HTML4Utils.tag_payload
57                 | ENDBUTTON                 | ENDBUTTON
58                 | STARTCAPTION of string                 | STARTCAPTION of HTML4Utils.tag_payload
59                 | ENDCAPTION                 | ENDCAPTION
60                 | STARTCENTER of string                 | STARTCENTER of HTML4Utils.tag_payload
61                 | ENDCENTER                 | ENDCENTER
62                 | STARTCITE of string                 | STARTCITE of HTML4Utils.tag_payload
63                 | ENDCITE                 | ENDCITE
64                 | STARTCODE of string                 | STARTCODE of HTML4Utils.tag_payload
65                 | ENDCODE                 | ENDCODE
66                 | STARTCOL of string                 | STARTCOL of HTML4Utils.tag_payload
67                 (* No END tag for COL element. *)                 (* No END tag for COL element. *)
68                 | STARTCOLGROUP of string                 | STARTCOLGROUP of HTML4Utils.tag_payload
69                 | ENDCOLGROUP                 | ENDCOLGROUP
70                 | STARTDD of string                 | STARTDD of HTML4Utils.tag_payload
71                 | ENDDD                 | ENDDD
72                 | STARTDEL of string                 | STARTDEL of HTML4Utils.tag_payload
73                 | ENDDEL                 | ENDDEL
74                 | STARTDFN of string                 | STARTDFN of HTML4Utils.tag_payload
75                 | ENDDFN                 | ENDDFN
76                 | STARTDIR of string                 | STARTDIR of HTML4Utils.tag_payload
77                 | ENDDIR                 | ENDDIR
78                 | STARTDIV of string                 | STARTDIV of HTML4Utils.tag_payload
79                 | ENDDIV                 | ENDDIV
80                 | STARTDL of string                 | STARTDL of HTML4Utils.tag_payload
81                 | ENDDL                 | ENDDL
82                 | STARTDT of string                 | STARTDT of HTML4Utils.tag_payload
83                 | ENDDT                 | ENDDT
84                 | STARTEM of string                 | STARTEM of HTML4Utils.tag_payload
85                 | ENDEM                 | ENDEM
86                 | STARTFIELDSET of string                 | STARTFIELDSET of HTML4Utils.tag_payload
87                 | ENDFIELDSET                 | ENDFIELDSET
88                 | STARTFONT of string                 | STARTFONT of HTML4Utils.tag_payload
89                 | ENDFONT                 | ENDFONT
90                 | STARTFORM of string                 | STARTFORM of HTML4Utils.tag_payload
91                 | ENDFORM                 | ENDFORM
92                 | STARTFRAME of string                 | STARTFRAME of HTML4Utils.tag_payload
93                 (* No END tag for FRAME element. *)                 (* No END tag for FRAME element. *)
94                 | STARTFRAMESET of string                 | STARTFRAMESET of HTML4Utils.tag_payload
95                 | ENDFRAMESET                 | ENDFRAMESET
96                 | STARTH1 of string                 | STARTH1 of HTML4Utils.tag_payload
97                 | ENDH1                 | ENDH1
98                 | STARTH2 of string                 | STARTH2 of HTML4Utils.tag_payload
99                 | ENDH2                 | ENDH2
100                 | STARTH3 of string                 | STARTH3 of HTML4Utils.tag_payload
101                 | ENDH3                 | ENDH3
102                 | STARTH4 of string                 | STARTH4 of HTML4Utils.tag_payload
103                 | ENDH4                 | ENDH4
104                 | STARTH5 of string                 | STARTH5 of HTML4Utils.tag_payload
105                 | ENDH5                 | ENDH5
106                 | STARTH6 of string                 | STARTH6 of HTML4Utils.tag_payload
107                 | ENDH6                 | ENDH6
108                 | STARTHEAD of string                 | STARTHEAD of HTML4Utils.tag_payload
109                 | ENDHEAD                 | ENDHEAD
110                 | STARTHR of string                 | STARTHR of HTML4Utils.tag_payload
111                 (* No END tag for HR element. *)                 (* No END tag for HR element. *)
112                 | STARTHTML of string                 | STARTHTML of HTML4Utils.tag_payload
113                 | ENDHTML                 | ENDHTML
114                 | STARTI of string                 | STARTI of HTML4Utils.tag_payload
115                 | ENDI                 | ENDI
116                 | STARTIFRAME of string                 | STARTIFRAME of HTML4Utils.tag_payload
117                 | ENDIFRAME                 | ENDIFRAME
118                 | STARTIMG of string                 | STARTIMG of HTML4Utils.tag_payload
119                 (* No END tag for IMG element. *)                 (* No END tag for IMG element. *)
120                 | STARTINPUT of string                 | STARTINPUT of HTML4Utils.tag_payload
121                 (* No END tag for INPUT element. *)                 (* No END tag for INPUT element. *)
122                 | STARTINS of string                 | STARTINS of HTML4Utils.tag_payload
123                 | ENDINS                 | ENDINS
124                 | STARTISINDEX of string                 | STARTISINDEX of HTML4Utils.tag_payload
125                 (* No END tag for ISINDEX element. *)                 (* No END tag for ISINDEX element. *)
126                 | STARTKBD of string                 | STARTKBD of HTML4Utils.tag_payload
127                 | ENDKBD                 | ENDKBD
128                 | STARTLABEL of string                 | STARTLABEL of HTML4Utils.tag_payload
129                 | ENDLABEL                 | ENDLABEL
130                 | STARTLEGEND of string                 | STARTLEGEND of HTML4Utils.tag_payload
131                 | ENDLEGEND                 | ENDLEGEND
132                 | STARTLI of string                 | STARTLI of HTML4Utils.tag_payload
133                 | ENDLI                 | ENDLI
134                 | STARTLINK of string                 | STARTLINK of HTML4Utils.tag_payload
135                 (* No END tag for LINK element. *)                 (* No END tag for LINK element. *)
136                 | STARTMAP of string                 | STARTMAP of HTML4Utils.tag_payload
137                 | ENDMAP                 | ENDMAP
138                 | STARTMENU of string                 | STARTMENU of HTML4Utils.tag_payload
139                 | ENDMENU                 | ENDMENU
140                 | STARTMETA of string                 | STARTMETA of HTML4Utils.tag_payload
141                 (* No END tag for META element. *)                 (* No END tag for META element. *)
142                 | STARTNOFRAMES of string                 | STARTNOFRAMES of HTML4Utils.tag_payload
143                 | ENDNOFRAMES                 | ENDNOFRAMES
144                 | STARTNOSCRIPT of string                 | STARTNOSCRIPT of HTML4Utils.tag_payload
145                 | ENDNOSCRIPT                 | ENDNOSCRIPT
146                 | STARTOBJECT of string                 | STARTOBJECT of HTML4Utils.tag_payload
147                 | ENDOBJECT                 | ENDOBJECT
148                 | STARTOL of string                 | STARTOL of HTML4Utils.tag_payload
149                 | ENDOL                 | ENDOL
150                 | STARTOPTGROUP of string                 | STARTOPTGROUP of HTML4Utils.tag_payload
151                 | ENDOPTGROUP                 | ENDOPTGROUP
152                 | STARTOPTION of string                 | STARTOPTION of HTML4Utils.tag_payload
153                 | ENDOPTION                 | ENDOPTION
154                 | STARTP of string                 | STARTP of HTML4Utils.tag_payload
155                 | ENDP                 | ENDP
156                 | STARTPARAM of string                 | STARTPARAM of HTML4Utils.tag_payload
157                 (* No END tag for PARAM element. *)                 (* No END tag for PARAM element. *)
158                 | STARTPRE of string                 | STARTPRE of HTML4Utils.tag_payload
159                 | ENDPRE                 | ENDPRE
160                 | STARTQ of string                 | STARTQ of HTML4Utils.tag_payload
161                 | ENDQ                 | ENDQ
162                 | STARTS of string                 | STARTS of HTML4Utils.tag_payload
163                 | ENDS                 | ENDS
164                 | STARTSAMP of string                 | STARTSAMP of HTML4Utils.tag_payload
165                 | ENDSAMP                 | ENDSAMP
166                 | STARTSCRIPT of string                 | STARTSCRIPT of HTML4Utils.tag_payload
167                 | ENDSCRIPT                 | ENDSCRIPT
168                 | STARTSELECT of string                 | STARTSELECT of HTML4Utils.tag_payload
169                 | ENDSELECT                 | ENDSELECT
170                 | STARTSMALL of string                 | STARTSMALL of HTML4Utils.tag_payload
171                 | ENDSMALL                 | ENDSMALL
172                 | STARTSPAN of string                 | STARTSPAN of HTML4Utils.tag_payload
173                 | ENDSPAN                 | ENDSPAN
174                 | STARTSTRIKE of string                 | STARTSTRIKE of HTML4Utils.tag_payload
175                 | ENDSTRIKE                 | ENDSTRIKE
176                 | STARTSTRONG of string                 | STARTSTRONG of HTML4Utils.tag_payload
177                 | ENDSTRONG                 | ENDSTRONG
178                 | STARTSTYLE of string                 | STARTSTYLE of HTML4Utils.tag_payload
179                 | ENDSTYLE                 | ENDSTYLE
180                 | STARTSUB of string                 | STARTSUB of HTML4Utils.tag_payload
181                 | ENDSUB                 | ENDSUB
182                 | STARTSUP of string                 | STARTSUP of HTML4Utils.tag_payload
183                 | ENDSUP                 | ENDSUP
184                 | STARTTABLE of string                 | STARTTABLE of HTML4Utils.tag_payload
185                 | ENDTABLE                 | ENDTABLE
186                 | STARTTBODY of string                 | STARTTBODY of HTML4Utils.tag_payload
187                 | ENDTBODY                 | ENDTBODY
188                 | STARTTD of string                 | STARTTD of HTML4Utils.tag_payload
189                 | ENDTD                 | ENDTD
190                 | STARTTEXTAREA of string                 | STARTTEXTAREA of HTML4Utils.tag_payload
191                 | ENDTEXTAREA                 | ENDTEXTAREA
192                 | STARTTFOOT of string                 | STARTTFOOT of HTML4Utils.tag_payload
193                 | ENDTFOOT                 | ENDTFOOT
194                 | STARTTH of string                 | STARTTH of HTML4Utils.tag_payload
195                 | ENDTH                 | ENDTH
196                 | STARTTHEAD of string                 | STARTTHEAD of HTML4Utils.tag_payload
197                 | ENDTHEAD                 | ENDTHEAD
198                 | STARTTITLE of string                 | STARTTITLE of HTML4Utils.tag_payload
199                 | ENDTITLE                 | ENDTITLE
200                 | STARTTR of string                 | STARTTR of HTML4Utils.tag_payload
201                 | ENDTR                 | ENDTR
202                 | STARTTT of string                 | STARTTT of HTML4Utils.tag_payload
203                 | ENDTT                 | ENDTT
204                 | STARTU of string                 | STARTU of HTML4Utils.tag_payload
205                 | ENDU                 | ENDU
206                 | STARTUL of string                 | STARTUL of HTML4Utils.tag_payload
207                 | ENDUL                 | ENDUL
208                 | STARTVAR of string                 | STARTVAR of HTML4Utils.tag_payload
209                 | ENDVAR                 | ENDVAR
210  ;  ;
211    

Legend:
Removed from v.3530  
changed lines
  Added in v.3531

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0