Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /branches/pure-cfg/doc/report/syntax.tex
ViewVC logotype

Annotation of /branches/pure-cfg/doc/report/syntax.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 386 - (view) (download) (as text)
Original Path: trunk/doc/report/syntax.tex

1 : jhr 97 %!TEX root = report.tex
2 :     %
3 :     \chapter{Diderot Syntax}
4 :    
5 :     \section{Notation}
6 :     We write \kw{symbol} for keywords and punctuation symbols, \term{Terminal} for
7 :     terminal symbols, and \nt{Nonterminal} for nonterminal symbols.
8 :     We use the following conventions:
9 :     \begin{Grammar}
10 :     \begin{Rules}{Nonterminal}
11 :     \RHS[For an optional \nt{A}.]{\OPT{\nt{A}}}
12 :     \RHS[For zero or more \nt{A}s.]{\LIST{\nt{A}}}
13 :     \RHS[For one or more \nt{A}s.]{\LISTONE{\nt{A}}}
14 :     \RHS[For an optional \nt{A} \nt{B} pair.]{\OPTGRP{\nt{A} \nt{B}}}
15 :     \RHS[For zero or more \nt{A} \nt{B} pairs.]{\LISTGRP{\nt{A} \nt{B}}}
16 :     \RHS[For one or more \nt{A} \nt{B} pairs.]{\LISTONEGRP{\nt{A} \nt{B}}}
17 :     \end{Rules}
18 :     \end{Grammar}
19 :    
20 : jhr 98 \section{Lexical issues}
21 : jhr 97
22 :     \section{Reserved symbols and keywords}
23 :    
24 :     \section{Collected syntax}
25 :     \begin{Grammar}[anchors]
26 :     \ProgramRULES{}
27 :     \DeclarationRULES{}
28 :     \InputDeclRULES{}
29 :     \ActorDeclRULES{}
30 :     \ParamsRULES{}
31 :     \ParamRULES{}
32 : jhr 162 \ActorStateDeclRULES{}
33 : jhr 97 \ActorMethodRULES{}
34 : jhr 335 \MethodIdRULES{}
35 : jhr 97 \BlockRULES{}
36 :     \StmtRULES{}
37 :     \VarDeclRULES{}
38 :     \TypeRULES{}
39 : jhr 98 \ValueTypeRULES{}
40 :     \DimensionsRULES{}
41 : jhr 97 \CoordinationDeclRULES{}
42 :     \ArrayRULES{}
43 :     \CollectionRULES{}
44 :     \CreateRULES{}
45 :     \IterationsRULES{}
46 :     \IterationRULES{}
47 :     \ExprRULES{}
48 : jhr 378 \TestExprRULES{}
49 : jhr 97 \AndExprRULES{}
50 :     \CmpExprRULES{}
51 :     \AddExprRULES{}
52 :     \MulExprRULES{}
53 : jhr 386 \ProbeExprRULES{}
54 : jhr 97 \PrefixExprRULES{}
55 : jhr 386 \SliceExprRULES{}
56 :     \IndexRULES{}
57 : jhr 97 \AtomExpRULES{}
58 :     \ArgumentsRULES{}
59 :     \CmpOpRULES{}
60 :     \AddOpRULES{}
61 :     \MulOpRULES{}
62 :     \end{Grammar}%

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