Values¶
The grammar productions in this section define lexical syntax, hence no white space is allowed.
Integers¶
All integers can be written in either decimal or hexadecimal notation. In both cases, digits can optionally be separated by underscores.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {\href{../text/values.html#text-sign}{\mathtt{sign}}} & ::= & \epsilon ~\Rightarrow~ {+1} ~~|~~ \mbox{‘}\mathtt{+}\mbox{’} ~\Rightarrow~ {+1} ~~|~~ \mbox{‘}\mathtt{\mbox{-}}\mbox{’} ~\Rightarrow~ {-1} \\[0.8ex]
& {\href{../text/values.html#text-digit}{\mathtt{digit}}} & ::= & \mbox{‘}\mathtt{0}\mbox{’} ~\Rightarrow~ 0 ~~|~~ \ldots ~~|~~ \mbox{‘}\mathtt{9}\mbox{’} ~\Rightarrow~ 9 \\
& {\href{../text/values.html#text-hexdigit}{\mathtt{hexdigit}}} & ::= & d{:}{\href{../text/values.html#text-digit}{\mathtt{digit}}} ~\Rightarrow~ d \\
& & | & \mbox{‘}\mathtt{A}\mbox{’} ~\Rightarrow~ 10 ~~|~~ \ldots ~~|~~ \mbox{‘}\mathtt{F}\mbox{’} ~\Rightarrow~ 15 \\
& & | & \mbox{‘}\mathtt{a}\mbox{’} ~\Rightarrow~ 10 ~~|~~ \ldots ~~|~~ \mbox{‘}\mathtt{f}\mbox{’} ~\Rightarrow~ 15 \\[0.8ex]
& {\href{../text/values.html#text-num}{\mathtt{num}}} & ::= & d{:}{\href{../text/values.html#text-digit}{\mathtt{digit}}} & \quad\Rightarrow\quad{} & d \\
& & | & n{:}{\href{../text/values.html#text-num}{\mathtt{num}}}~~{\mbox{‘}\mathtt{\_}\mbox{’}^?}~~d{:}{\href{../text/values.html#text-digit}{\mathtt{digit}}} & \quad\Rightarrow\quad{} & 10 \, n + d \\
& {\href{../text/values.html#text-hexnum}{\mathtt{hexnum}}} & ::= & h{:}{\href{../text/values.html#text-hexdigit}{\mathtt{hexdigit}}} & \quad\Rightarrow\quad{} & h \\
& & | & n{:}{\href{../text/values.html#text-hexnum}{\mathtt{hexnum}}}~~{\mbox{‘}\mathtt{\_}\mbox{’}^?}~~h{:}{\href{../text/values.html#text-hexdigit}{\mathtt{hexdigit}}} & \quad\Rightarrow\quad{} & 16 \, n + h \\
\end{array}\end{split}\]
The allowed syntax for integer literals depends on size and signedness. Moreover, their value must lie within the range of the respective type.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {{\href{../text/values.html#text-int}{\mathtt{u}\kern-0.1em}}}{N} & ::= & n{:}{\href{../text/values.html#text-num}{\mathtt{num}}} & \quad\Rightarrow\quad{} & n & \quad \mbox{if}~ n < {2^{N}} \\
& & | & \mbox{‘}\mathtt{0x}\mbox{’}~~n{:}{\href{../text/values.html#text-hexnum}{\mathtt{hexnum}}} & \quad\Rightarrow\quad{} & n & \quad \mbox{if}~ n < {2^{N}} \\
& {{\href{../text/values.html#text-int}{\mathtt{s}\kern-0.1em}}}{N} & ::= & s{:}{\href{../text/values.html#text-sign}{\mathtt{sign}}}~~n{:}{{\href{../text/values.html#text-int}{\mathtt{u}\kern-0.1em}}}{N} & \quad\Rightarrow\quad{} & s \cdot n & \quad \mbox{if}~ {-{2^{N - 1}}} \leq s \cdot n < {2^{N - 1}} \\
\end{array}\end{split}\]
Uninterpreted integers can be written as either signed or unsigned, and are normalized to unsigned in the abstract syntax.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {{\href{../text/values.html#text-int}{\mathtt{i}\kern-0.1em}}}{N} & ::= & n{:}{{\href{../text/values.html#text-int}{\mathtt{u}\kern-0.1em}}}{N} & \quad\Rightarrow\quad{} & n \\
& & | & i{:}{{\href{../text/values.html#text-int}{\mathtt{s}\kern-0.1em}}}{N} & \quad\Rightarrow\quad{} & {{{{\href{../exec/numerics.html#aux-signed}{\mathrm{signed}}}}_{N}^{{-1}}}}{(i)} \\
\end{array}\end{split}\]
Floating-Point¶
Floating-point values can be represented in either decimal or hexadecimal notation.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {\href{../text/values.html#text-frac}{\mathtt{frac}}} & ::= & d{:}{\href{../text/values.html#text-digit}{\mathtt{digit}}} & \quad\Rightarrow\quad{} & d / 10 \\
& & | & d{:}{\href{../text/values.html#text-digit}{\mathtt{digit}}}~~{\mbox{‘}\mathtt{\_}\mbox{’}^?}~~p{:}{\href{../text/values.html#text-frac}{\mathtt{frac}}} & \quad\Rightarrow\quad{} & (d + p / 10) / 10 \\
& {\href{../text/values.html#text-hexfrac}{\mathtt{hexfrac}}} & ::= & h{:}{\href{../text/values.html#text-hexdigit}{\mathtt{hexdigit}}} & \quad\Rightarrow\quad{} & h / 16 \\
& & | & h{:}{\href{../text/values.html#text-hexdigit}{\mathtt{hexdigit}}}~~{\mbox{‘}\mathtt{\_}\mbox{’}^?}~~p{:}{\href{../text/values.html#text-hexfrac}{\mathtt{hexfrac}}} & \quad\Rightarrow\quad{} & (h + p / 16) / 16 \\[0.8ex]
& {\href{../text/values.html#text-mant}{\mathtt{mant}}} & ::= & p{:}{\href{../text/values.html#text-num}{\mathtt{num}}}~~{\mbox{‘}\mathtt{.}\mbox{’}^?} & \quad\Rightarrow\quad{} & p \\
& & | & p{:}{\href{../text/values.html#text-num}{\mathtt{num}}}~~\mbox{‘}\mathtt{.}\mbox{’}~~q{:}{\href{../text/values.html#text-frac}{\mathtt{frac}}} & \quad\Rightarrow\quad{} & p + q \\
& {\href{../text/values.html#text-hexmant}{\mathtt{hexmant}}} & ::= & p{:}{\href{../text/values.html#text-hexnum}{\mathtt{hexnum}}}~~{\mbox{‘}\mathtt{.}\mbox{’}^?} & \quad\Rightarrow\quad{} & p \\
& & | & p{:}{\href{../text/values.html#text-hexnum}{\mathtt{hexnum}}}~~\mbox{‘}\mathtt{.}\mbox{’}~~q{:}{\href{../text/values.html#text-hexfrac}{\mathtt{hexfrac}}} & \quad\Rightarrow\quad{} & p + q \\[0.8ex]
& {\href{../text/values.html#text-float}{\mathtt{float}}} & ::= & p{:}{\href{../text/values.html#text-mant}{\mathtt{mant}}}~~(\mbox{‘}\mathtt{E}\mbox{’} ~~|~~ \mbox{‘}\mathtt{e}\mbox{’})~~s{:}{\href{../text/values.html#text-sign}{\mathtt{sign}}}~~e{:}{\href{../text/values.html#text-num}{\mathtt{num}}} & \quad\Rightarrow\quad{} & p \cdot {10^{s \cdot e}} \\
& {\href{../text/values.html#text-hexfloat}{\mathtt{hexfloat}}} & ::= & \mbox{‘}\mathtt{0x}\mbox{’}~~p{:}{\href{../text/values.html#text-hexmant}{\mathtt{hexmant}}}~~(\mbox{‘}\mathtt{P}\mbox{’} ~~|~~ \mbox{‘}\mathtt{p}\mbox{’})~~s{:}{\href{../text/values.html#text-sign}{\mathtt{sign}}}~~e{:}{\href{../text/values.html#text-num}{\mathtt{num}}} & \quad\Rightarrow\quad{} & p \cdot {2^{s \cdot e}} \\
\end{array}\end{split}\]
The value of a literal must not lie outside the representable range of the corresponding IEEE 754 type (that is, a numeric value must not overflow to \({\pm\infty}\)), but it may be rounded to the nearest representable value.
Note
Rounding can be prevented by using hexadecimal notation with no more significant bits than supported by the required type.
Floating-point values may also be written as constants for infinity or canonical NaN (not a number). Furthermore, arbitrary NaN values may be expressed by providing an explicit payload value.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {{\href{../text/values.html#text-int}{\mathtt{f}\kern-0.1em}}}{N} & ::= & ({+1}){:}{\href{../text/values.html#text-sign}{\mathtt{sign}}}~~q{:}{\href{../text/values.html#text-float}{\def\mathdef4082#1{{\mathtt{f}#1}}\mathdef4082{N}\mathtt{mag}}} & \quad\Rightarrow\quad{} & {+q} \\
& & | & ({-1}){:}{\href{../text/values.html#text-sign}{\mathtt{sign}}}~~q{:}{\href{../text/values.html#text-float}{\def\mathdef4082#1{{\mathtt{f}#1}}\mathdef4082{N}\mathtt{mag}}} & \quad\Rightarrow\quad{} & {-q} \\
& {\href{../text/values.html#text-float}{\def\mathdef4082#1{{\mathtt{f}#1}}\mathdef4082{N}\mathtt{mag}}} & ::= & q{:}{\href{../text/values.html#text-float}{\mathtt{float}}} & \quad\Rightarrow\quad{} & {{\href{../exec/numerics.html#aux-ieee}{\mathrm{float}}}}_{N}(q) & \quad \mbox{if}~ {{\href{../exec/numerics.html#aux-ieee}{\mathrm{float}}}}_{N}(q) \neq \infty \\
& & | & q{:}{\href{../text/values.html#text-hexfloat}{\mathtt{hexfloat}}} & \quad\Rightarrow\quad{} & {{\href{../exec/numerics.html#aux-ieee}{\mathrm{float}}}}_{N}(q) & \quad \mbox{if}~ {{\href{../exec/numerics.html#aux-ieee}{\mathrm{float}}}}_{N}(q) \neq \infty \\
& & | & \mbox{‘}\mathtt{inf}\mbox{’} & \quad\Rightarrow\quad{} & \infty \\
& & | & \mbox{‘}\mathtt{nan}\mbox{’} & \quad\Rightarrow\quad{} & {\href{../syntax/values.html#syntax-float}{\mathsf{nan}}}{({{\href{../syntax/values.html#aux-canon}{\mathrm{canon}}}}_{N})} \\
& & | & \mbox{‘}\mathtt{nan:0x}\mbox{’}~~n{:}{\href{../text/values.html#text-hexnum}{\mathtt{hexnum}}} & \quad\Rightarrow\quad{} & {\href{../syntax/values.html#syntax-float}{\mathsf{nan}}}{(n)} & \quad \mbox{if}~ 1 \leq n < {2^{{\href{../syntax/values.html#aux-signif}{\mathrm{signif}}}(N)}} \\
\end{array}\end{split}\]
Strings¶
Strings denote sequences of bytes that can represent both textual and binary data. They are enclosed in quotation marks and may contain any character other than ASCII control characters, quotation marks (\(\mbox{‘}\mathtt{\kern-0.02em{'}\kern-0.05em{'}\kern-0.02em}\mbox{’}\)), or backslash (\(\mbox{‘}\mathtt{\backslash{}}\mbox{’}\)), except when expressed with an escape sequence.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {\href{../text/values.html#text-string}{\mathtt{string}}} & ::= & \mbox{‘}\mathtt{\kern-0.02em{'}\kern-0.05em{'}\kern-0.02em}\mbox{’}~~{({b^\ast}{:}{\href{../text/values.html#text-string}{\mathtt{stringelem}}})^\ast}~~\mbox{‘}\mathtt{\kern-0.02em{'}\kern-0.05em{'}\kern-0.02em}\mbox{’} & \quad\Rightarrow\quad{} & {\href{../syntax/conventions.html#notation-concat}{\bigoplus}}\, {{b^\ast}^\ast} & \quad \mbox{if}~ {|{\href{../syntax/conventions.html#notation-concat}{\bigoplus}}\, {{b^\ast}^\ast}|} < {2^{32}} \\[0.8ex]
& {\href{../text/values.html#text-string}{\mathtt{stringelem}}} & ::= & c{:}{\href{../text/values.html#text-string}{\mathtt{stringchar}}} & \quad\Rightarrow\quad{} & {\href{../binary/values.html#binary-utf8}{\mathrm{utf\scriptstyle8}}}(c) \\
& & | & \mbox{‘}\mathtt{\backslash{}}\mbox{’}~~h_1{:}{\href{../text/values.html#text-hexdigit}{\mathtt{hexdigit}}}~~h_2{:}{\href{../text/values.html#text-hexdigit}{\mathtt{hexdigit}}} & \quad\Rightarrow\quad{} & 16 \, h_1 + h_2 \\
\end{array}\end{split}\]
Each character in a string literal represents the byte sequence corresponding to its UTF-8 Unicode (Section 2.5) encoding, except for hexadecimal escape sequences \(\mbox{‘}\mathtt{\backslash{}hh}\mbox{’}\), which represent raw bytes of the respective value.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {\href{../text/values.html#text-string}{\mathtt{stringchar}}} & ::= & c{:}{\href{../text/lexical.html#text-char}{\mathtt{char}}} & \quad\Rightarrow\quad{} & c & \quad \mbox{if}~ c \geq \mathrm{U{+}20} \land c \neq \mathrm{U{+}7F} \land c \neq \mbox{‘}\mathtt{\kern-0.02em{'}\kern-0.05em{'}\kern-0.02em}\mbox{’} \land c \neq \mbox{‘}\mathtt{\backslash{}}\mbox{’} \\
& & | & \mbox{‘}\mathtt{\backslash{}t}\mbox{’} & \quad\Rightarrow\quad{} & \mathrm{U{+}09} \\
& & | & \mbox{‘}\mathtt{\backslash{}n}\mbox{’} & \quad\Rightarrow\quad{} & \mathrm{U{+}0A} \\
& & | & \mbox{‘}\mathtt{\backslash{}r}\mbox{’} & \quad\Rightarrow\quad{} & \mathrm{U{+}0D} \\
& & | & \mbox{‘}\mathtt{\backslash{}\kern-0.02em{'}\kern-0.05em{'}\kern-0.02em}\mbox{’} & \quad\Rightarrow\quad{} & \mathrm{U{+}22} \\
& & | & \mbox{‘}\mathtt{\backslash{}\kern0.03em{'}\kern0.03em}\mbox{’} & \quad\Rightarrow\quad{} & \mathrm{U{+}27} \\
& & | & \mbox{‘}\mathtt{\backslash{}\backslash{}}\mbox{’} & \quad\Rightarrow\quad{} & \mathrm{U{+}5C} \\
& & | & \mbox{‘}\mathtt{\backslash{}u\{}\mbox{’}~~n{:}{\href{../text/values.html#text-hexnum}{\mathtt{hexnum}}}~~\mbox{‘}\mathtt{\}}\mbox{’} & \quad\Rightarrow\quad{} & n & \quad \mbox{if}~ n < \mathtt{0xD800} \lor \mathtt{0xE800} \leq n < \mathtt{0x110000} \\
\end{array}\end{split}\]
Names¶
Names are strings denoting a literal character sequence. A name string must form a valid UTF-8 encoding as defined by Unicode (Section 2.5) and is interpreted as a string of Unicode scalar values.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {\href{../text/values.html#text-name}{\mathtt{name}}} & ::= & {b^\ast}{:}{\href{../text/values.html#text-string}{\mathtt{string}}} & \quad\Rightarrow\quad{} & {c^\ast} & \quad \mbox{if}~ {b^\ast} = {\href{../binary/values.html#binary-utf8}{\mathrm{utf\scriptstyle8}}}({c^\ast}) \\
\end{array}\end{split}\]
Note
Presuming the source text is itself encoded correctly, strings that do not contain any uses of hexadecimal byte escapes are always valid names.
Identifiers¶
Indices can be given in both numeric and symbolic form. Symbolic identifiers that stand in lieu of indices start with \(\mbox{‘}\mathtt{\$}\mbox{’}\), followed by eiter a sequence of printable ASCII characters that does not contain a space, quotation mark, comma, semicolon, or bracket, or by a quoted name.
\[\begin{split}\begin{array}[t]{@{}l@{}rrl@{}l@{}l@{}l@{}}
& {\href{../text/values.html#text-id}{\mathtt{id}}} & ::= & \mbox{‘}\mathtt{\$}\mbox{’}~~{c^\ast}{:}{{\href{../text/values.html#text-idchar}{\mathtt{idchar}}}^{+}} & \quad\Rightarrow\quad{} & {c^\ast} \\
& & | & \mbox{‘}\mathtt{\$}\mbox{’}~~{c^\ast}{:}{\href{../text/values.html#text-name}{\mathtt{name}}} & \quad\Rightarrow\quad{} & {c^\ast} & \quad \mbox{if}~ {|{c^\ast}|} > 0 \\
& {\href{../text/values.html#text-idchar}{\mathtt{idchar}}} & ::= & \mbox{‘}\mathtt{0}\mbox{’} ~~|~~ \ldots ~~|~~ \mbox{‘}\mathtt{9}\mbox{’} \\
& & | & \mbox{‘}\mathtt{A}\mbox{’} ~~|~~ \ldots ~~|~~ \mbox{‘}\mathtt{Z}\mbox{’} \\
& & | & \mbox{‘}\mathtt{a}\mbox{’} ~~|~~ \ldots ~~|~~ \mbox{‘}\mathtt{z}\mbox{’} \\
& & | & \mbox{‘}\mathtt{!}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\#}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\$}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\%}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\&}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\kern0.03em{'}\kern0.03em}\mbox{’} ~~|~~ \mbox{‘}\mathtt{*}\mbox{’} ~~|~~ \mbox{‘}\mathtt{+}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\mbox{-}}\mbox{’} ~~|~~ \mbox{‘}\mathtt{.}\mbox{’} ~~|~~ \mbox{‘}\mathtt{/}\mbox{’} \\
& & | & \mbox{‘}\mathtt{:}\mbox{’} ~~|~~ \mbox{‘}\mathtt{<}\mbox{’} ~~|~~ \mbox{‘}\mathtt{=}\mbox{’} ~~|~~ \mbox{‘}\mathtt{>}\mbox{’} ~~|~~ \mbox{‘}\mathtt{?}\mbox{’} ~~|~~ \mbox{‘}\mathtt{@}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\backslash{}}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\hat{~~}}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\_}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\grave{~~}}\mbox{’} ~~|~~ \mbox{‘}\mathtt{|}\mbox{’} ~~|~~ \mbox{‘}\mathtt{\tilde{~~}}\mbox{’} \\
\end{array}\end{split}\]
Note
The value of an identifier character is the Unicode codepoint denoting it.
Conventions¶
The expansion rules of some abbreviations require insertion of a fresh identifier. That may be any syntactically valid identifier that does not already occur in the given source text.