mirror of
https://github.com/postgres/postgres.git
synced 2025-05-08 07:21:33 +03:00
ecpg: remove check_rules.pl.
As noted in the previous commit, check_rules.pl is now entirely redundant with checks made by parse.pl, or would be if it weren't for the places where it's wrong. It's a waste of build cycles and maintenance effort, so remove it. Discussion: https://postgr.es/m/2011420.1713493114@sss.pgh.pa.us
This commit is contained in:
Tom Lane
parent
00b0e7204d
commit
293fd24425
@ -64,8 +64,7 @@ preproc.h: preproc.c
|
|||||||
|
|
||||||
preproc.c: BISONFLAGS += -d
|
preproc.c: BISONFLAGS += -d
|
||||||
|
|
||||||
preproc.y: ../../../backend/parser/gram.y parse.pl check_rules.pl ecpg.addons ecpg.header ecpg.tokens ecpg.trailer ecpg.type
|
preproc.y: ../../../backend/parser/gram.y parse.pl ecpg.addons ecpg.header ecpg.tokens ecpg.trailer ecpg.type
|
||||||
$(PERL) $(srcdir)/check_rules.pl --srcdir $(srcdir) --parser $<
|
|
||||||
$(PERL) $(srcdir)/parse.pl --srcdir $(srcdir) --parser $< --output $@
|
$(PERL) $(srcdir)/parse.pl --srcdir $(srcdir) --parser $< --output $@
|
||||||
|
|
||||||
# generate keyword headers
|
# generate keyword headers
|
||||||
|
|||||||
@ -1,202 +0,0 @@
|
|||||||
#!/usr/bin/perl
|
|
||||||
# src/interfaces/ecpg/preproc/check_rules.pl
|
|
||||||
# test parser generator for ecpg
|
|
||||||
# call with backend grammar as stdin
|
|
||||||
#
|
|
||||||
# Copyright (c) 2009-2024, PostgreSQL Global Development Group
|
|
||||||
#
|
|
||||||
# Written by Michael Meskes <meskes@postgresql.org>
|
|
||||||
# Andy Colson <andy@squeakycode.net>
|
|
||||||
#
|
|
||||||
# Placed under the same license as PostgreSQL.
|
|
||||||
#
|
|
||||||
# Command line: [-v] [path only to ecpg.addons] [full filename of gram.y]
|
|
||||||
# -v enables verbose mode... show's some stats... thought it might be interesting
|
|
||||||
#
|
|
||||||
# This script loads rule names from gram.y and sets $found{rule} = 1 for each.
|
|
||||||
# Then it checks to make sure each rule in ecpg.addons was found in gram.y
|
|
||||||
|
|
||||||
use strict;
|
|
||||||
use warnings FATAL => 'all';
|
|
||||||
use Getopt::Long;
|
|
||||||
|
|
||||||
my $srcdir = '.';
|
|
||||||
my $parser = '../../../backend/parser/gram.y';
|
|
||||||
my $stamp = '';
|
|
||||||
my $verbose = 0;
|
|
||||||
|
|
||||||
GetOptions(
|
|
||||||
'srcdir=s' => \$srcdir,
|
|
||||||
'parser=s' => \$parser,
|
|
||||||
'stamp=s' => \$stamp,
|
|
||||||
'verbose' => \$verbose,) or die "wrong arguments";
|
|
||||||
|
|
||||||
my $filename = "$srcdir/ecpg.addons";
|
|
||||||
if ($verbose)
|
|
||||||
{
|
|
||||||
print "parser: $parser\n";
|
|
||||||
print "addons: $filename\n";
|
|
||||||
}
|
|
||||||
|
|
||||||
my %replace_line = (
|
|
||||||
'ExecuteStmtEXECUTEnameexecute_param_clause' =>
|
|
||||||
'EXECUTE prepared_name execute_param_clause execute_rest',
|
|
||||||
|
|
||||||
'ExecuteStmtCREATEOptTempTABLEcreate_as_targetASEXECUTEnameexecute_param_clauseopt_with_data'
|
|
||||||
=> 'CREATE OptTemp TABLE create_as_target AS EXECUTE prepared_name execute_param_clause opt_with_data execute_rest',
|
|
||||||
|
|
||||||
'ExecuteStmtCREATEOptTempTABLEIF_PNOTEXISTScreate_as_targetASEXECUTEnameexecute_param_clauseopt_with_data'
|
|
||||||
=> 'CREATE OptTemp TABLE IF_P NOT EXISTS create_as_target AS EXECUTE prepared_name execute_param_clause opt_with_data execute_rest',
|
|
||||||
|
|
||||||
'PrepareStmtPREPAREnameprep_type_clauseASPreparableStmt' =>
|
|
||||||
'PREPARE prepared_name prep_type_clause AS PreparableStmt');
|
|
||||||
|
|
||||||
my $block = '';
|
|
||||||
my $yaccmode = 0;
|
|
||||||
my $in_rule = 0;
|
|
||||||
my $brace_indent = 0;
|
|
||||||
my (@arr, %found);
|
|
||||||
my $comment = 0;
|
|
||||||
my $non_term_id = '';
|
|
||||||
my $cc = 0;
|
|
||||||
|
|
||||||
open my $parser_fh, '<', $parser or die $!;
|
|
||||||
while (<$parser_fh>)
|
|
||||||
{
|
|
||||||
if (/^%%/)
|
|
||||||
{
|
|
||||||
$yaccmode++;
|
|
||||||
}
|
|
||||||
|
|
||||||
if ($yaccmode != 1)
|
|
||||||
{
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
|
|
||||||
chomp; # strip record separator
|
|
||||||
|
|
||||||
next if ($_ eq '');
|
|
||||||
|
|
||||||
# Make sure any braces are split
|
|
||||||
s/{/ { /g;
|
|
||||||
s/}/ } /g;
|
|
||||||
|
|
||||||
# Any comments are split
|
|
||||||
s|\/\*| /* |g;
|
|
||||||
s|\*\/| */ |g;
|
|
||||||
|
|
||||||
# Now split the line into individual fields
|
|
||||||
my $n = (@arr = split(' '));
|
|
||||||
|
|
||||||
# Go through each field in turn
|
|
||||||
for (my $fieldIndexer = 0; $fieldIndexer < $n; $fieldIndexer++)
|
|
||||||
{
|
|
||||||
if ($arr[$fieldIndexer] eq '*/' && $comment)
|
|
||||||
{
|
|
||||||
$comment = 0;
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
elsif ($comment)
|
|
||||||
{
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
elsif ($arr[$fieldIndexer] eq '/*')
|
|
||||||
{
|
|
||||||
|
|
||||||
# start of a multiline comment
|
|
||||||
$comment = 1;
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
elsif ($arr[$fieldIndexer] eq '//')
|
|
||||||
{
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
elsif ($arr[$fieldIndexer] eq '}')
|
|
||||||
{
|
|
||||||
$brace_indent--;
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
elsif ($arr[$fieldIndexer] eq '{')
|
|
||||||
{
|
|
||||||
$brace_indent++;
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
|
|
||||||
if ($brace_indent > 0)
|
|
||||||
{
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
|
|
||||||
if ($arr[$fieldIndexer] eq ';' || $arr[$fieldIndexer] eq '|')
|
|
||||||
{
|
|
||||||
$block = $non_term_id . $block;
|
|
||||||
if ($replace_line{$block})
|
|
||||||
{
|
|
||||||
$block = $non_term_id . $replace_line{$block};
|
|
||||||
$block =~ tr/ |//d;
|
|
||||||
}
|
|
||||||
$found{$block} = 1;
|
|
||||||
$cc++;
|
|
||||||
$block = '';
|
|
||||||
$in_rule = 0 if $arr[$fieldIndexer] eq ';';
|
|
||||||
}
|
|
||||||
elsif (
|
|
||||||
($arr[$fieldIndexer] =~ '[A-Za-z0-9]+:')
|
|
||||||
|| ( $fieldIndexer + 1 < $n
|
|
||||||
&& $arr[ $fieldIndexer + 1 ] eq ':'))
|
|
||||||
{
|
|
||||||
die "unterminated rule at grammar line $.\n"
|
|
||||||
if $in_rule;
|
|
||||||
$in_rule = 1;
|
|
||||||
$non_term_id = $arr[$fieldIndexer];
|
|
||||||
$non_term_id =~ tr/://d;
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
$block = $block . $arr[$fieldIndexer];
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
die "unterminated rule at end of grammar\n"
|
|
||||||
if $in_rule;
|
|
||||||
|
|
||||||
close $parser_fh;
|
|
||||||
if ($verbose)
|
|
||||||
{
|
|
||||||
print "$cc rules loaded\n";
|
|
||||||
}
|
|
||||||
|
|
||||||
my $ret = 0;
|
|
||||||
$cc = 0;
|
|
||||||
|
|
||||||
open my $ecpg_fh, '<', $filename or die $!;
|
|
||||||
while (<$ecpg_fh>)
|
|
||||||
{
|
|
||||||
if (!/^ECPG:/)
|
|
||||||
{
|
|
||||||
next;
|
|
||||||
}
|
|
||||||
|
|
||||||
my @Fld = split(' ', $_, 3);
|
|
||||||
$cc++;
|
|
||||||
if (not exists $found{ $Fld[1] })
|
|
||||||
{
|
|
||||||
print $Fld[1], " is not used for building parser!\n";
|
|
||||||
$ret = 1;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
close $ecpg_fh;
|
|
||||||
|
|
||||||
if ($verbose)
|
|
||||||
{
|
|
||||||
print "$cc rules checked\n";
|
|
||||||
}
|
|
||||||
|
|
||||||
if ($stamp)
|
|
||||||
{
|
|
||||||
open my $stampfh, '>', $stamp or die $!;
|
|
||||||
close $stampfh;
|
|
||||||
}
|
|
||||||
|
|
||||||
exit $ret;
|
|
||||||
@ -44,20 +44,6 @@ preproc_y = custom_target('preproc.y',
|
|||||||
)
|
)
|
||||||
generated_sources += preproc_y
|
generated_sources += preproc_y
|
||||||
|
|
||||||
check_rules = custom_target('preproc.y.check_rules',
|
|
||||||
input: [
|
|
||||||
'../../../backend/parser/gram.y',
|
|
||||||
ecpg_files,
|
|
||||||
],
|
|
||||||
output: 'preproc.y.check_rules',
|
|
||||||
command: [
|
|
||||||
perl, files('check_rules.pl'),
|
|
||||||
'--srcdir', '@CURRENT_SOURCE_DIR@',
|
|
||||||
'--parser', '@INPUT0@',
|
|
||||||
'--stamp', '@OUTPUT0@',
|
|
||||||
],
|
|
||||||
)
|
|
||||||
|
|
||||||
preproc = custom_target('preproc.c',
|
preproc = custom_target('preproc.c',
|
||||||
input: preproc_y,
|
input: preproc_y,
|
||||||
kwargs: bison_kw,
|
kwargs: bison_kw,
|
||||||
@ -68,7 +54,6 @@ ecpg_sources += preproc
|
|||||||
c_kwlist = custom_target('c_kwlist_d.h',
|
c_kwlist = custom_target('c_kwlist_d.h',
|
||||||
input: ['c_kwlist.h'],
|
input: ['c_kwlist.h'],
|
||||||
output: ['c_kwlist_d.h'],
|
output: ['c_kwlist_d.h'],
|
||||||
depends: check_rules,
|
|
||||||
depend_files: gen_kwlist_deps,
|
depend_files: gen_kwlist_deps,
|
||||||
command: [gen_kwlist_cmd, '--varname', 'ScanCKeywords', '--no-case-fold'],
|
command: [gen_kwlist_cmd, '--varname', 'ScanCKeywords', '--no-case-fold'],
|
||||||
)
|
)
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user