Skip to content

Commit

Permalink
Describe scope resolution (#25)
Browse files Browse the repository at this point in the history
Describe representation of the scope resolution operator `::` as monadic and dyadic operators.
  • Loading branch information
GabrielDosReis committed Nov 15, 2021
1 parent d3211f0 commit 9b942bb
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions ltx/exprs.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1843,6 +1843,7 @@ \subsection{Monadic operators}
\enumerator{Read}
\enumerator{Materialize}
\enumerator{PseudoDtorCall}
\enumerator{LookupGlobally}

\setcounter{enumi}{1023}
\enumerator{Msvc}
Expand Down Expand Up @@ -1955,6 +1956,7 @@ \subsection{Monadic operators}
\ifcSortSection{Read}{MonadicOperator} C++ abstract machine lvalue-to-rvalue conversion operator.
\ifcSortSection{Materialize}{MonadicOperator} C++ abstract machine class temporary materialization operator.
\ifcSortSection{PseudoDtorCall}{MonadicOperator} Pseudo-destructor call operator.
\ifcSortSection{LookupGlobally}{MonadicOperator} Any operator in the immediate operand expression, at source-level, is to be looked-up in the global scope. For example, in \code{::new T(a, b)}, the corresponding storage allocation function \code{operator new} is to be looked up in the global scope.

\ifcSortSection{Msvc}{MonadicOperator} This is a marker, not an actual operator. Monadic operators with
value greater that this are MSVC extensions.
Expand Down Expand Up @@ -2168,6 +2170,7 @@ \subsection{Dyadic operators}
\enumerator{Closure}
\enumerator{ZeroInitialize}
\enumerator{ClearStorage}
\enumerator{Select}

\setcounter{enumi}{1023}
\enumerator{Msvc}
Expand Down Expand Up @@ -2346,6 +2349,8 @@ \subsection{Dyadic operators}
\ifcSortSection{Closure}{DyadicOperator}
\ifcSortSection{ZeroInitialize}{DyadicOperator}
\ifcSortSection{ClearStorage}{DyadicOperator}
\ifcSortSection{Select}{DyadicOperator} Use of the source-level scope resolution operator ``\code{::}''.
The first operand designates the scope, and the second operand designates the member to select.

\ifcSortSection{Msvc}{DyadicOperator}
This is a marker, not an actual operator. Dyadic operators with
Expand Down

0 comments on commit 9b942bb

Please sign in to comment.