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

SCM Repository

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

Annotation of /branches/pure-cfg/doc/report/grammar-defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 97 - (view) (download) (as text)
Original Path: trunk/doc/report/grammar-defs.tex

1 : jhr 97 %!TEX root = report.tex
2 :     %
3 :     % Macros for the various rules of the Diderot grammar. We collect the
4 :     % grammer into these macros to ensure consistency between the collected
5 :     % syntax and the body of the text.
6 :     %
7 :     \newcommand{\ProgramRULES}{
8 :     \begin{Rules}{Program}
9 :     \RHS{\LISTONE{\nt{Declaration}}}
10 :     \end{Rules}}
11 :     \newcommand{\DeclarationRULES}{
12 :     \begin{Rules}{Declaration}
13 :     \RHS{\nt{InputDecl}}
14 :     \RHS{\nt{VarDecl}}
15 :     \RHS{\nt{ActorDecl}}
16 :     \RHS{\nt{CoordinationDecl}}
17 :     \end{Rules}}
18 :     \newcommand{\InputDeclRULES}{
19 :     \begin{Rules}{InputDecl}
20 :     \RHS{\kw{input} \nt{Type} \term{Id} \OPTGRP{\kw{=} \nt{Expr}} \kw{;}}
21 :     \end{Rules}}
22 :     \newcommand{\ActorDeclRULES}{
23 :     \begin{Rules}{ActorDecl}
24 :     \RHS{\kw{actor} \term{Id} \kw{(} \nt{Params} \kw{)} \kw{\{} \LISTGRP{\nt{VarDecl}} \LISTONEGRP{\nt{ActorMethod}} \kw{\}}}
25 :     \end{Rules}}
26 :     \newcommand{\ParamsRULES}{
27 :     \begin{Rules}{Params}
28 :     \RHS{\OPTGRP{\nt{Param} \LISTGRP{\kw{,} \nt{Param}}}}
29 :     \end{Rules}}
30 :     \newcommand{\ParamRULES}{
31 :     \begin{Rules}{Param}
32 :     \RHS{\nt{Type} \term{Id}}
33 :     \end{Rules}}
34 :     \newcommand{\ActorMethodRULES}{
35 :     \begin{Rules}{ActorMethod}
36 :     \RHS{\term{Id} \nt{Block}}
37 :     \end{Rules}}
38 :     \newcommand{\BlockRULES}{
39 :     \begin{Rules}{Block}
40 :     \RHS{\kw{\{} \LISTGRP{\nt{Stmt}} \kw{\}}}
41 :     \end{Rules}}
42 :     \newcommand{\StmtRULES}{
43 :     \begin{Rules}{Stmt}
44 :     \RHS{\nt{Block}}
45 :     \RHS{\nt{VarDecl}}
46 :     \RHS{\kw{stabilize} \kw{;}}
47 :     \RHS{\kw{die} \kw{;}}
48 :     \RHS{\kw{new} \term{Id} \kw{(} \nt{Arguments} \kw{)} \kw{;}}
49 :     \RHS{\term{Id} \kw{=} \nt{Expr} \kw{;}}
50 :     \RHS{\kw{if} \kw{(} \nt{Expr} \kw{)} \nt{Stmt} \kw{else} \nt{Stmt}}
51 :     \RHS{\kw{if} \kw{(} \nt{Expr} \kw{)} \nt{Stmt}}
52 :     \end{Rules}}
53 :     \newcommand{\VarDeclRULES}{
54 :     \begin{Rules}{VarDecl}
55 :     \RHS{\nt{Type} \term{Id} \kw{=} \nt{Expr} \kw{;}}
56 :     \end{Rules}}
57 :     \newcommand{\TypeRULES}{
58 :     \begin{Rules}{Type}
59 :     \RHS{\kw{image} \kw{(} \nt{Dimension} \kw{)} \nt{Dimensions}}
60 :     \RHS{\kw{field} \kw{\#} \nt{Dimension} \kw{(} \nt{Dimension} \kw{)} \nt{Dimensions}}
61 :     \RHS{\kw{kernel} \kw{\#} \nt{Dimension}}
62 :     \RHS{\nt{ValueType} \LISTGRP{\kw{[} \nt{Dimension} \kw{]}}}
63 :     \end{Rules}}
64 :     \newcommand{\CoordinationDeclRULES}{
65 :     \begin{Rules}{CoordinationDecl}
66 :     \RHS{\kw{initially} \nt{\GRP{\nt{Array} $\;|\;$ \nt{Collection}}} \kw{;}}
67 :     \end{Rules}}
68 :     \newcommand{\ArrayRULES}{
69 :     \begin{Rules}{Array}
70 :     \RHS{\kw{[} \nt{Create} \kw{|} \nt{Iterations} \kw{]}}
71 :     \end{Rules}}
72 :     \newcommand{\CollectionRULES}{
73 :     \begin{Rules}{Collection}
74 :     \RHS{\kw{\{} \nt{Create} \kw{|} \nt{Iterations} \kw{]}}
75 :     \end{Rules}}
76 :     \newcommand{\CreateRULES}{
77 :     \begin{Rules}{Create}
78 :     \RHS{\term{Id} \kw{(} \nt{Arguments} \kw{)}}
79 :     \end{Rules}}
80 :     \newcommand{\IterationsRULES}{
81 :     \begin{Rules}{Iterations}
82 :     \RHS{\nt{Iteration} \LISTONEGRP{\kw{,} \nt{Iteration}}}
83 :     \end{Rules}}
84 :     \newcommand{\IterationRULES}{
85 :     \begin{Rules}{Iteration}
86 :     \RHS{\term{Id} \kw{in} \nt{Expr} \kw{..} \nt{Expr}}
87 :     \end{Rules}}
88 :     \newcommand{\ExprRULES}{
89 :     \begin{Rules}{Expr}
90 :     \RHS{\nt{AndExpr} \LISTGRP{\kw{||} \nt{AndExpr}}}
91 :     \end{Rules}}
92 :     \newcommand{\AndExprRULES}{
93 :     \begin{Rules}{AndExpr}
94 :     \RHS{\nt{CmpExpr} \LISTGRP{\kw{\&\&} \nt{CmpExpr}}}
95 :     \end{Rules}}
96 :     \newcommand{\CmpExprRULES}{
97 :     \begin{Rules}{AddExprCmpExpr}
98 :     \RHS{\nt{AddExpr} \LISTGRP{\nt{CmpOp} \nt{AddExpr}}}
99 :     \end{Rules}}
100 :     \newcommand{\AddExprRULES}{
101 :     \begin{Rules}{AddExpr}
102 :     \RHS{\nt{MulExpr} \LISTGRP{\nt{AddOp} \nt{MulExpr}}}
103 :     \end{Rules}}
104 :     \newcommand{\MulExprRULES}{
105 :     \begin{Rules}{MulExpr}
106 :     \RHS{\nt{PrefixExpr} \LISTGRP{\nt{MulOp} \nt{PrefixExpr}}}
107 :     \end{Rules}}
108 :     \newcommand{\PrefixExprRULES}{
109 :     \begin{Rules}{PrefixExpr}
110 :     \RHS{\nt{SelExpr}}
111 :     \RHS{\kw{-} \nt{PrefixExpr}}
112 :     \RHS{\kw{!} \nt{PrefixExpr}}
113 :     \RHS{\kw{D} \nt{PrefixExpr}}
114 :     \end{Rules}}
115 :     \newcommand{\SelExprRULES}{
116 :     \begin{Rules}{SelExpr}
117 :     \RHS{\nt{AtomExp} \LISTGRP{\kw{@} \nt{AtomExp} $\;|\;$ \kw{[} \nt{Expr} \kw{]}}}
118 :     \end{Rules}}
119 :     \newcommand{\AtomExpRULES}{
120 :     \begin{Rules}{AtomExp}
121 :     \RHS{\term{Id} \OPTGRP{\kw{(} \nt{Arguments} \kw{)}}}
122 :     \RHS{\nt{ValueType} \kw{(} \nt{Arguments} \kw{)}}
123 :     \RHS{\term{Int}}
124 :     \RHS{\term{Float}}
125 :     \RHS{\term{String}}
126 :     \RHS{\kw{(} \nt{Expr} \LISTGRP{\kw{,} \nt{Expr}} \kw{)}}
127 :     \RHS{\kw{$|$} \nt{Expr} \kw{$|$}}
128 :     \end{Rules}}
129 :     \newcommand{\ArgumentsRULES}{
130 :     \begin{Rules}{Arguments}
131 :     \RHS{\OPTGRP{\nt{Expr} \LISTGRP{\kw{,} \nt{Expr}}}}
132 :     \end{Rules}}
133 :     \newcommand{\CmpOpRULES}{
134 :     \begin{Rules}{CmpOp}
135 :     \RHS{\kw{<}}
136 :     \RHS{\kw{<=}}
137 :     \RHS{\kw{==}}
138 :     \RHS{\kw{!=}}
139 :     \RHS{\kw{>=}}
140 :     \RHS{\kw{>}}
141 :     \end{Rules}}
142 :     \newcommand{\AddOpRULES}{
143 :     \begin{Rules}{AddOp}
144 :     \RHS{\kw{+}}
145 :     \RHS{\kw{-}}
146 :     \end{Rules}}
147 :     \newcommand{\MulOpRULES}{
148 :     \begin{Rules}{MulOp}
149 :     \RHS{\kw{*}}
150 :     \RHS{\kw{/}}
151 :     \end{Rules}}
152 :     \newcommand{\ValueTypeRULES}{
153 :     \begin{Rules}{ValueType}
154 :     \RHS{\kw{tensor} \nt{Dimensions}}
155 :     \RHS{\kw{vec2}}
156 :     \RHS{\kw{vec3}}
157 :     \RHS{\kw{vec4}}
158 :     \RHS{\kw{bool}}
159 :     \RHS{\kw{int}}
160 :     \RHS{\kw{real}}
161 :     \RHS{\kw{string}}
162 :     \end{Rules}}
163 :     \newcommand{\DimensionsRULES}{
164 :     \begin{Rules}{Dimensions}
165 :     \RHS{\kw{[} \OPTGRP{\nt{Dimension} \LISTGRP{\kw{,} \nt{Dimension}}} \kw{]}}
166 :     \end{Rules}}
167 :     \newcommand{\DimensionRULES}{
168 :     \begin{Rules}{Dimension}
169 :     \RHS{\term{Int}}
170 :     \end{Rules}}

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