☰

Salve dois pontos ativos no expl3

tag-icon • tag-icon expl3 catcodes
Salve dois pontos ativos no expl3

Existe uma maneira preferida de realizar o seguinte sem precisar sair da sintaxe expl3?

\documentclass{article}
\usepackage{expl3}
\usepackage[french]{babel}
\begin{document}

\ExplSyntaxOn
% suppose I am within a package here -- else the definition could just be made
% outside of the expl3 scope
\group_begin:
\char_set_catcode_active:N \:
% now expl3 syntax isn't possible any more
\gdef \c_colon_active_tl {:}
\endgroup

% just for showing things are working as expected:
a \c_colon_active_tl {} ~ vs~ a:
\ExplSyntaxOff

\end{document}

Responder1

O habitual problema do ovo e da galinha, que pode ser resolvido com o \lowercasetruque:

\documentclass{article}
\usepackage{xparse}

\ExplSyntaxOn
\group_begin:
\char_set_catcode_active:N \^^@
\char_set_lccode:nn { `^^@ } { `: }
\tl_to_lowercase:n { \group_end:
  \tl_const:Nn \c_colon_active_tl { ^^@ }
}

\tl_show_analysis:N \c_colon_active_tl

A saída é

The token list \c_colon_active_tl contains the tokens:
>  : (active character=undefined).

(Para lançamentos anteriores ao TeX Live 2017, você precisará \usepackage{l3tl-analysis}de mais \usepackage{xparse}para que isso funcione.)

ATUALIZAÇÃO 2020

Agora existe uma maneira muito melhor de fazer o mesmo (a propósito, o código acima não funcionaria em expl3kernels recentes).

\documentclass{article}
\usepackage{xparse}

\ExplSyntaxOn
\group_begin:
\char_set_active_eq:nN { `: } \scan_stop:
\tl_const:Nx \c_colon_active_tl { \char_generate:nn { `: } { 13 } }
\group_end:

\tl_analysis_show:N \c_colon_active_tl

Isso mostra

The token list \c_colon_active_tl contains the tokens:
>  : (active character=undefined).

Porém, ao definir um significado para os dois pontos ativos, usar \c_colon_active_tlempregaria isso, porque um caractere ativo é uma macro. O \scan_stop:(ou seja, \relax) é usado para evitar a expansão dos dois pontos ativos gerados.

informação relacionada