html-gram

这是我们参加06年全国开源软件的竞赛作品

	: (* empty *)
		([])
	| Text BodyContent1
		(consText(Text, BodyContent1))
	| BodyElement BodyContent1
		(consBlock(BodyElement, BodyContent1))
	| Block BodyContent1
		(consBlock(Block, BodyContent1))
	| Paragraph END_P BodyContent1
		(consBlock(Paragraph, BodyContent1))
	| Paragraph BodyContent2
		(consBlock(Paragraph, BodyContent2))

BodyContent2
	: (* empty *)
		([])
	| BodyElement BodyContent1
		(consBlock(BodyElement, BodyContent1))
	| Block BodyContent1
		(consBlock(Block, BodyContent1))
	| Paragraph END_P BodyContent1
		(consBlock(Paragraph, BodyContent1))
	| Paragraph BodyContent2
		(consBlock(Paragraph, BodyContent2))

BodyElement
	: START_H1 TextList END_H1
		(HTMLAttrs.mkHn(1, ctx START_H1left, START_H1, TextList))
	| START_H2 TextList END_H2
		(HTMLAttrs.mkHn(2, ctx START_H2left, START_H2, TextList))
	| START_H3 TextList END_H3
		(HTMLAttrs.mkHn(3, ctx START_H3left, START_H3, TextList))
	| START_H4 TextList END_H4
		(HTMLAttrs.mkHn(4, ctx START_H4left, START_H4, TextList))
	| START_H5 TextList END_H5
		(HTMLAttrs.mkHn(5, ctx START_H5left, START_H5, TextList))
	| START_H6 TextList END_H6
		(HTMLAttrs.mkHn(6, ctx START_H6left, START_H6, TextList))
	| START_ADDRESS AddressContent1 END_ADDRESS
		(HTML.ADDRESS(mkBlock AddressContent1))

AddressContent1
	: (* empty *)
		([])
	| Text AddressContent1
		(consText(Text, AddressContent1))
	| Paragraph END_P AddressContent1
		(consBlock(Paragraph, AddressContent1))
	| Paragraph AddressContent2
		(consBlock(Paragraph, AddressContent2))

AddressContent2
	: (* empty *)
		([])
	| Paragraph END_P AddressContent1
		(consBlock(Paragraph, AddressContent1))
	| Paragraph AddressContent2
		(consBlock(Paragraph, AddressContent2))

(*** Block ***)

BlockWOIndex
	: List
		(List)
	| Preformatted
		(Preformatted)
	| START_DIV BodyContent END_DIV
		(HTMLAttrs.mkDIV(ctx START_DIVleft, START_DIV, BodyContent))
	| START_CENTER BodyContent END_CENTER
		(HTML.CENTER BodyContent)
	| START_BLOCKQUOTE BodyContent END_BLOCKQUOTE
		(HTML.BLOCKQUOTE BodyContent)
	| START_FORM BodyContent END_FORM
		(HTMLAttrs.mkFORM(ctx START_FORMleft, START_FORM, BodyContent))
	| TAG_HR
		(HTMLAttrs.mkHR(ctx TAG_HRleft, TAG_HR))
	| START_TABLE optCaption TableRowList END_TABLE
		(HTMLAttrs.mkTABLE(
		    ctx START_TABLEleft, START_TABLE,
		    {caption = optCaption, body = TableRowList})
		)

Block
	: BlockWOIndex
		(BlockWOIndex)
	| TAG_ISINDEX
		(let val stuff =
		    HTMLAttrs.mkISINDEX (ctx TAG_ISINDEXleft, TAG_ISINDEX)
		  in HTML.ISINDEX stuff end
		)

Paragraph
	: START_P TextList
		(HTMLAttrs.mkP(ctx START_Pleft, START_P, TextList))

List
	: START_UL ListItemList END_UL
		(HTMLAttrs.mkUL(ctx START_ULleft, START_UL, ListItemList))
	| START_OL ListItemList END_OL
		(HTMLAttrs.mkOL(ctx START_OLleft, START_OL, ListItemList))
	| START_DIR ListItemList END_DIR
		(HTMLAttrs.mkDIR(ctx START_DIRleft, START_DIR, ListItemList))
	| START_MENU ListItemList END_MENU
		(HTMLAttrs.mkMENU(ctx START_MENUleft, START_MENU, ListItemList))
	| START_DL DLItemList END_DL
		(HTMLAttrs.mkDL(
		  ctx START_DLleft, START_DL,
		  groupDefListContents DLItemList)
		)

ListItemList
	: (* empty *)
		([])
	| ListItem ListItemList
		(ListItem :: ListItemList)

ListItem
	: START_LI Flow1 EndLI
		(HTMLAttrs.mkLI(ctx START_LIleft, START_LI, mkBlock Flow1))

DLItemList
	: (* empty *)
		([])
	| DLItem DLItemList
		(DLItem :: DLItemList)

DLItem
	: START_DT TextList EndDT
		(DL_tag TextList)
	| START_DD Flow1 EndDD
		(DL_item(mkBlock Flow1))

Flow1
	: (* empty *)
		([])
	| Text Flow1
		(consText(Text, Flow1))
	| Block Flow1
		(consBlock(Block, Flow1))
	| Paragraph END_P Flow1
		(consBlock(Paragraph, Flow1))
	| Paragraph Flow2
		(consBlock(Paragraph, Flow2))

Flow2
	: (* empty *)
		([])
	| Block Flow1
		(consBlock(Block, Flow1))
	| Paragraph END_P Flow1
		(consBlock(Paragraph, Flow1))
	| Paragraph Flow2
		(consBlock(Paragraph, Flow2))

EndLI
	: (* empty *)	()
	| END_LI	()
EndDT
	: (* empty *)	()
	| END_DT	()
EndDD
	: (* empty *)	()
	| END_DD	()

Preformatted
	: START_PRE TextList END_PRE
		(HTMLAttrs.mkPRE(ctx START_PREleft, START_PRE, TextList))

(*** Tables ***)

optCaption
	: (* empty *)
		(NONE)
	| START_CAPTION TextList END_CAPTION
		(SOME(HTMLAttrs.mkCAPTION(
		  ctx START_CAPTIONleft, START_CAPTION, TextList)))

TableRowList
	: TableRow
		([TableRow])
	| TableRow TableRowList
		(TableRow :: TableRowList)

TableRow
	: START_TR TableCellList
		(HTMLAttrs.mkTR(ctx START_TRleft, START_TR, TableCellList))
	| START_TR TableCellList END_TR
		(HTMLAttrs.mkTR(ctx START_TRleft, START_TR, TableCellList))

TableCellList
	: TableCell
		([TableCell])
	| TableCell TableCellList
		(TableCell :: TableCellList)

TableCell
	: START_TH BodyContent END_TH
		(HTMLAttrs.mkTH(ctx START_THleft, START_TH, BodyContent))
	| START_TH BodyContent
		(HTMLAttrs.mkTH(ctx START_THleft, START_TH, BodyContent))
	| START_TD BodyContent END_TD
		(HTMLAttrs.mkTD(ctx START_TDleft, START_TD, BodyContent))
	| START_TD BodyContent
		(HTMLAttrs.mkTD(ctx START_TDleft, START_TD, BodyContent))

(*** Text ***)

TextList
	: TextList'
		(textList TextList')

TextList'
	: (* empty *)
		([])
	| Text TextList'
		(Text :: TextList')

TextWOScript
	: PCDataElem
		(HTML.PCDATA PCDataElem)
	| Font
		(Font)
	| Phrase
		(Phrase)
	| Special
		(Special)
	| Form
		(Form)

Text
	: TextWOScript
		(TextWOScript)
	| START_SCRIPT PCData END_SCRIPT
		(HTML.SCRIPT PCData)
		
Font
	: START_TT TextList END_TT
		(HTML.TT(TextList))
	| START_I TextList END_I
		(HTML.I(TextList))
	| START_B TextList END_B
		(HTML.B(TextList))
	| START_U TextList END_U
		(HTML.U(TextList))
	| START_STRIKE TextList END_STRIKE
		(HTML.STRIKE(TextList))
	| START_BIG TextList END_BIG
		(HTML.BIG(TextList))
	| START_SMALL TextList END_SMALL
		(HTML.SMALL(TextList))
	| START_SUB TextList END_SUB
		(HTML.SUB(TextList))
	| START_SUP TextList END_SUP
		(HTML.SUP(TextList))
Phrase
	: START_EM TextList END_EM
		(HTML.EM(TextList))
	| START_STRONG TextList END_STRONG
		(HTML.STRONG(TextList))
	| START_CODE TextList END_CODE
		(HTML.CODE(TextList))
	| START_DFN TextList END_DFN
		(HTML.DFN(TextList))
	| START_SAMP TextList END_SAMP
		(HTML.SAMP(TextList))
	| START_KBD TextList END_KBD
		(HTML.KBD(TextList))
	| START_VAR TextList END_VAR
		(HTML.VAR(TextList))
	| START_CITE TextList END_CITE
		(HTML.CITE(TextList))

Special
	: START_A TextList END_A
		(HTMLAttrs.mkA(ctx START_Aleft, START_A, TextList))
	| TAG_IMG
		(HTMLAttrs.mkIMG(ctx TAG_IMGleft, TAG_IMG))
	| START_APPLET TextList END_APPLET
		(HTMLAttrs.mkAPPLET(ctx START_APPLETleft, START_APPLET, TextList))
	| START_FONT TextList END_FONT
		(HTMLAttrs.mkFONT(ctx START_FONTleft, START_FONT, TextList))
	| START_BASEFONT TextList END_BASEFONT
		(HTMLAttrs.mkBASEFONT(
		  ctx START_BASEFONTleft, START_BASEFONT, TextList)
		)
	| TAG_BR
		(HTMLAttrs.mkBR(ctx TAG_BRleft, TAG_BR))
	| START_MAP AreaList END_MAP
		(HTMLAttrs.mkMAP(ctx START_MAPleft, START_MAP, AreaList))
	| TAG_PARAM
		(HTMLAttrs.mkPARAM(ctx TAG_PARAMleft, TAG_PARAM))

AreaList
	: (* empty *)
		([])
	| TAG_AREA AreaList
		(HTMLAttrs.mkAREA(ctx TAG_AREAleft, TAG_AREA) :: AreaList)

Form
	: TAG_INPUT
		(HTMLAttrs.mkINPUT(ctx TAG_INPUTleft, TAG_INPUT))
	| START_SELECT OptionList END_SELECT
		(HTMLAttrs.mkSELECT(ctx START_SELECTleft, START_SELECT, OptionList))
	| START_TEXTAREA PCData END_TEXTAREA
		(HTMLAttrs.mkTEXTAREA(
		  ctx START_TEXTAREAleft, START_TEXTAREA,
		  PCData)
		)

OptionList
	: (* empty *)
		([])
	| START_OPTION PCData EndOPTION OptionList
		(HTMLAttrs.mkOPTION(ctx START_OPTIONleft, START_OPTION, PCData)
		  :: OptionList
		)

EndOPTION
	: (* empty *)
		()
	| END_OPTION
		()


(*** PCDATA list ***)

PCData
	: PCDataList
		(concat PCDataList)

PCDataList
	: (* empty *)
		([])
	| PCDataElem PCDataList
		(PCDataElem :: PCDataList)

PCDataElem
	: PCDATA
		(PCDATA)
	| CHAR_REF
		(CHAR_REF)
	| ENTITY_REF
		(ENTITY_REF)