2014-07-05 02:04:15 +02:00
|
|
|
#!/usr/bin/env perl
|
2014-06-07 15:00:07 +02:00
|
|
|
|
2021-07-11 00:00:22 +02:00
|
|
|
# SPDX-FileCopyrightText: 2021 Pragmatic Software <pragma78@gmail.com>
|
|
|
|
# SPDX-License-Identifier: MIT
|
2017-03-05 22:33:31 +01:00
|
|
|
|
2014-06-07 15:00:07 +02:00
|
|
|
use strict;
|
|
|
|
use warnings;
|
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
use lib '.';
|
2018-03-12 03:27:29 +01:00
|
|
|
|
2014-06-07 15:00:07 +02:00
|
|
|
use Parse::RecDescent;
|
|
|
|
use Getopt::Std;
|
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
sub precompile_grammar {
|
|
|
|
print STDERR "Precompiling grammar...\n";
|
|
|
|
open GRAMMAR, 'CGrammar.pm' or die "Could not open CGrammar.pm: $!";
|
|
|
|
local $/;
|
|
|
|
my $grammar = <GRAMMAR>;
|
|
|
|
close GRAMMAR;
|
|
|
|
Parse::RecDescent->Precompile($grammar, "PCGrammar") or die "Could not precompile: $!";
|
2014-06-07 15:00:07 +02:00
|
|
|
}
|
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
sub flatten {
|
|
|
|
map { ref eq 'ARRAY' ? flatten(@$_) : $_ } @_
|
2014-06-15 06:28:54 +02:00
|
|
|
}
|
2014-06-07 15:00:07 +02:00
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
sub isfalse {
|
|
|
|
istrue($_[0], 'zero')
|
2014-06-07 15:00:07 +02:00
|
|
|
}
|
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
sub istrue {
|
|
|
|
my @parts = split /(?<!,) and /, $_[0];
|
|
|
|
my $truthy = defined $_[1] ? $_[1] : 'nonzero';
|
|
|
|
my ($result, $and) = ('', '');
|
|
|
|
foreach my $part (@parts) {
|
|
|
|
$result .= $and;
|
|
|
|
if($part !~ /(discard the result|result discarded|greater|less|equal|false$)/) {
|
|
|
|
$result .= "$part is $truthy";
|
|
|
|
} else {
|
|
|
|
$result .= $part;
|
|
|
|
}
|
|
|
|
$and = ' and ';
|
2014-06-28 16:41:50 +02:00
|
|
|
}
|
2021-08-15 20:18:28 +02:00
|
|
|
$result =~ s/is $truthy and the result discarded/is evaluated and the result discarded/g;
|
|
|
|
$result =~ s/is ((?:(?!evaluated).)+) and the result discarded/is evaluated to be $1 and the result discarded/g;
|
|
|
|
return $result;
|
2014-06-07 15:00:07 +02:00
|
|
|
}
|
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
sub main {
|
|
|
|
my ($opt_T, $opt_t, $opt_o, $opt_P);
|
|
|
|
getopts('TPto:');
|
2014-06-15 06:28:54 +02:00
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
if ($opt_T ) {
|
|
|
|
$::RD_TRACE = 1;
|
|
|
|
}
|
2014-06-15 06:28:54 +02:00
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
$::RD_HINT = 1;
|
|
|
|
$Parse::RecDescent::skip = '\s*';
|
2014-06-20 09:43:06 +02:00
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
my $parser;
|
2014-06-24 07:34:54 +02:00
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
if ($opt_P or !eval { require PCGrammar }) {
|
|
|
|
precompile_grammar();
|
|
|
|
require PCGrammar;
|
|
|
|
}
|
2014-09-19 06:17:37 +02:00
|
|
|
|
2021-08-15 20:18:28 +02:00
|
|
|
$parser = PCGrammar->new or die "Bad grammar!\n";
|
|
|
|
|
|
|
|
if ($opt_o) {
|
|
|
|
open(OUTFILE, ">>$opt_o");
|
|
|
|
*STDOUT = *OUTFILE{IO};
|
|
|
|
}
|
|
|
|
|
|
|
|
my $text;
|
|
|
|
|
|
|
|
foreach my $arg (@ARGV) {
|
|
|
|
print STDERR "Opening file $arg\n";
|
|
|
|
|
|
|
|
open(CFILE, "$arg") or die "Could not open $arg.\n";
|
|
|
|
local $/;
|
|
|
|
$text = <CFILE>;
|
|
|
|
close(CFILE);
|
|
|
|
|
|
|
|
print STDERR "parsing...\n";
|
|
|
|
|
|
|
|
my $result = $parser->startrule(\$text) or die "Bad text!\n$text\n";
|
|
|
|
|
|
|
|
$text =~ s/^\s+|\s+$//g;
|
|
|
|
|
|
|
|
if(length $text) {
|
|
|
|
print "Bad parse at: $text";
|
|
|
|
} else {
|
|
|
|
my $output = join('', flatten($result));
|
|
|
|
|
|
|
|
# beautification
|
|
|
|
my @quotes;
|
|
|
|
$output =~ s/(?:\"((?:\\\"|(?!\").)*)\")/push @quotes, $1; '"' . ('-' x length $1) . '"'/ge;
|
|
|
|
|
|
|
|
$output =~ s/\ban un/a un/g;
|
|
|
|
$output =~ s/\ban UTF/a UTF/g;
|
|
|
|
$output =~ s/the value the expression/the value of the expression/g;
|
|
|
|
$output =~ s/the value the member/the value of the member/g;
|
|
|
|
$output =~ s/the value the/the/g;
|
|
|
|
$output =~ s/of evaluate/of/g;
|
|
|
|
$output =~ s/the evaluate the/the/g;
|
|
|
|
$output =~ s/by evaluate the/by the/g;
|
|
|
|
$output =~ s/the a /the /g;
|
|
|
|
$output =~ s/Then if it has the value/If it has the value/g;
|
|
|
|
$output =~ s/result of the expression a generic-selection/result of a generic-selection/g;
|
|
|
|
$output =~ s/the result of the expression (an?) (16-bit character|32-bit character|wide character|UTF-8) string/$1 $2 string/gi;
|
|
|
|
$output =~ s/the function a generic-selection/the function resulting from a generic-selection/g;
|
|
|
|
$output =~ s/\.\s+Then exit switch block/ and then exit switch block/g;
|
|
|
|
$output =~ s/,\././g;
|
|
|
|
$output =~ s/of unspecified length //g;
|
|
|
|
while($output =~ s/const const/const/g){};
|
|
|
|
|
|
|
|
foreach my $quote (@quotes) {
|
|
|
|
next unless $quote;
|
|
|
|
$output =~ s/"-+"/"$quote"/;
|
|
|
|
}
|
|
|
|
|
|
|
|
print $output;
|
|
|
|
}
|
2014-06-24 07:34:54 +02:00
|
|
|
}
|
|
|
|
}
|
2021-08-15 20:18:28 +02:00
|
|
|
|
|
|
|
main;
|