1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
use strict;
use lib 'lib';
use lib '../lib';
use DBI;
use GenTest;
use GenTest::Constants;
use GenTest::Simplifier::Grammar;
use GenTest::Generator::FromGrammar;
use Test::More tests => 1;
my $initial_grammar_file = 't/simplify-grammar.yy';
open(INITIAL_GRAMMAR, $initial_grammar_file) or die $!;
read(INITIAL_GRAMMAR, my $initial_grammar_string , -s $initial_grammar_file);
close(INITIAL_GRAMMAR);
my $simplifier = GenTest::Simplifier::Grammar->new(
oracle => sub {
my $oracle_grammar_string = shift;
my $generator = GenTest::Generator::FromGrammar->new(
grammar_string => $oracle_grammar_string
);
foreach my $queries (1..1000) {
my $query = $generator->next();
return 0 if not defined $query;
my $sql = join('; ', @$query);
return 0 if $sql eq '';
if (
($sql =~ m{select}sio) &&
($sql =~ m{where}sio) &&
($sql =~ m{C1|C2}sio) &&
($sql =~ m{S3}sio) &&
($sql =~ m{order by}sio) &&
($sql =~ m{group by}sio) &&
($sql !~ m{limit}sio) &&
($sql =~ m{AA|BB}) &&
($sql =~ m{F1})
) {
say("Query $sql matches.");
return 1;
}
}
say("No queries matched.");
return 0;
}
);
my $simplified_grammar_string = $simplifier->simplify($initial_grammar_string);
print "Simplified grammar:\n\n$simplified_grammar_string;\n\n";
ok(defined $simplified_grammar_string, "simplify-grammar");
|