[dbsrgits/SQL-Translator.git] / lib / SQL / Translator / Parser / SQLite.pm

package SQL::Translator::Parser::SQLite;

# -------------------------------------------------------------------
# Copyright (C) 2002-2009 SQLFairy Authors
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License as
# published by the Free Software Foundation; version 2.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
# 02111-1307  USA
# -------------------------------------------------------------------

=head1 NAME

SQL::Translator::Parser::SQLite - parser for SQLite

=head1 SYNOPSIS

  use SQL::Translator;
  use SQL::Translator::Parser::SQLite;

  my $translator = SQL::Translator->new;
  $translator->parser("SQL::Translator::Parser::SQLite");

=head1 DESCRIPTION

This is a grammar for parsing CREATE statements for SQLite as 
described here:

    http://www.sqlite.org/lang.html

CREATE INDEX

sql-statement ::=
    CREATE [TEMP | TEMPORARY] [UNIQUE] INDEX index-name 
     ON [database-name .] table-name ( column-name [, column-name]* )
     [ ON CONFLICT conflict-algorithm ]

column-name ::=
    name [ ASC | DESC ]

CREATE TABLE

sql-command ::=
    CREATE [TEMP | TEMPORARY] TABLE table-name (
        column-def [, column-def]*
        [, constraint]*
     )

sql-command ::=
    CREATE [TEMP | TEMPORARY] TABLE table-name AS select-statement

column-def ::=
    name [type] [[CONSTRAINT name] column-constraint]*

type ::=
    typename |
     typename ( number ) |
     typename ( number , number )

column-constraint ::=
    NOT NULL [ conflict-clause ] |
    PRIMARY KEY [sort-order] [ conflict-clause ] |
    UNIQUE [ conflict-clause ] |
    CHECK ( expr ) [ conflict-clause ] |
    DEFAULT value

constraint ::=
    PRIMARY KEY ( name [, name]* ) [ conflict-clause ]|
    UNIQUE ( name [, name]* ) [ conflict-clause ] |
    CHECK ( expr ) [ conflict-clause ]

conflict-clause ::=
    ON CONFLICT conflict-algorithm

CREATE TRIGGER

sql-statement ::=
    CREATE [TEMP | TEMPORARY] TRIGGER trigger-name [ BEFORE | AFTER ]
    database-event ON [database-name .] table-name
    trigger-action

sql-statement ::=
    CREATE [TEMP | TEMPORARY] TRIGGER trigger-name INSTEAD OF
    database-event ON [database-name .] view-name
    trigger-action

database-event ::=
    DELETE | 
    INSERT | 
    UPDATE | 
    UPDATE OF column-list

trigger-action ::=
    [ FOR EACH ROW | FOR EACH STATEMENT ] [ WHEN expression ] 
        BEGIN 
            trigger-step ; [ trigger-step ; ]*
        END

trigger-step ::=
    update-statement | insert-statement | 
    delete-statement | select-statement

CREATE VIEW

sql-command ::=
    CREATE [TEMP | TEMPORARY] VIEW view-name AS select-statement

ON CONFLICT clause

    conflict-clause ::=
    ON CONFLICT conflict-algorithm

    conflict-algorithm ::=
    ROLLBACK | ABORT | FAIL | IGNORE | REPLACE

expression

expr ::=
    expr binary-op expr |
    expr like-op expr |
    unary-op expr |
    ( expr ) |
    column-name |
    table-name . column-name |
    database-name . table-name . column-name |
    literal-value |
    function-name ( expr-list | * ) |
    expr (+) |
    expr ISNULL |
    expr NOTNULL |
    expr [NOT] BETWEEN expr AND expr |
    expr [NOT] IN ( value-list ) |
    expr [NOT] IN ( select-statement ) |
    ( select-statement ) |
    CASE [expr] ( WHEN expr THEN expr )+ [ELSE expr] END

like-op::=
    LIKE | GLOB | NOT LIKE | NOT GLOB

=cut

use strict;
use vars qw[ $DEBUG $VERSION $GRAMMAR @EXPORT_OK ];
$VERSION = '1.59';
$DEBUG   = 0 unless defined $DEBUG;

use Data::Dumper;
use Parse::RecDescent;
use Exporter;
use base qw(Exporter);

@EXPORT_OK = qw(parse);

# Enable warnings within the Parse::RecDescent module.
$::RD_ERRORS = 1; # Make sure the parser dies when it encounters an error
$::RD_WARN   = 1; # Enable warnings. This will warn on unused rules &c.
$::RD_HINT   = 1; # Give out hints to help fix problems.

$GRAMMAR = q!

{ 
    my ( %tables, $table_order, @table_comments, @views, @triggers );
}

#
# The "eofile" rule makes the parser fail if any "statement" rule
# fails.  Otherwise, the first successful match by a "statement" 
# won't cause the failure needed to know that the parse, as a whole,
# failed. -ky
#
startrule : statement(s) eofile { 
    $return      = {
        tables   => \%tables, 
        views    => \@views,
        triggers => \@triggers,
    }
}

eofile : /^\Z/

statement : begin_transaction
    | commit
    | drop
    | comment
    | create
    | <error>

begin_transaction : /begin/i TRANSACTION(?) SEMICOLON

commit : /commit/i SEMICOLON

drop : /drop/i (tbl_drop | view_drop | trg_drop) SEMICOLON

tbl_drop: TABLE <commit> table_name

view_drop: VIEW if_exists(?) view_name

trg_drop: TRIGGER if_exists(?) trigger_name

comment : /^\s*(?:#|-{2}).*\n/
    {
        my $comment =  $item[1];
        $comment    =~ s/^\s*(#|-{2})\s*//;
        $comment    =~ s/\s*$//;
        $return     = $comment;
    }

comment : /\/\*/ /[^\*]+/ /\*\// 
    {
        my $comment = $item[2];
        $comment    =~ s/^\s*|\s*$//g;
        $return = $comment;
    }

#
# Create Index
#
create : CREATE TEMPORARY(?) UNIQUE(?) INDEX NAME ON table_name parens_field_list conflict_clause(?) SEMICOLON
    {
        my $db_name    = $item[7]->{'db_name'} || '';
        my $table_name = $item[7]->{'name'};

        my $index        =  { 
            name         => $item[5],
            fields       => $item[8],
            on_conflict  => $item[9][0],
            is_temporary => $item[2][0] ? 1 : 0,
        };

        my $is_unique = $item[3][0];

        if ( $is_unique ) {
            $index->{'type'} = 'unique';
            push @{ $tables{ $table_name }{'constraints'} }, $index;
        }
        else {
            push @{ $tables{ $table_name }{'indices'} }, $index;
        }
    }

#
# Create Table
#
create : CREATE TEMPORARY(?) TABLE table_name '(' definition(s /,/) ')' SEMICOLON
    {
        my $db_name    = $item[4]->{'db_name'} || '';
        my $table_name = $item[4]->{'name'};

        $tables{ $table_name }{'name'}         = $table_name;
        $tables{ $table_name }{'is_temporary'} = $item[2][0] ? 1 : 0;
        $tables{ $table_name }{'order'}        = ++$table_order;

        for my $def ( @{ $item[6] } ) {
            if ( $def->{'supertype'} eq 'column' ) {
                push @{ $tables{ $table_name }{'fields'} }, $def;
            }
            elsif ( $def->{'supertype'} eq 'constraint' ) {
                push @{ $tables{ $table_name }{'constraints'} }, $def;
            }
        }
    }

definition : constraint_def | column_def 

column_def: comment(s?) NAME type(?) column_constraint(s?)
    {
        my $column = {
            supertype      => 'column',
            name           => $item[2],
            data_type      => $item[3][0]->{'type'},
            size           => $item[3][0]->{'size'},
            is_nullable    => 1,
            is_primary_key => 0,
            is_unique      => 0,
            check          => '',
            default        => undef,
            constraints    => $item[4],
            comments       => $item[1],
        };


        for my $c ( @{ $item[4] } ) {
            if ( $c->{'type'} eq 'not_null' ) {
                $column->{'is_nullable'} = 0;
            }
            elsif ( $c->{'type'} eq 'primary_key' ) {
                $column->{'is_primary_key'} = 1;
            }
            elsif ( $c->{'type'} eq 'unique' ) {
                $column->{'is_unique'} = 1;
            }
            elsif ( $c->{'type'} eq 'check' ) {
                $column->{'check'} = $c->{'expression'};
            }
            elsif ( $c->{'type'} eq 'default' ) {
                $column->{'default'} = $c->{'value'};
            }
            elsif ( $c->{'type'} eq 'autoincrement' ) {
                $column->{'is_auto_inc'} = 1;
            }
        }

        $column;
    }

type : WORD parens_value_list(?)
    {
        $return = {
            type => $item[1],
            size => $item[2][0],
        }
    }

column_constraint : NOT_NULL conflict_clause(?)
    {
        $return = {
            type => 'not_null',
        }
    }
    |
    PRIMARY_KEY sort_order(?) conflict_clause(?)
    {
        $return = {
            type        => 'primary_key',
            sort_order  => $item[2][0],
            on_conflict => $item[2][0], 
        }
    }
    |
    UNIQUE conflict_clause(?)
    {
        $return = {
            type        => 'unique',
            on_conflict => $item[2][0], 
        }
    }
    |
    CHECK_C '(' expr ')' conflict_clause(?)
    {
        $return = {
            type        => 'check',
            expression  => $item[3],
            on_conflict => $item[5][0], 
        }
    }
    |
    DEFAULT VALUE
    {
        $return   = {
            type  => 'default',
            value => $item[2],
        }
    }
    |
    REFERENCES ref_def
    {
        $return   = {
            type             => 'foreign_key',
            reference_table  => $item[2]{'reference_table'},
            reference_fields => $item[2]{'reference_fields'},
        }
    }
    |
    AUTOINCREMENT
    {
        $return = {
            type => 'autoincrement',
        }
    }

constraint_def : PRIMARY_KEY parens_field_list conflict_clause(?)
    {
        $return         = {
            supertype   => 'constraint',
            type        => 'primary_key',
            fields      => $item[2],
            on_conflict => $item[3][0],
        }
    }
    |
    UNIQUE parens_field_list conflict_clause(?)
    {
        $return         = {
            supertype   => 'constraint',
            type        => 'unique',
            fields      => $item[2],
            on_conflict => $item[3][0],
        }
    }
    |
    CHECK_C '(' expr ')' conflict_clause(?)
    {
        $return         = {
            supertype   => 'constraint',
            type        => 'check',
            expression  => $item[3],
            on_conflict => $item[5][0],
        }
    }

ref_def : /(\w+)\s*\((\w+)\)/
    { $return = { reference_table => $1, reference_fields => $2 } }

table_name : qualified_name
    
qualified_name : NAME 
    { $return = { name => $item[1] } }

qualified_name : /(\w+)\.(\w+)/ 
    { $return = { db_name => $1, name => $2 } }

field_name : NAME

conflict_clause : /on conflict/i conflict_algorigthm

conflict_algorigthm : /(rollback|abort|fail|ignore|replace)/i

parens_field_list : '(' column_list ')'
    { $item[2] }

column_list : field_name(s /,/)

parens_value_list : '(' VALUE(s /,/) ')'
    { $item[2] }

expr : /[^)]+/

sort_order : /(ASC|DESC)/i

#
# Create Trigger

create : CREATE TEMPORARY(?) TRIGGER NAME before_or_after(?) database_event ON table_name trigger_action SEMICOLON
    {
        my $table_name = $item[8]->{'name'};
        push @triggers, {
            name         => $item[4],
            is_temporary => $item[2][0] ? 1 : 0,
            when         => $item[5][0],
            instead_of   => 0,
            db_events    => [ $item[6] ],
            action       => $item[9],
            on_table     => $table_name,
        }
    }

create : CREATE TEMPORARY(?) TRIGGER NAME instead_of database_event ON view_name trigger_action
    {
        my $table_name = $item[8]->{'name'};
        push @triggers, {
            name         => $item[4],
            is_temporary => $item[2][0] ? 1 : 0,
            when         => undef,
            instead_of   => 1,
            db_events    => [ $item[6] ],
            action       => $item[9],
            on_table     => $table_name,
        }
    }

database_event : /(delete|insert|update)/i

database_event : /update of/i column_list

trigger_action : for_each(?) when(?) BEGIN_C trigger_step(s) END_C
    {
        $return = {
            for_each => $item[1][0],
            when     => $item[2][0],
            steps    => $item[4],
        }
    }

for_each : /FOR EACH ROW/i

when : WHEN expr { $item[2] }

string :
   /'(\\.|''|[^\\\'])*'/ 

nonstring : /[^;\'"]+/

statement_body : string | nonstring

trigger_step : /(select|delete|insert|update)/i statement_body(s?) SEMICOLON
    {
        $return = join( ' ', $item[1], join ' ', @{ $item[2] || [] } )
    }   

before_or_after : /(before|after)/i { $return = lc $1 }

instead_of : /instead of/i

if_exists : /if exists/i

view_name : qualified_name

trigger_name : qualified_name

#
# Create View
#
create : CREATE TEMPORARY(?) VIEW view_name AS select_statement 
    {
        push @views, {
            name         => $item[4]->{'name'},
            sql          => $item[6], 
            is_temporary => $item[2][0] ? 1 : 0,
        }
    }

select_statement : SELECT /[^;]+/ SEMICOLON
    {
        $return = join( ' ', $item[1], $item[2] );
    }

#
# Tokens
#
BEGIN_C : /begin/i

END_C : /end/i

TRANSACTION: /transaction/i

CREATE : /create/i

TEMPORARY : /temp(orary)?/i { 1 }

TABLE : /table/i

INDEX : /index/i

NOT_NULL : /not null/i

PRIMARY_KEY : /primary key/i

CHECK_C : /check/i

DEFAULT : /default/i

TRIGGER : /trigger/i

VIEW : /view/i

SELECT : /select/i

ON : /on/i

AS : /as/i

WORD : /\w+/

WHEN : /when/i

REFERENCES : /references/i

AUTOINCREMENT : /autoincrement/i

UNIQUE : /unique/i { 1 }

SEMICOLON : ';'

NAME : /["']?(\w+)["']?/ { $return = $1 }

VALUE : /[-+]?\.?\d+(?:[eE]\d+)?/
    { $item[1] }
    | /'.*?'/   
    { 
        # remove leading/trailing quotes 
        my $val = $item[1];
        $val    =~ s/^['"]|['"]$//g;
        $return = $val;
    }
    | /NULL/
    { 'NULL' }
    | /CURRENT_TIMESTAMP/i
    { 'CURRENT_TIMESTAMP' }

!;

# -------------------------------------------------------------------
sub parse {
    my ( $translator, $data ) = @_;
    my $parser = Parse::RecDescent->new($GRAMMAR);

    local $::RD_TRACE  = $translator->trace ? 1 : undef;
    local $DEBUG       = $translator->debug;

    unless (defined $parser) {
        return $translator->error("Error instantiating Parse::RecDescent ".
            "instance: Bad grammer");
    }

    my $result = $parser->startrule($data);
    return $translator->error( "Parse failed." ) unless defined $result;
    warn Dumper( $result ) if $DEBUG;

    my $schema = $translator->schema;
    my @tables = 
        map   { $_->[1] }
        sort  { $a->[0] <=> $b->[0] } 
        map   { [ $result->{'tables'}{ $_ }->{'order'}, $_ ] }
        keys %{ $result->{'tables'} };

    for my $table_name ( @tables ) {
        my $tdata =  $result->{'tables'}{ $table_name };
        my $table =  $schema->add_table( 
            name  => $tdata->{'name'},
        ) or die $schema->error;

        $table->comments( $tdata->{'comments'} );

        for my $fdata ( @{ $tdata->{'fields'} } ) {
            my $field = $table->add_field(
                name              => $fdata->{'name'},
                data_type         => $fdata->{'data_type'},
                size              => $fdata->{'size'},
                default_value     => $fdata->{'default'},
                is_auto_increment => $fdata->{'is_auto_inc'},
                is_nullable       => $fdata->{'is_nullable'},
                comments          => $fdata->{'comments'},
            ) or die $table->error;

            $table->primary_key( $field->name ) if $fdata->{'is_primary_key'};

            for my $cdata ( @{ $fdata->{'constraints'} } ) {
                next unless $cdata->{'type'} eq 'foreign_key';
                $cdata->{'fields'} ||= [ $field->name ];
                push @{ $tdata->{'constraints'} }, $cdata;
            }
        }

        for my $idata ( @{ $tdata->{'indices'} || [] } ) {
            my $index  =  $table->add_index(
                name   => $idata->{'name'},
                type   => uc $idata->{'type'},
                fields => $idata->{'fields'},
            ) or die $table->error;
        }

        for my $cdata ( @{ $tdata->{'constraints'} || [] } ) {
            my $constraint       =  $table->add_constraint(
                name             => $cdata->{'name'},
                type             => $cdata->{'type'},
                fields           => $cdata->{'fields'},
                reference_table  => $cdata->{'reference_table'},
                reference_fields => $cdata->{'reference_fields'},
                match_type       => $cdata->{'match_type'} || '',
                on_delete        => $cdata->{'on_delete'} 
                                 || $cdata->{'on_delete_do'},
                on_update        => $cdata->{'on_update'} 
                                 || $cdata->{'on_update_do'},
            ) or die $table->error;
        }
    }

    for my $def ( @{ $result->{'views'} || [] } ) {
        my $view = $schema->add_view(
            name => $def->{'name'},
            sql  => $def->{'sql'},
        );
    }

    for my $def ( @{ $result->{'triggers'} || [] } ) {
        my $view                = $schema->add_trigger(
            name                => $def->{'name'},
            perform_action_when => $def->{'when'},
            database_events     => $def->{'db_events'},
            action              => $def->{'action'},
            on_table            => $def->{'on_table'},
        );
    }

    return 1;
}

1;

# -------------------------------------------------------------------
# All wholsome food is caught without a net or a trap.
# William Blake
# -------------------------------------------------------------------

=pod

=head1 AUTHOR

Ken Youens-Clark E<lt>kclark@cpan.orgE<gt>.

=head1 SEE ALSO

perl(1), Parse::RecDescent, SQL::Translator::Schema.

=cut
Commit	Line	Data
72aa2647	1	package SQL::Translator::Parser::SQLite;
	2
	3	# -------------------------------------------------------------------
478f608d	4	# Copyright (C) 2002-2009 SQLFairy Authors
72aa2647	5	#
	6	# This program is free software; you can redistribute it and/or
	7	# modify it under the terms of the GNU General Public License as
	8	# published by the Free Software Foundation; version 2.
	9	#
	10	# This program is distributed in the hope that it will be useful, but
	11	# WITHOUT ANY WARRANTY; without even the implied warranty of
	12	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	13	# General Public License for more details.
	14	#
	15	# You should have received a copy of the GNU General Public License
	16	# along with this program; if not, write to the Free Software
	17	# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
	18	# 02111-1307 USA
	19	# -------------------------------------------------------------------
	20
	21	=head1 NAME
	22
	23	SQL::Translator::Parser::SQLite - parser for SQLite
	24
	25	=head1 SYNOPSIS
	26
	27	use SQL::Translator;
	28	use SQL::Translator::Parser::SQLite;
	29
	30	my $translator = SQL::Translator->new;
	31	$translator->parser("SQL::Translator::Parser::SQLite");
	32
	33	=head1 DESCRIPTION
	34
	35	This is a grammar for parsing CREATE statements for SQLite as
	36	described here:
	37
	38	http://www.sqlite.org/lang.html
	39
	40	CREATE INDEX
	41
	42	sql-statement ::=
	43	CREATE [TEMP \| TEMPORARY] [UNIQUE] INDEX index-name
	44	ON [database-name .] table-name ( column-name [, column-name]* )
	45	[ ON CONFLICT conflict-algorithm ]
	46
	47	column-name ::=
	48	name [ ASC \| DESC ]
	49
	50	CREATE TABLE
	51
	52	sql-command ::=
	53	CREATE [TEMP \| TEMPORARY] TABLE table-name (
	54	column-def [, column-def]*
	55	[, constraint]*
	56	)
	57
	58	sql-command ::=
	59	CREATE [TEMP \| TEMPORARY] TABLE table-name AS select-statement
	60
	61	column-def ::=
	62	name [type] [[CONSTRAINT name] column-constraint]*
	63
	64	type ::=
	65	typename \|
	66	typename ( number ) \|
	67	typename ( number , number )
	68
69	column-constraint ::=
70	NOT NULL [ conflict-clause ] \|
71	PRIMARY KEY [sort-order] [ conflict-clause ] \|
72	UNIQUE [ conflict-clause ] \|
73	CHECK ( expr ) [ conflict-clause ] \|
74	DEFAULT value
75
76	constraint ::=
77	PRIMARY KEY ( name [, name]* ) [ conflict-clause ]\|
78	UNIQUE ( name [, name]* ) [ conflict-clause ] \|
79	CHECK ( expr ) [ conflict-clause ]
80
81	conflict-clause ::=
82	ON CONFLICT conflict-algorithm
83
84	CREATE TRIGGER
85
86	sql-statement ::=
87	CREATE [TEMP \| TEMPORARY] TRIGGER trigger-name [ BEFORE \| AFTER ]
88	database-event ON [database-name .] table-name
89	trigger-action
90
91	sql-statement ::=
92	CREATE [TEMP \| TEMPORARY] TRIGGER trigger-name INSTEAD OF
93	database-event ON [database-name .] view-name
94	trigger-action
95
96	database-event ::=
97	DELETE \|
98	INSERT \|
99	UPDATE \|
100	UPDATE OF column-list
101
102	trigger-action ::=
103	[ FOR EACH ROW \| FOR EACH STATEMENT ] [ WHEN expression ]
104	BEGIN
105	trigger-step ; [ trigger-step ; ]*
106	END
107
108	trigger-step ::=
109	update-statement \| insert-statement \|
51af147e	110	delete-statement \| select-statement
72aa2647	111
	112	CREATE VIEW
	113
	114	sql-command ::=
	115	CREATE [TEMP \| TEMPORARY] VIEW view-name AS select-statement
	116
	117	ON CONFLICT clause
	118
	119	conflict-clause ::=
	120	ON CONFLICT conflict-algorithm
	121
	122	conflict-algorithm ::=
	123	ROLLBACK \| ABORT \| FAIL \| IGNORE \| REPLACE
	124
	125	expression
	126
	127	expr ::=
	128	expr binary-op expr \|
	129	expr like-op expr \|
	130	unary-op expr \|
	131	( expr ) \|
	132	column-name \|
	133	table-name . column-name \|
	134	database-name . table-name . column-name \|
	135	literal-value \|
	136	function-name ( expr-list \| * ) \|
	137	expr (+) \|
	138	expr ISNULL \|
	139	expr NOTNULL \|
	140	expr [NOT] BETWEEN expr AND expr \|
	141	expr [NOT] IN ( value-list ) \|
	142	expr [NOT] IN ( select-statement ) \|
	143	( select-statement ) \|
	144	CASE [expr] ( WHEN expr THEN expr )+ [ELSE expr] END
	145
	146	like-op::=
	147	LIKE \| GLOB \| NOT LIKE \| NOT GLOB
	148
	149	=cut
	150
	151	use strict;
da06ac74	152	use vars qw[ $DEBUG $VERSION $GRAMMAR @EXPORT_OK ];
11ad2df9	153	$VERSION = '1.59';
72aa2647	154	$DEBUG = 0 unless defined $DEBUG;
	155
	156	use Data::Dumper;
	157	use Parse::RecDescent;
	158	use Exporter;
	159	use base qw(Exporter);
	160
	161	@EXPORT_OK = qw(parse);
	162
	163	# Enable warnings within the Parse::RecDescent module.
	164	$::RD_ERRORS = 1; # Make sure the parser dies when it encounters an error
	165	$::RD_WARN = 1; # Enable warnings. This will warn on unused rules &c.
	166	$::RD_HINT = 1; # Give out hints to help fix problems.
	167
	168	$GRAMMAR = q!
	169
	170	{
70698e1c	171	my ( %tables, $table_order, @table_comments, @views, @triggers );
72aa2647	172	}
	173
	174	#
	175	# The "eofile" rule makes the parser fail if any "statement" rule
	176	# fails. Otherwise, the first successful match by a "statement"
	177	# won't cause the failure needed to know that the parse, as a whole,
	178	# failed. -ky
	179	#
70698e1c	180	startrule : statement(s) eofile {
8c12c406	181	$return = {
70698e1c	182	tables => \%tables,
	183	views => \@views,
	184	triggers => \@triggers,
	185	}
	186	}
72aa2647	187
	188	eofile : /^\Z/
	189
	190	statement : begin_transaction
	191	\| commit
ac9c4e2e	192	\| drop
72aa2647	193	\| comment
	194	\| create
	195	\| <error>
	196
f9c96971	197	begin_transaction : /begin/i TRANSACTION(?) SEMICOLON
72aa2647	198
	199	commit : /commit/i SEMICOLON
	200
ae602737	201	drop : /drop/i (tbl_drop \| view_drop \| trg_drop) SEMICOLON
	202
	203	tbl_drop: TABLE <commit> table_name
	204
	205	view_drop: VIEW if_exists(?) view_name
	206
	207	trg_drop: TRIGGER if_exists(?) trigger_name
ac9c4e2e	208
72aa2647	209	comment : /^\s(?:#\|-{2}).\n/
	210	{
	211	my $comment = $item[1];
	212	$comment =~ s/^\s(#\|-{2})\s//;
	213	$comment =~ s/\s*$//;
	214	$return = $comment;
	215	}
	216
	217	comment : /\/\/ /[^\]+/ /\*\//
	218	{
	219	my $comment = $item[2];
	220	$comment =~ s/^\s\|\s$//g;
	221	$return = $comment;
	222	}
	223
	224	#
	225	# Create Index
	226	#
6ceb5f1c	227	create : CREATE TEMPORARY(?) UNIQUE(?) INDEX NAME ON table_name parens_field_list conflict_clause(?) SEMICOLON
72aa2647	228	{
	229	my $db_name = $item[7]->{'db_name'} \|\| '';
	230	my $table_name = $item[7]->{'name'};
	231
	232	my $index = {
	233	name => $item[5],
	234	fields => $item[8],
	235	on_conflict => $item[9][0],
	236	is_temporary => $item[2][0] ? 1 : 0,
	237	};
	238
	239	my $is_unique = $item[3][0];
	240
	241	if ( $is_unique ) {
	242	$index->{'type'} = 'unique';
	243	push @{ $tables{ $table_name }{'constraints'} }, $index;
	244	}
	245	else {
	246	push @{ $tables{ $table_name }{'indices'} }, $index;
	247	}
	248	}
	249
	250	#
	251	# Create Table
	252	#
	253	create : CREATE TEMPORARY(?) TABLE table_name '(' definition(s /,/) ')' SEMICOLON
	254	{
	255	my $db_name = $item[4]->{'db_name'} \|\| '';
	256	my $table_name = $item[4]->{'name'};
	257
	258	$tables{ $table_name }{'name'} = $table_name;
	259	$tables{ $table_name }{'is_temporary'} = $item[2][0] ? 1 : 0;
	260	$tables{ $table_name }{'order'} = ++$table_order;
	261
	262	for my $def ( @{ $item[6] } ) {
	263	if ( $def->{'supertype'} eq 'column' ) {
	264	push @{ $tables{ $table_name }{'fields'} }, $def;
	265	}
	266	elsif ( $def->{'supertype'} eq 'constraint' ) {
	267	push @{ $tables{ $table_name }{'constraints'} }, $def;
	268	}
	269	}
	270	}
	271
	272	definition : constraint_def \| column_def
	273
ae602737	274	column_def: comment(s?) NAME type(?) column_constraint(s?)
72aa2647	275	{
	276	my $column = {
	277	supertype => 'column',
ae602737	278	name => $item[2],
	279	data_type => $item[3][0]->{'type'},
	280	size => $item[3][0]->{'size'},
72aa2647	281	is_nullable => 1,
	282	is_primary_key => 0,
	283	is_unique => 0,
	284	check => '',
	285	default => undef,
ae602737	286	constraints => $item[4],
ae602737	287	comments => $item[1],
72aa2647	288	};
72aa2647	289
ae602737	290
ae602737	291	for my $c ( @{ $item[4] } ) {
72aa2647	292	if ( $c->{'type'} eq 'not_null' ) {
	293	$column->{'is_nullable'} = 0;
	294	}
	295	elsif ( $c->{'type'} eq 'primary_key' ) {
	296	$column->{'is_primary_key'} = 1;
	297	}
	298	elsif ( $c->{'type'} eq 'unique' ) {
	299	$column->{'is_unique'} = 1;
	300	}
	301	elsif ( $c->{'type'} eq 'check' ) {
	302	$column->{'check'} = $c->{'expression'};
	303	}
	304	elsif ( $c->{'type'} eq 'default' ) {
	305	$column->{'default'} = $c->{'value'};
	306	}
6ceb5f1c	307	elsif ( $c->{'type'} eq 'autoincrement' ) {
	308	$column->{'is_auto_inc'} = 1;
	309	}
72aa2647	310	}
	311
	312	$column;
	313	}
	314
	315	type : WORD parens_value_list(?)
	316	{
	317	$return = {
	318	type => $item[1],
	319	size => $item[2][0],
	320	}
	321	}
	322
	323	column_constraint : NOT_NULL conflict_clause(?)
	324	{
	325	$return = {
	326	type => 'not_null',
	327	}
	328	}
	329	\|
	330	PRIMARY_KEY sort_order(?) conflict_clause(?)
	331	{
	332	$return = {
	333	type => 'primary_key',
	334	sort_order => $item[2][0],
	335	on_conflict => $item[2][0],
	336	}
	337	}
	338	\|
	339	UNIQUE conflict_clause(?)
	340	{
	341	$return = {
	342	type => 'unique',
	343	on_conflict => $item[2][0],
	344	}
	345	}
	346	\|
	347	CHECK_C '(' expr ')' conflict_clause(?)
	348	{
	349	$return = {
	350	type => 'check',
	351	expression => $item[3],
	352	on_conflict => $item[5][0],
	353	}
	354	}
	355	\|
	356	DEFAULT VALUE
	357	{
	358	$return = {
	359	type => 'default',
	360	value => $item[2],
	361	}
	362	}
08e01b5c	363	\|
	364	REFERENCES ref_def
	365	{
	366	$return = {
	367	type => 'foreign_key',
	368	reference_table => $item[2]{'reference_table'},
	369	reference_fields => $item[2]{'reference_fields'},
	370	}
	371	}
6ceb5f1c	372	\|
	373	AUTOINCREMENT
	374	{
	375	$return = {
	376	type => 'autoincrement',
	377	}
	378	}
72aa2647	379
	380	constraint_def : PRIMARY_KEY parens_field_list conflict_clause(?)
	381	{
	382	$return = {
	383	supertype => 'constraint',
	384	type => 'primary_key',
	385	fields => $item[2],
	386	on_conflict => $item[3][0],
	387	}
	388	}
	389	\|
	390	UNIQUE parens_field_list conflict_clause(?)
	391	{
	392	$return = {
	393	supertype => 'constraint',
	394	type => 'unique',
	395	fields => $item[2],
	396	on_conflict => $item[3][0],
	397	}
	398	}
	399	\|
	400	CHECK_C '(' expr ')' conflict_clause(?)
	401	{
	402	$return = {
	403	supertype => 'constraint',
	404	type => 'check',
	405	expression => $item[3],
	406	on_conflict => $item[5][0],
	407	}
	408	}
	409
08e01b5c	410	ref_def : /(\w+)\s*\((\w+)\)/
	411	{ $return = { reference_table => $1, reference_fields => $2 } }
	412
72aa2647	413	table_name : qualified_name
	414
	415	qualified_name : NAME
	416	{ $return = { name => $item[1] } }
	417
	418	qualified_name : /(\w+)\.(\w+)/
	419	{ $return = { db_name => $1, name => $2 } }
	420
	421	field_name : NAME
	422
	423	conflict_clause : /on conflict/i conflict_algorigthm
	424
	425	conflict_algorigthm : /(rollback\|abort\|fail\|ignore\|replace)/i
	426
	427	parens_field_list : '(' column_list ')'
	428	{ $item[2] }
	429
	430	column_list : field_name(s /,/)
	431
	432	parens_value_list : '(' VALUE(s /,/) ')'
	433	{ $item[2] }
	434
	435	expr : /[^)]+/
	436
	437	sort_order : /(ASC\|DESC)/i
	438
	439	#
	440	# Create Trigger
	441
2661d702	442	create : CREATE TEMPORARY(?) TRIGGER NAME before_or_after(?) database_event ON table_name trigger_action SEMICOLON
72aa2647	443	{
72aa2647	444	my $table_name = $item[8]->{'name'};
70698e1c	445	push @triggers, {
72aa2647	446	name => $item[4],
	447	is_temporary => $item[2][0] ? 1 : 0,
	448	when => $item[5][0],
	449	instead_of => 0,
d0fcb05d	450	db_events => [ $item[6] ],
72aa2647	451	action => $item[9],
da2f5992	452	on_table => $table_name,
72aa2647	453	}
	454	}
	455
	456	create : CREATE TEMPORARY(?) TRIGGER NAME instead_of database_event ON view_name trigger_action
	457	{
	458	my $table_name = $item[8]->{'name'};
70698e1c	459	push @triggers, {
72aa2647	460	name => $item[4],
	461	is_temporary => $item[2][0] ? 1 : 0,
	462	when => undef,
	463	instead_of => 1,
d0fcb05d	464	db_events => [ $item[6] ],
72aa2647	465	action => $item[9],
da2f5992	466	on_table => $table_name,
72aa2647	467	}
	468	}
	469
	470	database_event : /(delete\|insert\|update)/i
	471
	472	database_event : /update of/i column_list
	473
	474	trigger_action : for_each(?) when(?) BEGIN_C trigger_step(s) END_C
	475	{
	476	$return = {
	477	for_each => $item[1][0],
	478	when => $item[2][0],
	479	steps => $item[4],
	480	}
	481	}
	482
d0fcb05d	483	for_each : /FOR EACH ROW/i
72aa2647	484
	485	when : WHEN expr { $item[2] }
	486
9bf756df	487	string :
	488	/'(\\.\|''\|[^\\\'])*'/
	489
	490	nonstring : /[^;\'"]+/
	491
9644fab3	492	statement_body : string \| nonstring
9bf756df	493
9644fab3	494	trigger_step : /(select\|delete\|insert\|update)/i statement_body(s?) SEMICOLON
72aa2647	495	{
67a1819d	496	$return = join( ' ', $item[1], join ' ', @{ $item[2] \|\| [] } )
72aa2647	497	}
	498
	499	before_or_after : /(before\|after)/i { $return = lc $1 }
	500
	501	instead_of : /instead of/i
	502
ae602737	503	if_exists : /if exists/i
ae602737	504
72aa2647	505	view_name : qualified_name
72aa2647	506
ae602737	507	trigger_name : qualified_name
ae602737	508
72aa2647	509	#
70698e1c	510	# Create View
	511	#
	512	create : CREATE TEMPORARY(?) VIEW view_name AS select_statement
	513	{
	514	push @views, {
	515	name => $item[4]->{'name'},
	516	sql => $item[6],
	517	is_temporary => $item[2][0] ? 1 : 0,
	518	}
	519	}
	520
	521	select_statement : SELECT /[^;]+/ SEMICOLON
	522	{
	523	$return = join( ' ', $item[1], $item[2] );
	524	}
	525
	526	#
72aa2647	527	# Tokens
	528	#
	529	BEGIN_C : /begin/i
	530
	531	END_C : /end/i
	532
f9c96971	533	TRANSACTION: /transaction/i
f9c96971	534
72aa2647	535	CREATE : /create/i
	536
	537	TEMPORARY : /temp(orary)?/i { 1 }
	538
	539	TABLE : /table/i
	540
	541	INDEX : /index/i
	542
	543	NOT_NULL : /not null/i
	544
	545	PRIMARY_KEY : /primary key/i
	546
	547	CHECK_C : /check/i
	548
	549	DEFAULT : /default/i
	550
	551	TRIGGER : /trigger/i
	552
70698e1c	553	VIEW : /view/i
	554
	555	SELECT : /select/i
	556
72aa2647	557	ON : /on/i
72aa2647	558
70698e1c	559	AS : /as/i
70698e1c	560
72aa2647	561	WORD : /\w+/
	562
	563	WHEN : /when/i
	564
08e01b5c	565	REFERENCES : /references/i
08e01b5c	566
6ceb5f1c	567	AUTOINCREMENT : /autoincrement/i
6ceb5f1c	568
72aa2647	569	UNIQUE : /unique/i { 1 }
	570
	571	SEMICOLON : ';'
	572
6ceb5f1c	573	NAME : /["']?(\w+)["']?/ { $return = $1 }
72aa2647	574
70698e1c	575	VALUE : /[-+]?\.?\d+(?:[eE]\d+)?/
72aa2647	576	{ $item[1] }
	577	\| /'.*?'/
	578	{
	579	# remove leading/trailing quotes
	580	my $val = $item[1];
	581	$val =~ s/^['"]\|['"]$//g;
	582	$return = $val;
	583	}
	584	\| /NULL/
	585	{ 'NULL' }
ac9c4e2e	586	\| /CURRENT_TIMESTAMP/i
ac9c4e2e	587	{ 'CURRENT_TIMESTAMP' }
72aa2647	588
	589	!;
	590
	591	# -------------------------------------------------------------------
	592	sub parse {
	593	my ( $translator, $data ) = @_;
	594	my $parser = Parse::RecDescent->new($GRAMMAR);
	595
	596	local $::RD_TRACE = $translator->trace ? 1 : undef;
	597	local $DEBUG = $translator->debug;
	598
	599	unless (defined $parser) {
	600	return $translator->error("Error instantiating Parse::RecDescent ".
	601	"instance: Bad grammer");
	602	}
	603
	604	my $result = $parser->startrule($data);
	605	return $translator->error( "Parse failed." ) unless defined $result;
	606	warn Dumper( $result ) if $DEBUG;
	607
	608	my $schema = $translator->schema;
b727fc08	609	my @tables =
	610	map { $_->[1] }
	611	sort { $a->[0] <=> $b->[0] }
	612	map { [ $result->{'tables'}{ $_ }->{'order'}, $_ ] }
	613	keys %{ $result->{'tables'} };
72aa2647	614
72aa2647	615	for my $table_name ( @tables ) {
70698e1c	616	my $tdata = $result->{'tables'}{ $table_name };
72aa2647	617	my $table = $schema->add_table(
	618	name => $tdata->{'name'},
	619	) or die $schema->error;
	620
	621	$table->comments( $tdata->{'comments'} );
	622
	623	for my $fdata ( @{ $tdata->{'fields'} } ) {
	624	my $field = $table->add_field(
	625	name => $fdata->{'name'},
	626	data_type => $fdata->{'data_type'},
	627	size => $fdata->{'size'},
	628	default_value => $fdata->{'default'},
	629	is_auto_increment => $fdata->{'is_auto_inc'},
	630	is_nullable => $fdata->{'is_nullable'},
	631	comments => $fdata->{'comments'},
	632	) or die $table->error;
	633
	634	$table->primary_key( $field->name ) if $fdata->{'is_primary_key'};
	635
	636	for my $cdata ( @{ $fdata->{'constraints'} } ) {
	637	next unless $cdata->{'type'} eq 'foreign_key';
	638	$cdata->{'fields'} \|\|= [ $field->name ];
	639	push @{ $tdata->{'constraints'} }, $cdata;
	640	}
	641	}
	642
	643	for my $idata ( @{ $tdata->{'indices'} \|\| [] } ) {
	644	my $index = $table->add_index(
	645	name => $idata->{'name'},
	646	type => uc $idata->{'type'},
	647	fields => $idata->{'fields'},
	648	) or die $table->error;
	649	}
	650
	651	for my $cdata ( @{ $tdata->{'constraints'} \|\| [] } ) {
	652	my $constraint = $table->add_constraint(
	653	name => $cdata->{'name'},
	654	type => $cdata->{'type'},
	655	fields => $cdata->{'fields'},
	656	reference_table => $cdata->{'reference_table'},
	657	reference_fields => $cdata->{'reference_fields'},
	658	match_type => $cdata->{'match_type'} \|\| '',
08e01b5c	659	on_delete => $cdata->{'on_delete'}
	660	\|\| $cdata->{'on_delete_do'},
	661	on_update => $cdata->{'on_update'}
	662	\|\| $cdata->{'on_update_do'},
72aa2647	663	) or die $table->error;
	664	}
	665	}
	666
70698e1c	667	for my $def ( @{ $result->{'views'} \|\| [] } ) {
	668	my $view = $schema->add_view(
	669	name => $def->{'name'},
	670	sql => $def->{'sql'},
	671	);
	672	}
	673
	674	for my $def ( @{ $result->{'triggers'} \|\| [] } ) {
	675	my $view = $schema->add_trigger(
	676	name => $def->{'name'},
	677	perform_action_when => $def->{'when'},
d0fcb05d	678	database_events => $def->{'db_events'},
70698e1c	679	action => $def->{'action'},
da2f5992	680	on_table => $def->{'on_table'},
70698e1c	681	);
	682	}
	683
72aa2647	684	return 1;
	685	}
	686
	687	1;
	688
	689	# -------------------------------------------------------------------
	690	# All wholsome food is caught without a net or a trap.
	691	# William Blake
	692	# -------------------------------------------------------------------
	693
	694	=pod
	695
	696	=head1 AUTHOR
	697
08e01b5c	698	Ken Youens-Clark E<lt>kclark@cpan.orgE<gt>.
72aa2647	699
	700	=head1 SEE ALSO
	701
	702	perl(1), Parse::RecDescent, SQL::Translator::Schema.
	703
	704	=cut