29 |
\end{Rules}} |
\end{Rules}} |
30 |
\newcommand{\ParamRULES}{ |
\newcommand{\ParamRULES}{ |
31 |
\begin{Rules}{Param} |
\begin{Rules}{Param} |
32 |
\RHS{\nt{Type} \term{Id}} |
\RHS{\nt{ValueType} \term{Id}} |
33 |
\end{Rules}} |
\end{Rules}} |
34 |
\newcommand{\ActorMethodRULES}{ |
\newcommand{\ActorMethodRULES}{ |
35 |
\begin{Rules}{ActorMethod} |
\begin{Rules}{ActorMethod} |
56 |
\end{Rules}} |
\end{Rules}} |
57 |
\newcommand{\TypeRULES}{ |
\newcommand{\TypeRULES}{ |
58 |
\begin{Rules}{Type} |
\begin{Rules}{Type} |
59 |
\RHS{\kw{image} \kw{(} \nt{Dimension} \kw{)} \nt{Dimensions}} |
\RHS{\nt{ValueType} \LISTGRP{\kw{[} \term{Int} \kw{]}}} |
60 |
\RHS{\kw{field} \kw{\#} \nt{Dimension} \kw{(} \nt{Dimension} \kw{)} \nt{Dimensions}} |
\RHS{\kw{image} \kw{(} \term{Int} \kw{)} \nt{Dimensions}} |
61 |
\RHS{\kw{kernel} \kw{\#} \nt{Dimension}} |
\RHS{\kw{field} \kw{\#} \term{Int} \kw{(} \term{Int} \kw{)} \nt{Dimensions}} |
62 |
\RHS{\nt{ValueType} \LISTGRP{\kw{[} \nt{Dimension} \kw{]}}} |
\RHS{\kw{kernel} \kw{\#} \term{Int}} |
63 |
\end{Rules}} |
\end{Rules}} |
64 |
\newcommand{\ValueTypeRULES}{ |
\newcommand{\ValueTypeRULES}{ |
65 |
\begin{Rules}{ValueType} |
\begin{Rules}{ValueType} |
|
\RHS{\kw{tensor} \nt{Dimensions}} |
|
|
\RHS{\kw{vec2}} |
|
|
\RHS{\kw{vec3}} |
|
|
\RHS{\kw{vec4}} |
|
66 |
\RHS{\kw{bool}} |
\RHS{\kw{bool}} |
67 |
\RHS{\kw{int}} |
\RHS{\kw{int}} |
|
\RHS{\kw{real}} |
|
68 |
\RHS{\kw{string}} |
\RHS{\kw{string}} |
69 |
|
\RHS{\kw{real}} |
70 |
|
\RHS{\kw{vec2}} |
71 |
|
\RHS{\kw{vec3}} |
72 |
|
\RHS{\kw{vec4}} |
73 |
|
\RHS{\kw{tensor} \nt{Dimensions}} |
74 |
\end{Rules}} |
\end{Rules}} |
75 |
\newcommand{\DimensionsRULES}{ |
\newcommand{\DimensionsRULES}{ |
76 |
\begin{Rules}{Dimensions} |
\begin{Rules}{Dimensions} |
77 |
\RHS{\kw{[} \OPTGRP{\nt{Dimension} \LISTGRP{\kw{,} \nt{Dimension}}} \kw{]}} |
\RHS{\kw{[} \OPTGRP{\nt{\term{Int}} \LISTGRP{\kw{,} \nt{\term{Int}}}} \kw{]}} |
|
\end{Rules}} |
|
|
\newcommand{\DimensionRULES}{ |
|
|
\begin{Rules}{Dimension} |
|
|
\RHS{\term{Int}} |
|
78 |
\end{Rules}} |
\end{Rules}} |
79 |
\newcommand{\CoordinationDeclRULES}{ |
\newcommand{\CoordinationDeclRULES}{ |
80 |
\begin{Rules}{CoordinationDecl} |
\begin{Rules}{CoordinationDecl} |