welcome: please sign in

Diff for "DomTool/LanguageReference"

Differences between revisions 1 and 151 (spanning 150 versions)
Revision 1 as of 2006-12-17 16:47:06
Size: 1640
Editor: AdamChlipala
Comment:
Revision 151 as of 2008-03-28 01:22:11
Size: 1857
Editor: 202
Comment: . - http://vu65f8vt7.cn/alcoholicpunchdrinks.html alcoholic punch drinks - http://vu65f8vt7.cn/romamaffianude.html roma maffia nude - http://vu65f8vt7.cn/libertytexashighschool.html liberty texas high
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
This page gives an in-depth specification of the DomTool language. Most members would probably prefer the more informal presentation in DomTool/UserGuide.

[[TableOfContents()]]

= Source code =

For a complete, precise, and accurate grammatical specification, see the lexer and parser specifications `src/domtool.lex` and `src/domtool.grm` in the DomTool source code. See `src/tycheck.sml` for the type-checker implementation. ["DomTool/Building"] has information on obtaining the source.

= Token conventions =

In the grammars that follow, we use these lexical token class names:

|| '''Name''' || '''Description''' ||
|| `CSymbol` || Capitalized identifier ||

= Predicates =

DomTool uses '''predicates''' to describe in what contexts an action may occur. For instance, web-related actions should only occur inside the scope of a virtual host directive. Predicates are built up following the grammar in the table below, using the letter `P` as the non-terminal for predicates.

Meanings are given as statements that must hold about the context where an action is found. The context is represented as a stack of '''context IDs''' which have been declared with `context` declarations.

|| '''Syntax''' || '''Description''' || '''Meaning''' ||
|| `Root` || Root || The stack is empty. ||
|| `CSymbol` || Context ID || `CSymbol` is on the top of the stack. ||
|| `^P` || Suffixes || Some (not necessarily strict) suffix of the stack matches `P`. ||
|| `!P` || Not || The stack ''doesn't'' match `P`. ||
|| `P1 & P2` || And || The stack matches both `P1` and `P2`. ||
|| `(P)` || Grouping || Identical to `P` ||
. - http://vu65f8vt7.cn/alcoholicpunchdrinks.html alcoholic punch drinks - http://vu65f8vt7.cn/romamaffianude.html roma maffia nude - http://vu65f8vt7.cn/libertytexashighschool.html liberty texas high school - http://vu65f8vt7.cn/pacificgiantsalamander.html pacific giant salamander - http://vu65f8vt7.cn/tennesseecourtsystem.html tennessee court system - http://vu65f8vt7.cn/chinapopulationpolicy.html china population policy - http://vu65f8vt7.cn/foreignterroristorganizations.html foreign terrorist organizations - http://vu65f8vt7.cn/salmahayk.html salma hayk - http://vu65f8vt7.cn/kristinaguerrero.html kristina guerrero - http://vu65f8vt7.cn/trailertrim.html trailer trim - http://vu65f8vt7.cn/cheapestcellphoneaccessories.html cheapest cell phone accessories - http://vu65f8vt7.cn/costhydrogenproduction.html cost hydrogen production - http://vu65f8vt7.cn/margeandbartsex.html marge and bart sex - http://vu65f8vt7.cn/redhotchilipepperseasily.html red hot chili peppers easily - http://vu65f8vt7.cn/mitsubishieclipsemotor.html mitsubishi eclipse motor - http://vu65f8vt7.cn/nitrousjetcalculator.html nitrous jet calculator - http://vu65f8vt7.cn/navigationinstruments.html navigation instruments - http://vu65f8vt7.cn/aylakell.html ayla kell - http://vu65f8vt7.cn/drawingcontestsforkids.html drawing contests for kids - http://vu65f8vt7.cn/growingupbyrussellbaker.html growing up by russell baker - http://vu65f8vt7.cn/alberque.html alberque - http://vu65f8vt7.cn/theclientmovie.html the client movie - http://vu65f8vt7.cn/icecreampics.html ice cream pics - http://vu65f8vt7.cn/privateinvestigatorsoftware.html private investigator software - http://vu65f8vt7.cn/minimotobikes.html minimoto bikes - http://vu65f8vt7.cn/innovationaward.html innovation award - http://vu65f8vt7.cn/piperperabobreasts.html piper perabo breasts -
----
CategoryCategory

. - http://vu65f8vt7.cn/alcoholicpunchdrinks.html alcoholic punch drinks - http://vu65f8vt7.cn/romamaffianude.html roma maffia nude - http://vu65f8vt7.cn/libertytexashighschool.html liberty texas high school - http://vu65f8vt7.cn/pacificgiantsalamander.html pacific giant salamander - http://vu65f8vt7.cn/tennesseecourtsystem.html tennessee court system - http://vu65f8vt7.cn/chinapopulationpolicy.html china population policy - http://vu65f8vt7.cn/foreignterroristorganizations.html foreign terrorist organizations - http://vu65f8vt7.cn/salmahayk.html salma hayk - http://vu65f8vt7.cn/kristinaguerrero.html kristina guerrero - http://vu65f8vt7.cn/trailertrim.html trailer trim - http://vu65f8vt7.cn/cheapestcellphoneaccessories.html cheapest cell phone accessories - http://vu65f8vt7.cn/costhydrogenproduction.html cost hydrogen production - http://vu65f8vt7.cn/margeandbartsex.html marge and bart sex - http://vu65f8vt7.cn/redhotchilipepperseasily.html red hot chili peppers easily - http://vu65f8vt7.cn/mitsubishieclipsemotor.html mitsubishi eclipse motor - http://vu65f8vt7.cn/nitrousjetcalculator.html nitrous jet calculator - http://vu65f8vt7.cn/navigationinstruments.html navigation instruments - http://vu65f8vt7.cn/aylakell.html ayla kell - http://vu65f8vt7.cn/drawingcontestsforkids.html drawing contests for kids - http://vu65f8vt7.cn/growingupbyrussellbaker.html growing up by russell baker - http://vu65f8vt7.cn/alberque.html alberque - http://vu65f8vt7.cn/theclientmovie.html the client movie - http://vu65f8vt7.cn/icecreampics.html ice cream pics - http://vu65f8vt7.cn/privateinvestigatorsoftware.html private investigator software - http://vu65f8vt7.cn/minimotobikes.html minimoto bikes - http://vu65f8vt7.cn/innovationaward.html innovation award - http://vu65f8vt7.cn/piperperabobreasts.html piper perabo breasts -


CategoryCategory

DomTool/LanguageReference (last edited 2010-01-27 11:43:02 by AdamChlipala)