@@ -402,6 +402,9 @@ \subsubsection{\valueTag{WordSort::Literal}}
402
402
\enumerator {MsvcFunctionNameMacro}
403
403
\enumerator {MsvcStringPrefixMacro}
404
404
\enumerator {MsvcBinding}
405
+ \enumerator {MsvcResolvedType}
406
+ \enumerator {MsvcDefinedConstant}
407
+ \enumerator {MsvcCastTargetType}
405
408
\end {Enumeration }
406
409
407
410
\paragraph {\valueTag {SourceLiteral::Unknown} }
@@ -464,6 +467,27 @@ \subsubsection{\valueTag{WordSort::Literal}}
464
467
and references (\secref {sec:ifc:ExprSort:NamedDecl }) the declarations bound
465
468
to that identifier.
466
469
470
+ \paragraph {\valueTag {SourceLiteral::MsvcResolvedType} }
471
+ \label {sec:ifc:SourceLiteral:MsvcResolvedType }
472
+
473
+ A literal word denoting a fully resolved type at the C++ source-level. The
474
+ \field {index} field is of type \type {TypeIndex}.
475
+
476
+ \paragraph {\valueTag {SourceLiteral::MsvcDefinedConstant} }
477
+ \label {sec:ifc:SourceLiteral:MsvcDefinedConstant }
478
+
479
+ A literal word denoting a user-defined constant literal at the C++ source-level.
480
+ The \field {index} field is of type \type {ExprIndex} and refers to a
481
+ (\secref {sec:ifc:ExprSort:Tuple }) of two elements containing the literal constant
482
+ value as the first element and the literal suffix identifier as the second.
483
+
484
+ \paragraph {\valueTag {SourceLiteral::MsvcCastTargetType} }
485
+ \label {sec:ifc:SourceLiteral:MsvcCastTargetType }
486
+
487
+ A literal word denoting a fully resolved type as the target type of a functional
488
+ cast expression at the C++ source-level. The \field {index} field is of type
489
+ \type {TypeIndex}.
490
+
467
491
\subsubsection {\valueTag {WordSort::Operator} }
468
492
\label {sec:ifc:WordSort:Operator }
469
493
0 commit comments