Of the two present spellings 'NONDIGIT' and 'NON-DIGIT', go with the …

…latter
modelica · Feb 10, 2021 · fa01068 · fa01068
1 parent 246bab1
commit fa01068
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/chapters/lexicalstructure.tex b/chapters/lexicalstructure.tex
@@ -74,11 +74,11 @@ \subsection{Identifiers}\label{identifiers}
 A full BNF definition of the Modelica syntax and lexical units is available in \cref{modelica-concrete-syntax}.
 
 \begin{lstlisting}[language=grammar]
-IDENT   = NONDIGIT { DIGIT | NONDIGIT } | Q-IDENT
+IDENT   = NON-DIGIT { DIGIT | NON-DIGIT } | Q-IDENT
 Q-IDENT = "'" { Q-CHAR | S-ESCAPE } "'"
-NONDIGIT = "_" | letters "a" $\ldots$ "z" | letters "A" $\ldots$ "Z"
+NON-DIGIT = "_" | letters "a" $\ldots$ "z" | letters "A" $\ldots$ "Z"
 DIGIT    = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
-Q-CHAR = NONDIGIT | DIGIT | "!" | "#" | "$\mbox{\textdollar}$" | "%" | "&" | "(" | ")" | "*" | "+" | "," | "-" | "." | "/" | ":" | ";" | "<" | ">" | "=" | "?" | "@" | "[" | "]" | "^" | "{" | "}"  | "|" | "~" | " " | """
+Q-CHAR = NON-DIGIT | DIGIT | "!" | "#" | "$\mbox{\textdollar}$" | "%" | "&" | "(" | ")" | "*" | "+" | "," | "-" | "." | "/" | ":" | ";" | "<" | ">" | "=" | "?" | "@" | "[" | "]" | "^" | "{" | "}"  | "|" | "~" | " " | """
 S-ESCAPE = "\'" | "\"" | "\?" | "\\" | "\a" | "\b" | "\f" | "\n" | "\r" | "\t" | "\v"
 \end{lstlisting}
 

diff --git a/chapters/syntax.tex b/chapters/syntax.tex
@@ -20,12 +20,12 @@ \section{Lexical conventions}\label{lexical-conventions}
 ones used in the grammar, the rest are just internal to the definition
 of other lexical units):
 \begin{lstlisting}[language=grammar]
-IDENT = NONDIGIT { DIGIT | NONDIGIT } | Q-IDENT
+IDENT = NON-DIGIT { DIGIT | NON-DIGIT } | Q-IDENT
 Q-IDENT = "'" { Q-CHAR | S-ESCAPE } "'"
-NONDIGIT = "_" | letters "a" $\ldots$ "z" | letters "A" $\ldots$ "Z"
+NON-DIGIT = "_" | letters "a" $\ldots$ "z" | letters "A" $\ldots$ "Z"
 STRING = """ { S-CHAR | S-ESCAPE } """
 S-CHAR = see below
-Q-CHAR = NONDIGIT | DIGIT | "!" | "#" | "$\mbox{\textdollar}$" | "%" | "&" | "(" | ")"
+Q-CHAR = NON-DIGIT | DIGIT | "!" | "#" | "$\mbox{\textdollar}$" | "%" | "&" | "(" | ")"
    | "*" | "+" | "," | "-" | "." | "/" | ":" | ";" | "<" | ">" | "="
    | "?" | "@" | "[" | "]" | "^" | "{" | "}" | "|" | "~" | " " | """
 S-ESCAPE = "\'" | "\"" | "\?" | "\\"