Translation of aldordoc Active Commands

In an aldordoc verbatim context, i. e., in the scope of the adsnippet and adusage environments and the ∖adcode command, certain LATEX commands retain their meaning. These commands are called active commands and will be expanded.

The other parts of the given string are escaped appropriately so that they appear in the output in a verbatim form. This escaping is done via the function escapeForVerb .

and basically means x/b. If, however, adname is a function that is applied to b and it was actually meant as

Note that we work here with the same regular expression for a type constructor as in Section 38.1.

313⟨constructor name regular expression 313⟩≡ (304 314 497a 510) 497b ⊳
[A-Z][a-zA-Z0-9]*[a-z][a-zA-Z0-9]*

314⟨adtranslateActiveCommands 314⟩≡   (326)
sub adtranslateActiveCommands {
    my ($str, $escape, @escargs) = @_;
    my ($ret) = ’’;
    my ($b, $o, $type, $name, $c);
    my ($indexkey, $indextext);
    my ($hyperlabelname, $hyperlabelsignature);
    my ($latextext, $signature);
    my ($texcommand);

    while ($str=~/(\\ad(this)?(type|name))/) {
        $texcommand = $1;
        $this = $2;
        $ret .= &{$escape}($‘, @escargs);
        $str = "$’"; # must copy {
        if ($this ne ’’) { # \adthisname and \adthistype
            $ret .= $texcommand;
            if ($str =~ /^{}/) {
                $str = $’;
                $ret .= ’{}’;
            }
        } elsif ($texcommand eq ’\adtype’) {
            if ($str =~ /^({⟨constructor name regular expression 313⟩})/) {
                $ret .= "\\adtype$1";
                $str = $’;
            } else {
                print STDERR "adtranslateActiveCommands:\n";
                print STDERR "\\adtype{TYPE} must match regular expression\n";
                print STDERR "\\\\adtype{⟨constructor name regular expression 313⟩}\n";
                die "Found: $str";
            }
        } else { # The \adname case.
            $str = "$texcommand$str";
            ($translated, $str) = &adtranslateInterfaceOnlyCommand($str);
            $ret .= $translated;
        }
    }
    $ret .= &{$escape}($str, @escargs);
    return $ret;
}

Defines:
adtranslateActiveCommands, used in chunks 298 and 301a.

Uses adtranslateInterfaceOnlyCommand 304.

26.4 Translation of aldordoc Active Commands