Koha/misc/translator/TmplTokenizer.pm
Jonathan Druart 6757cd5f86
Bug 35043: Use Locale::PO->quote
We have our own "quote_po" sub that is stating that Locale::PO::quote
is buggy because it does not deal with quoting new lines correctly.
However it seems that it is fixed now.

Ideally we could use Locale::PO::quote everywhere, but it does not
escape tab characters:
  $string =~ s/\\(?!t)/\\\\/g;           # \t is a tab

This means the following:
msgid "Tabulation (\\t)"
msgstr "Tabulation (\\t)"
become:
-msgid "Tabulation (\t)"
-msgstr "Tabulation (\t)"

And we are seeing the following on Weblate:
https://snipboard.io/BjQmDC.jpg

Note that Locale::PO has not been updated since 2014...

The real problem behind this is that we have 2 methods to quote strings.
At first glance it seems that Locale::PO::quote was not used before, but
with the introduction of the koha-i18n project we will have scripts that
will use Locale::PO->save_file_fromarray, which uses Locale::PO->quote
=> Those scripts will be used on the translation server for post
processing (security reason, marking potential XSS strings as fuzzy).

Test plan:
0. Do not apply the patch
1. gulp po:update --lang LANG # Replace LANG with your favorite language
   code
2. git commit -a -m"init PO files"
3. Apply this patch
4. Repeate 1.
5. git diff
   => The change is about the "Tabulation" and "New line" strings from
      tools/csv-profiles.tt
6. Translate them (replace the \t and \n with %s) and remove the fuzzy
   flag
7. install the template: cd misc/translator && perl translate install
   LANG
8. Enable the language, use it and go to the "Nouveau profil CSV" view
   => Notice that the \t and \n are correctly displayed.

Signed-off-by: Owen Leonard <oleonard@myacpl.org>

Signed-off-by: Marcel de Rooy <m.de.rooy@rijksmuseum.nl>
2023-10-27 16:45:52 -03:00

616 lines
19 KiB
Perl

package TmplTokenizer;
use Modern::Perl;
use C4::TmplTokenType;
use C4::TmplToken;
use C4::TTParser;
use VerboseWarnings qw( pedantic_p error_normal warn_normal warn_pedantic );
require Exporter;
###############################################################################
=head1 NAME
TmplTokenizer.pm - Simple-minded wrapper class for TTParser
=head1 DESCRIPTION
A wrapper for the functionality found in TTParser to allow an easier transition to Template Toolkit
=cut
###############################################################################
use vars qw( $pedantic_attribute_error_in_nonpedantic_mode_p );
use vars qw( $pedantic_tmpl_var_use_in_nonpedantic_mode_p );
use vars qw( $pedantic_error_markup_in_pcdata_p );
###############################################################################
# Hideous stuff
use vars qw( $re_xsl $re_end_entity $re_tmpl_var);
BEGIN {
$re_tmpl_var = q{\[%\s*[get|set|default]?\s*[\w\.]+\s*[|.*?]?\s*%\]};
$re_xsl = q{<\/?(?:xsl:)(?:[\s\-a-zA-Z0-9"'\/\.\[\]\@\(\):=,$]+)\/?>};
$re_end_entity = '(?:;|$|(?=\s))'; # semicolon or before-whitespace
}
# End of the hideous stuff
use vars qw( $serial );
###############################################################################
sub FATAL_P () {'fatal-p'}
sub SYNTAXERROR_P () {'syntaxerror-p'}
sub FILENAME () {'input'}
#sub HANDLE () {'handle'}
#sub READAHEAD () {'readahead'}
sub LINENUM_START () {'lc_0'}
sub LINENUM () {'lc'}
sub CDATA_MODE_P () {'cdata-mode-p'}
sub CDATA_CLOSE () {'cdata-close'}
#sub PCDATA_MODE_P () {'pcdata-mode-p'} # additional submode for CDATA
sub JS_MODE_P () {'js-mode-p'} # cdata-mode-p must also be true
sub ALLOW_CFORMAT_P () {'allow-cformat-p'}
sub new {
shift;
my ($filename) = @_;
#open my $handle,$filename or die "can't open $filename";
my $parser = C4::TTParser->new;
$parser->build_tokens( $filename );
bless {
filename => $filename,
_parser => $parser
# , handle => $handle
# , readahead => []
} , __PACKAGE__;
}
###############################################################################
# Simple getters
sub filename {
my $this = shift;
return $this->{filename};
}
sub fatal_p {
my $this = shift;
return $this->{+FATAL_P};
}
# work around, currently not implemented
sub syntaxerror_p {
# my $this = shift;
# return $this->{+SYNTAXERROR_P};
return 0;
}
sub js_mode_p {
my $this = shift;
return $this->{+JS_MODE_P};
}
sub allow_cformat_p {
my $this = shift;
return $this->{+ALLOW_CFORMAT_P};
}
# Simple setters
sub _set_fatal {
my $this = shift;
$this->{+FATAL_P} = $_[0];
return $this;
}
sub _set_js_mode {
my $this = shift;
$this->{+JS_MODE_P} = $_[0];
return $this;
}
#used in xgettext, tmpl_process3
sub set_allow_cformat {
my $this = shift;
$this->{+ALLOW_CFORMAT_P} = $_[0];
return $this;
}
###############################################################################
use vars qw( $js_EscapeSequence );
BEGIN {
# Perl quoting is really screwed up, but this common subexp is way too long
$js_EscapeSequence = q{\\\\(?:['"\\\\bfnrt]|[^0-7xu]|[0-3]?[0-7]{1,2}|x[\da-fA-F]{2}|u[\da-fA-F]{4})};
}
sub parenleft () { '(' }
sub parenright () { ')' }
sub _split_js {
my ($s0) = @_;
my @it = ();
while (length $s0) {
if ($s0 =~ /^\s+/s) { # whitespace
push @it, $&;
$s0 = $';
} elsif ($s0 =~ /^\/\/[^\r\n]*(?:[\r\n]|$)/s) { # C++-style comment
push @it, $&;
$s0 = $';
} elsif ($s0 =~ /^\/\*(?:(?!\*\/).)*\*\//s) { # C-style comment
push @it, $&;
$s0 = $';
# Keyword or identifier, ECMA-262 p.13 (section 7.5)
} elsif ($s0 =~ /^[A-Z_\$][A-Z\d_\$]*/is) { # IdentifierName
push @it, $&;
$s0 = $';
# Punctuator, ECMA-262 p.13 (section 7.6)
} elsif ($s0 =~ /^(?:[\(\){}\[\];]|>>>=|<<=|>>=|[-\+\*\/\&\|\^\%]=|>>>|<<|>>|--|\+\+|\|\||\&\&|==|<=|>=|!=|[=><,!~\?:\.\-\+\*\/\&\|\^\%])/s) {
push @it, $&;
$s0 = $';
# DecimalLiteral, ECMA-262 p.14 (section 7.7.3); note: bug in the spec
} elsif ($s0 =~ /^(?:0|[1-9]\d+(?:\.\d*(?:[eE][-\+]?\d+)?)?)/s) {
push @it, $&;
$s0 = $';
# HexIntegerLiteral, ECMA-262 p.15 (section 7.7.3)
} elsif ($s0 =~ /^0[xX][\da-fA-F]+/s) {
push @it, $&;
$s0 = $';
# OctalIntegerLiteral, ECMA-262 p.15 (section 7.7.3)
} elsif ($s0 =~ /^0[\da-fA-F]+/s) {
push @it, $&;
$s0 = $';
# StringLiteral, ECMA-262 p.17 (section 7.7.4)
# XXX SourceCharacter doesn't seem to be defined (?)
} elsif ($s0 =~ /^(?:"(?:(?!["\\\r\n]).|$js_EscapeSequence)*"|'(?:(?!['\\\r\n]).|$js_EscapeSequence)*')/os) {
push @it, $&;
$s0 = $';
} elsif ($s0 =~ /^./) { # UNKNOWN TOKEN !!!
push @it, $&;
$s0 = $';
}
}
return @it;
}
sub STATE_UNDERSCORE () { 1 }
sub STATE_PARENLEFT () { 2 }
sub STATE_STRING_LITERAL () { 3 }
# XXX This is a crazy hack. I don't want to write an ECMAScript parser.
# XXX A scanner is one thing; a parser another thing.
sub _identify_js_translatables {
my @input = @_;
my @output = ();
# We mark a JavaScript translatable string as in C, i.e., _("literal")
# For simplicity, we ONLY look for "_" "(" StringLiteral ")"
for (my $i = 0, my $state = 0, my($j, $q, $s); $i <= $#input; $i += 1) {
# warn $input[$i];
my $reset_state_p = 0;
push @output, [0, $input[$i]];
if ($input[$i] !~ /\S/s) {
;
} elsif ($state == 0) {
$state = STATE_UNDERSCORE if $input[$i] eq '_';
} elsif ($state == STATE_UNDERSCORE) {
$state = $input[$i] eq parenleft ? STATE_PARENLEFT : 0;
} elsif ($state == STATE_PARENLEFT) {
if ($input[$i] =~ /^(['"])(.*)\1$/s) {
($state, $j, $q, $s) = (STATE_STRING_LITERAL, $#output, $1, $2);
} else {
$state = 0;
}
} elsif ($state == STATE_STRING_LITERAL) {
if ($input[$i] eq parenright) {
$output[$j] = [1, $output[$j]->[1], $q, $s];
}
$state = 0;
} else {
die "identify_js_translatables internal error: Unknown state $state"
}
}
# use Data::Dumper;
# warn Dumper \@output;
return \@output;
}
###############################################################################
sub string_canon {
my $s = shift;
# Fold all whitespace into single blanks
$s =~ s/\s+/ /g;
$s =~ s/^\s+//g;
return $s;
}
# safer version used internally, preserves new lines
sub string_canon_safe {
my $s = shift;
# fold tabs and spaces into single spaces
$s =~ s/[\ \t]+/ /gs;
return $s;
}
sub _quote_cformat{
my $s = shift;
$s =~ s/%/%%/g;
return $s;
}
sub _formalize_string_cformat{
my $s = shift;
return _quote_cformat( string_canon_safe($s) );
}
sub _formalize{
my $t = shift;
if( $t->type == C4::TmplTokenType::DIRECTIVE ){
return '%s';
} elsif( $t->type == C4::TmplTokenType::TEXT ){
return _formalize_string_cformat( $t->string );
} elsif( $t->type == C4::TmplTokenType::TAG ){
if( $t->string =~ m/^a\b/is ){
return '<a>';
} elsif( $t->string =~ m/^input\b/is ){
if( lc $t->attributes->{'type'}->[1] eq 'text' ){
return '%S';
} else{
return '%p';
}
} else{
return _quote_cformat $t->string;
}
} else{
return _quote_cformat $t->string;
}
}
# internal parametization, used within next_token
# method that takes in an array of TEXT and DIRECTIVE tokens (DIRECTIVEs must be GET) and return a C4::TmplTokenType::TEXT_PARAMETRIZED
sub _parametrize_internal{
my $this = shift;
my @parts = @_;
# my $s = "";
# for my $item (@parts){
# if( $item->type == C4::TmplTokenType::TEXT ){
# $s .= $item->string;
# } else {
# #must be a variable directive
# $s .= "%s";
# }
# }
my $s = join( "", map { _formalize $_ } @parts );
# should both the string and form be $s? maybe only the later? posibly the former....
# used line number from first token, should suffice
my $t = C4::TmplToken->new( $s, C4::TmplTokenType::TEXT_PARAMETRIZED, $parts[0]->line_number, $this->filename );
$t->set_children(@parts);
$t->set_form($s);
return $t;
}
sub next_token {
my $self = shift;
my $next;
# warn "in next_token";
# parts that make up a text_parametrized (future children of the token)
my @parts = ();
while(1){
$next = $self->{_parser}->next_token;
if (! $next){
if (@parts){
return $self->_parametrize_internal(@parts);
}
else {
return;
}
}
# if cformat mode is off, dont bother parametrizing, just return them as they come
return $next unless $self->allow_cformat_p;
if( $next->type == C4::TmplTokenType::TEXT ){
push @parts, $next;
}
# elsif( $next->type == C4::TmplTokenType::DIRECTIVE && $next->string =~ m/\[%\s*\w+\s*%\]/ ){
elsif( $next->type == C4::TmplTokenType::DIRECTIVE ){
push @parts, $next;
}
elsif ( $next->type == C4::TmplTokenType::CDATA){
$self->_set_js_mode(1);
my $s0 = $next->string;
my @head = ();
my @tail = ();
if ($s0 =~ /^(\s*\[%\s*)(.*)(\s%=]\s*)$/s) {
push @head, $1;
push @tail, $3;
$s0 = $2;
}
push @head, _split_js($s0);
$next->set_js_data(_identify_js_translatables(@head, @tail) );
return $next unless @parts;
$self->{_parser}->unshift_token($next);
return $self->_parametrize_internal(@parts);
}
else {
# if there is nothing in parts, return this token
return $next unless @parts;
# OTHERWISE, put this token back and return the parametrized string of @parts
$self->{_parser}->unshift_token($next);
return $self->_parametrize_internal(@parts);
}
}
}
###############################################################################
# function taken from old version
# used by tmpl_process3
sub parametrize {
my($fmt_0, $cformat_p, $t, $f) = @_;
my $it = '';
if ($cformat_p) {
my @params = $t->parameters_and_fields;
for (my $n = 0, my $fmt = $fmt_0; length $fmt;) {
if ($fmt =~ /^[^%]+/) {
$fmt = $';
$it .= $&;
} elsif ($fmt =~ /^%%/) {
$fmt = $';
$it .= '%';
} elsif ($fmt =~ /^%(?:(\d+)\$)?(?:(\d+)(?:\.(\d+))?)?s/s) {
$n += 1;
my($i, $width, $prec) = ((defined $1? $1: $n), $2, $3);
$fmt = $';
if (defined $width && defined $prec && !$width && !$prec) {
;
} elsif (defined $params[$i - 1]) {
my $param = $params[$i - 1];
warn_normal("$fmt_0: $&: Expected a TMPL_VAR, but found a "
. $param->type->to_string . "\n", undef)
if $param->type != C4::TmplTokenType::DIRECTIVE;
warn_normal("$fmt_0: $&: Unsupported "
. "field width or precision\n", undef)
if defined $width || defined $prec;
warn_normal("$fmt_0: $&: Parameter $i not known", undef)
unless defined $param;
$it .= defined $f? &$f( $param ): $param->string;
}
} elsif ($fmt =~ /^%(?:(\d+)\$)?(?:(\d+)(?:\.(\d+))?)?([pS])/s) {
$n += 1;
my($i, $width, $prec, $conv) = ((defined $1? $1: $n), $2, $3, $4);
$fmt = $';
my $param = $params[$i - 1];
if (!defined $param) {
warn_normal("$fmt_0: $&: Parameter $i not known", undef);
} else {
if ($param->type == C4::TmplTokenType::TAG
&& $param->string =~ /^<input\b/is) {
my $type = defined $param->attributes?
lc($param->attributes->{'type'}->[1]): undef;
if ($conv eq 'S') {
warn_normal("$fmt_0: $&: Expected type=text, "
. "but found type=$type", undef)
unless $type eq 'text';
} elsif ($conv eq 'p') {
warn_normal("$fmt_0: $&: Expected type=radio, "
. "but found type=$type", undef)
unless $type eq 'radio';
}
} else {
warn_normal("$&: Expected an INPUT, but found a "
. $param->type->to_string . "\n", undef)
}
warn_normal("$fmt_0: $&: Unsupported "
. "field width or precision\n", undef)
if defined $width || defined $prec;
$it .= defined $f? &$f( $param ): $param->string;
}
} elsif ($fmt =~ /^%[^%a-zA-Z]*[a-zA-Z]/) {
$fmt = $';
$it .= $&;
die "$&: Unknown or unsupported format specification\n"; #XXX
} else {
die "$&: Completely confused parametrizing -- msgid: $fmt_0\n";#XXX
}
}
}
my @anchors = $t->anchors;
for (my $n = 0, my $fmt = $it, $it = ''; length $fmt;) {
if ($fmt =~ /^(?:(?!<a\d+>).)+/is) {
$fmt = $';
$it .= $&;
} elsif ($fmt =~ /^<a(\d+)>/is) {
$n += 1;
my $i = $1;
$fmt = $';
my $anchor = $anchors[$i - 1];
warn_normal("$&: Anchor $1 not found for msgid \"$fmt_0\"", undef) #FIXME
unless defined $anchor;
$it .= $anchor->string;
} else {
die "Completely confused decoding anchors: $fmt\n";#XXX
}
}
return $it;
}
# Other simple functions (These are not methods)
sub blank_p {
my($s) = @_;
return $s =~ /^(?:\s|\&nbsp$re_end_entity|$re_tmpl_var|$re_xsl)*$/osi;
}
sub trim {
my($s0) = @_;
my $l0 = length $s0;
my $s = $s0;
$s =~ s/^(\s|\&nbsp$re_end_entity)+//os; my $l1 = $l0 - length $s;
$s =~ s/(\s|\&nbsp$re_end_entity)+$//os; my $l2 = $l0 - $l1 - length $s;
return wantarray? (substr($s0, 0, $l1), $s, substr($s0, $l0 - $l2)): $s;
}
sub charset_canon {
my($charset) = @_;
$charset = uc($charset);
$charset = "$1-$2" if $charset =~ /^(ISO|UTF)(\d.*)/i;
$charset = 'Big5' if $charset eq 'BIG5'; # "Big5" must be in mixed case
return $charset;
}
use vars qw( @latin1_utf8 );
@latin1_utf8 = (
"\302\200", "\302\201", "\302\202", "\302\203", "\302\204", "\302\205",
"\302\206", "\302\207", "\302\210", "\302\211", "\302\212", "\302\213",
"\302\214", "\302\215", undef, undef, "\302\220", "\302\221",
"\302\222", "\302\223", "\302\224", "\302\225", "\302\226", "\302\227",
"\302\230", "\302\231", "\302\232", "\302\233", "\302\234", "\302\235",
"\302\236", "\302\237", "\302\240", "\302\241", "\302\242", "\302\243",
"\302\244", "\302\245", "\302\246", "\302\247", "\302\250", "\302\251",
"\302\252", "\302\253", "\302\254", "\302\255", "\302\256", "\302\257",
"\302\260", "\302\261", "\302\262", "\302\263", "\302\264", "\302\265",
"\302\266", "\302\267", "\302\270", "\302\271", "\302\272", "\302\273",
"\302\274", "\302\275", "\302\276", "\302\277", "\303\200", "\303\201",
"\303\202", "\303\203", "\303\204", "\303\205", "\303\206", "\303\207",
"\303\210", "\303\211", "\303\212", "\303\213", "\303\214", "\303\215",
"\303\216", "\303\217", "\303\220", "\303\221", "\303\222", "\303\223",
"\303\224", "\303\225", "\303\226", "\303\227", "\303\230", "\303\231",
"\303\232", "\303\233", "\303\234", "\303\235", "\303\236", "\303\237",
"\303\240", "\303\241", "\303\242", "\303\243", "\303\244", "\303\245",
"\303\246", "\303\247", "\303\250", "\303\251", "\303\252", "\303\253",
"\303\254", "\303\255", "\303\256", "\303\257", "\303\260", "\303\261",
"\303\262", "\303\263", "\303\264", "\303\265", "\303\266", "\303\267",
"\303\270", "\303\271", "\303\272", "\303\273", "\303\274", "\303\275",
"\303\276", "\303\277" );
sub charset_convert {
my($s, $charset_in, $charset_out) = @_;
if ($s !~ /[\200-\377]/s) { # FIXME: don't worry about iso2022 for now
;
} elsif ($charset_in eq 'ISO-8859-1' && $charset_out eq 'UTF-8') {
$s =~ s/[\200-\377]/ $latin1_utf8[ord($&) - 128] /egs;
} elsif ($charset_in ne $charset_out) {
VerboseWarnings::warn_normal "conversion from $charset_in to $charset_out is not supported\n", undef;
}
return $s;
}
###############################################################################
=pod
In addition to the basic scanning, this class will also perform
the following:
=over
=item -
Emulation of c-format strings (see below)
=item -
Display of warnings for certain things that affects either the
ability of this class to yield correct output, or things that
are known to cause the original template to cause trouble.
=item -
Automatic correction of some of the things warned about
(e.g., SGML "closed start tag" notation).
=back
=head2 c-format strings emulation
Because English word order is not universal, a simple extraction
of translatable strings may yield some strings like "Accounts for"
or ambiguous strings like "in". This makes the resulting strings
difficult to translate, but does not affect all languages alike.
For example, Chinese (with a somewhat different word order) would
be hit harder, but French would be relatively unaffected.
To overcome this problem, the scanner can be configured to detect
patterns with <TMPL_VAR> directives (as well as certain HTML tags),
and try to construct a larger pattern that will appear in the PO
file as c-format strings with %s placeholders. This additional
step allows the translator to deal with cases where word order
is different (replacing %s with %1$s, %2$s, etc.), or when certain
words will require certain inflectional suffixes in sentences.
Because this is an incompatible change, this mode must be explicitly
turned on using the set_allow_cformat(1) method call.
=head2 The flag characters
The character % is followed by zero or more of the following flags:
=over
=item #
The value comes from HTML <INPUT> elements.
This abuse of the flag character is somewhat reasonable,
since TMPL_VAR and INPUT are both variables, but of different kinds.
=back
=head2 The field width and precision
An optional 0.0 can be specified for %s to specify
that the <TMPL_VAR> should be suppressed.
=head2 The conversion specifier
=over
=item p
Specifies any input field that is neither text nor hidden
(which currently mean radio buttons).
The p conversion specifier is chosen because this does not
evoke any certain sensible data type.
=item S
Specifies a text input field (<INPUT TYPE=TEXT>).
This use of the S conversion specifier is somewhat reasonable,
since text input fields contain values of undeterminable type,
which can be treated as strings.
=item s
Specifies a <TMPL_VAR>.
This use of the o conversion specifier is somewhat reasonable,
since <TMPL_VAR> denotes values of undeterminable type, which
can be treated as strings.
=back
=head1 BUGS
There is no code to save the tag name anywhere in the scanned token.
The use of <AI<i>> to stand for the I<i>th anchor
is not very well thought out.
Some abuse of c-format specifies might have been more appropriate.
=head1 HISTORY
This tokenizer is mostly based
on Ambrose's hideous Perl script known as subst.pl.
=cut
1;