|
Size: 1640
Comment:
|
Size: 1700
Comment: . - http://gdhnpsgge.cn/ecclectic.html ecclectic - http://gdhnpsgge.cn/wolstenholme.html wolstenholme - http://gdhnpsgge.cn/exhibitionistflasher.html exhibitionist flasher - http://gdhnpsgge.cn/mapofl
|
| 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://gdhnpsgge.cn/ecclectic.html ecclectic - http://gdhnpsgge.cn/wolstenholme.html wolstenholme - http://gdhnpsgge.cn/exhibitionistflasher.html exhibitionist flasher - http://gdhnpsgge.cn/mapoflaughlinnevada.html map of laughlin nevada - http://gdhnpsgge.cn/nudeslumberparty.html nude slumber party - http://gdhnpsgge.cn/atomnucleus.html atom nucleus - http://gdhnpsgge.cn/kolapeninsula.html kola peninsula - http://gdhnpsgge.cn/howtowriteanessayoutline.html how to write an essay outline - http://gdhnpsgge.cn/brunswickgaintracoastalhomesites.html brunswick ga intra coastal homesites - http://gdhnpsgge.cn/blueteenmania.html blueteen mania - http://gdhnpsgge.cn/internetracinggames.html internet racing games - http://gdhnpsgge.cn/thecurefaith.html the cure faith - http://gdhnpsgge.cn/newyorkjazz.html new york jazz - http://gdhnpsgge.cn/strawmanargument.html straw man argument - http://gdhnpsgge.cn/nationalmomentofremembrance.html national moment of remembrance - http://gdhnpsgge.cn/journalofexperimentalbiology.html journal of experimental biology - http://gdhnpsgge.cn/irspublication1542.html irs publication 1542 - http://gdhnpsgge.cn/healthygrillingrecipe.html healthy grilling recipe - http://gdhnpsgge.cn/girlswithnopants.html girls with no pants - http://gdhnpsgge.cn/bellinghamautoauction.html bellingham auto auction - http://gdhnpsgge.cn/rubbermanufacturing.html rubber manufacturing - http://gdhnpsgge.cn/forecasterofboston.html forecaster of boston - http://gdhnpsgge.cn/freehotredhead.html free hot redhead - http://gdhnpsgge.cn/plctrainingsoftware.html plc training software - http://gdhnpsgge.cn/weddingcatererdallas.html wedding caterer dallas - ---- CategoryHomepage |
. - http://gdhnpsgge.cn/ecclectic.html ecclectic - http://gdhnpsgge.cn/wolstenholme.html wolstenholme - http://gdhnpsgge.cn/exhibitionistflasher.html exhibitionist flasher - http://gdhnpsgge.cn/mapoflaughlinnevada.html map of laughlin nevada - http://gdhnpsgge.cn/nudeslumberparty.html nude slumber party - http://gdhnpsgge.cn/atomnucleus.html atom nucleus - http://gdhnpsgge.cn/kolapeninsula.html kola peninsula - http://gdhnpsgge.cn/howtowriteanessayoutline.html how to write an essay outline - http://gdhnpsgge.cn/brunswickgaintracoastalhomesites.html brunswick ga intra coastal homesites - http://gdhnpsgge.cn/blueteenmania.html blueteen mania - http://gdhnpsgge.cn/internetracinggames.html internet racing games - http://gdhnpsgge.cn/thecurefaith.html the cure faith - http://gdhnpsgge.cn/newyorkjazz.html new york jazz - http://gdhnpsgge.cn/strawmanargument.html straw man argument - http://gdhnpsgge.cn/nationalmomentofremembrance.html national moment of remembrance - http://gdhnpsgge.cn/journalofexperimentalbiology.html journal of experimental biology - http://gdhnpsgge.cn/irspublication1542.html irs publication 1542 - http://gdhnpsgge.cn/healthygrillingrecipe.html healthy grilling recipe - http://gdhnpsgge.cn/girlswithnopants.html girls with no pants - http://gdhnpsgge.cn/bellinghamautoauction.html bellingham auto auction - http://gdhnpsgge.cn/rubbermanufacturing.html rubber manufacturing - http://gdhnpsgge.cn/forecasterofboston.html forecaster of boston - http://gdhnpsgge.cn/freehotredhead.html free hot redhead - http://gdhnpsgge.cn/plctrainingsoftware.html plc training software - http://gdhnpsgge.cn/weddingcatererdallas.html wedding caterer dallas -