%type <str> Iconst Fconst Sconst TransactionStmt CreateStmt UserId
%type <str> CreateAsElement OptCreateAs CreateAsList CreateAsStmt
-%type <str> OptInherit key_reference comment_text
+%type <str> OptInherit key_reference comment_text ConstraintDeferrabilitySpec
%type <str> key_match ColLabel SpecialRuleRelation ColId columnDef
%type <str> ColConstraint ColConstraintElem NumericOnly FloatOnly
%type <str> OptTableElementList OptTableElement TableConstraint
%type <str> target_list target_el update_target_list alias_clause
%type <str> update_target_el opt_id relation_name database_name
%type <str> access_method attr_name class index_name name func_name
-%type <str> file_name AexprConst ParamNo TypeId c_expr ColQualListWithNull
+%type <str> file_name AexprConst ParamNo TypeId c_expr
%type <str> in_expr_nodes a_expr b_expr TruncateStmt CommentStmt
%type <str> opt_indirection expr_list extract_list extract_arg
%type <str> position_list substr_list substr_from alter_column_action
%type <str> opt_decimal Character character opt_varying opt_charset
%type <str> opt_collate Datetime datetime opt_timezone opt_interval
%type <str> numeric a_expr_or_null row_expr row_descriptor row_list
-%type <str> SelectStmt SubSelect result OptTemp OptTempType OptTempScope
-%type <str> opt_table opt_all sort_clause sortby_list ColQualifier
+%type <str> SelectStmt SubSelect result OptTemp ConstraintAttributeSpec
+%type <str> opt_table opt_all sort_clause sortby_list ConstraintAttr
%type <str> sortby OptUseOp opt_inh_star relation_name_list name_list
%type <str> group_clause having_clause from_clause opt_distinct
%type <str> join_outer where_clause relation_expr sub_type
%type <str> GrantStmt privileges operation_commalist operation
%type <str> opt_cursor opt_lmode ConstraintsSetStmt comment_tg
%type <str> case_expr when_clause_list case_default case_arg when_clause
-%type <str> select_clause opt_select_limit select_limit_value TimeClause
+%type <str> select_clause opt_select_limit select_limit_value ConstraintTimeSpec
%type <str> select_offset_value using_expr join_expr ReindexStmt
%type <str> using_list from_expr join_clause join_type
%type <str> join_qual update_list join_clause join_clause_with_union
%type <str> opt_level opt_lock lock_type users_in_new_group_clause
-%type <str> OptConstrFromTable comment_op ConstraintAttribute
+%type <str> OptConstrFromTable comment_op OptTempTableName
%type <str> constraints_set_list constraints_set_namelist comment_fn
%type <str> constraints_set_mode comment_type comment_cl comment_ag
%type <str> CreateGroupStmt AlterGroupStmt DropGroupStmt key_delete
-%type <str> ColConstraintWithNull ColConstraintElemWithNull NotNull
-%type <str> join_expr_with_union DefaultClause DefaultExpr PrimaryKey
-%type <str> DeferrabilityClause opt_force key_update
+%type <str> join_expr_with_union opt_force key_update
/***
#ifdef ENABLE_ORACLE_JOIN_SYNTAX
%type <str> oracle_list oracle_expr oracle_outer
}
;
-OptTemp: OptTempType { $$ = $1; }
- | OptTempScope OptTempType { $$ = cat2_str($1,$2); }
- ;
+/*
+ * Redundancy here is needed to avoid shift/reduce conflicts,
+ * since TEMP is not a reserved word. See also OptTempTableName.
+ */
-OptTempType: TEMP { $$ = make_str("temp"); }
- | TEMPORARY { $$ = make_str("temporary"); }
- | /* EMPTY */ { $$ = EMPTY; }
+OptTemp: TEMPORARY { $$ = make_str("temporary"); }
+ | TEMP { $$ = make_str("temp"); }
+ | LOCAL TEMPORARY { $$ = make_str("local temporary"); }
+ | LOCAL TEMP { $$ = make_str("local temp"); }
+ | GLOBAL TEMPORARY {
+ mmerror(ET_ERROR, "GLOBAL TEMPORARY TABLE is not currently supported");
+ $$ = make_str("global temporary");
+ }
+ | GLOBAL TEMP {
+ mmerror(ET_ERROR, "GLOBAL TEMPORARY TABLE is not currently supported");
+ $$ = make_str("global temp");
+ }
+ | /*EMPTY*/ { $$ = EMPTY; }
;
-OptTempScope: GLOBAL
- {
- mmerror(ET_ERROR, "GLOBAL TEMPORARY TABLE is not currently supported");
- $$ = make_str("global");
- }
- | LOCAL { $$ = make_str("local"); }
- ;
-
-
OptTableElementList: OptTableElementList ',' OptTableElement
{
$$ = cat_str(3, $1, make_str(","), $3);
| TableConstraint { $$ = $1; }
;
-columnDef: ColId Typename ColQualifier opt_collate
+columnDef: ColId Typename ColQualList opt_collate
{
if (strlen($4) > 0)
{
}
$$ = cat_str(4, $1, $2, $3, $4);
}
- | ColId SERIAL ColQualifier opt_collate
+ | ColId SERIAL ColQualList opt_collate
{
if (strlen($4) > 0)
{
}
;
-/*
- * ColQualifier encapsulates an entire column qualification,
- * including DEFAULT, constraints, and constraint attributes.
- * Note that the DefaultClause handles the empty case.
- */
-ColQualifier: DefaultClause ColQualList { $$ = cat2_str($1, $2); }
- | NotNull DefaultClause ColQualListWithNull { $$ = cat_str(3, $1, $2, $3); }
- | DefaultExpr NotNull ColQualListWithNull { $$ = cat_str(3, $1, $2, $3); }
- | DefaultExpr NotNull { $$ = cat2_str($1, $2); }
- | NotNull DefaultClause { $$ = cat2_str($1, $2); }
- | NULL_P DefaultClause ColQualListWithNull { $$ = cat_str(3, make_str("null"), $2, $3); }
- | NULL_P DefaultClause { $$ = cat2_str(make_str("null"), $2); }
- | DefaultClause { $$ = $1; }
- ;
-
-/*
- * DEFAULT expression must be b_expr not a_expr to prevent shift/reduce
- * conflict on NOT (since NOT might start a subsequent NOT NULL constraint,
- * or be part of a_expr NOT LIKE or similar constructs).
- */
-DefaultClause: DefaultExpr { $$ = $1; }
- | /*EMPTY*/ { $$ = EMPTY; }
- ;
-
-DefaultExpr: DEFAULT NULL_P { $$ = make_str("default null"); }
- | DEFAULT b_expr { $$ = cat2_str(make_str("default"), $2); }
- ;
-
ColQualList: ColQualList ColConstraint { $$ = cat2_str($1,$2); }
- | ColConstraint { $$ = $1; }
+ | /*EMPTY*/ { $$ = EMPTY; }
;
-ColQualListWithNull: ColConstraintWithNull ColQualListWithNull
- { $$ = cat2_str($1, $2); }
- | ColConstraintWithNull
- { $$ = $1; }
-
ColConstraint: CONSTRAINT name ColConstraintElem
{
$$ = cat_str(3, make_str("constraint"), $2, $3);
}
| ColConstraintElem
{ $$ = $1; }
- ;
-
-ColConstraintWithNull: CONSTRAINT name ColConstraintElemWithNull
- { $$ = cat_str(3, make_str("constraint"), $2, $3); }
- | ColConstraintElemWithNull
- { $$ = $1; }
+ | ConstraintAttr
+ { $$ = $1; }
;
/* DEFAULT NULL is already the default for Postgres.
* shift/reduce conflicts with WITH TIME ZONE anyway.
* - thomas 1999-01-08
*/
-ColConstraintElem: ColConstraintElemWithNull
- {
- $$ = $1;
- }
- | UNIQUE
+ColConstraintElem: NOT NULL_P
+ {
+ $$ = make_str("not null");
+ }
+ | NULL_P
+ {
+ $$ = make_str("null");
+ }
+ | UNIQUE
{
$$ = make_str("unique");
}
- | PrimaryKey
+ | PRIMARY KEY
{
- $$ = $1;
+ $$ = make_str("primary key");
}
- ;
-
-
-ColConstraintElemWithNull: CHECK '(' a_expr ')'
+ | CHECK '(' a_expr ')'
{
- $$ = cat_str(3, make_str("check("), $3, make_str(")"));
+ $$ = cat_str(3, make_str("check ("), $3, make_str(")"));
}
- | REFERENCES ColId opt_column_list
- key_match key_actions ConstraintAttribute
+ | DEFAULT NULL_P
{
- $$ = cat_str(6, make_str("references"), $2, $3, $4, $5, $6);
+ $$ = make_str("default null");
}
- | REFERENCES ColId opt_column_list
- key_match key_actions
+ | DEFAULT b_expr
{
- $$ = cat_str(5, make_str("references"), $2, $3, $4, $5);
+ $$ = cat2_str(make_str("default"), $2);
}
- ;
-
-PrimaryKey: PRIMARY KEY { $$ = make_str("primary key"); }
+ | REFERENCES ColId opt_column_list key_match key_actions
+ {
+ $$ = cat_str(5, make_str("references"), $2, $3, $4, $5);
+ }
+ ;
-NotNull: NOT NULL_P { $$ = make_str("not null"); }
+/*
+ * ConstraintAttr represents constraint attributes, which we parse as if
+ * they were independent constraint clauses, in order to avoid shift/reduce
+ * conflicts (since NOT might start either an independent NOT NULL clause
+ * or an attribute). analyze.c is responsible for attaching the attribute
+ * information to the preceding "real" constraint node, and for complaining
+ * if attribute clauses appear in the wrong place or wrong combinations.
+ *
+ * See also ConstraintAttributeSpec, which can be used in places where
+ * there is no parsing conflict.
+ */
+ConstraintAttr: DEFERRABLE { $$ = make_str("deferrable"); }
+ | NOT DEFERRABLE { $$ = make_str("not deferrable"); }
+ | INITIALLY DEFERRED { $$ = make_str("initially deferred"); }
+ | INITIALLY IMMEDIATE { $$ = make_str("initially immediate"); }
+ ;
/* ConstraintElem specifies constraint syntax which is not embedded into
* a column definition. ColConstraintElem specifies the embedded form.
{
$$ = cat_str(3, make_str("unique("), $3, make_str(")"));
}
- | PrimaryKey '(' columnList ')'
+ | PRIMARY KEY '(' columnList ')'
{
- $$ = cat_str(3, make_str("primary key("), $3, make_str(")"));
+ $$ = cat_str(3, make_str("primary key("), $4, make_str(")"));
}
| FOREIGN KEY '(' columnList ')' REFERENCES ColId opt_column_list
- key_match key_actions ConstraintAttribute
+ key_match key_actions ConstraintAttributeSpec
{
$$ = cat_str(8, make_str("foreign key("), $4, make_str(") references"), $7, $8, $9, $10, $11);
}
- | FOREIGN KEY '(' columnList ')' REFERENCES ColId opt_column_list
- key_match key_actions
- {
- $$ = cat_str(7, make_str("foreign key("), $4, make_str(") references"), $7, $8, $9, $10);
- }
;
key_match: MATCH FULL
}
| CREATE CONSTRAINT TRIGGER name AFTER TriggerEvents ON
relation_name OptConstrFromTable
- ConstraintAttribute
+ ConstraintAttributeSpec
FOR EACH ROW EXECUTE PROCEDURE
name '(' TriggerFuncArgs ')'
{
}
;
-ConstraintAttribute: DeferrabilityClause
+ConstraintAttributeSpec: ConstraintDeferrabilitySpec
{ $$ = $1; }
- | TimeClause
- { $$ = $1; }
- | DeferrabilityClause TimeClause
- {
+ | ConstraintDeferrabilitySpec ConstraintTimeSpec
+ {
if (strcmp($1, "deferrable") != 0 && strcmp($2, "initially deferrable") == 0 )
mmerror(ET_ERROR, "INITIALLY DEFERRED constraint must be DEFERRABLE");
- $$ = cat2_str($1, $2);
+ $$ = cat2_str($1, $2);
}
- | TimeClause DeferrabilityClause
+ | ConstraintTimeSpec
+ { $$ = $1; }
+ | ConstraintTimeSpec ConstraintDeferrabilitySpec
{
if (strcmp($2, "deferrable") != 0 && strcmp($1, "initially deferrable") == 0 )
mmerror(ET_ERROR, "INITIALLY DEFERRED constraint must be DEFERRABLE");
}
;
-DeferrabilityClause: NOT DEFERRABLE { $$ = make_str("not deferrable"); }
+ConstraintDeferrabilitySpec: NOT DEFERRABLE { $$ = make_str("not deferrable"); }
| DEFERRABLE { $$ = make_str("deferrable"); }
;
-TimeClause: INITIALLY IMMEDIATE { $$ = make_str("initially immediate"); }
+ConstraintTimeSpec: INITIALLY IMMEDIATE { $$ = make_str("initially immediate"); }
| INITIALLY DEFERRED { $$ = make_str("initially deferrable"); }
;
}
;
-result: INTO OptTemp opt_table relation_name { FoundInto = 1;
- $$= cat_str(4, make_str("into"), $2, $3, $4);
- }
- | INTO into_list { $$ = EMPTY; }
- | /*EMPTY*/ { $$ = EMPTY; }
+result: INTO OptTempTableName {
+ FoundInto = 1;
+ $$= cat2_str(make_str("into"), $2);
+ }
+ | INTO into_list { $$ = EMPTY; }
+ | /*EMPTY*/ { $$ = EMPTY; }
;
+/*
+ * Redundancy here is needed to avoid shift/reduce conflicts,
+ * since TEMP is not a reserved word. See also OptTemp.
+ *
+ * The result is a cons cell (not a true list!) containing
+ * a boolean and a table name.
+ */
+OptTempTableName: TEMPORARY opt_table relation_name
+ {
+ $$ = cat_str(3, make_str("temporary"), $2, $3);
+ }
+ | TEMP opt_table relation_name
+ {
+ $$ = cat_str(3, make_str("temp"), $2, $3);
+ }
+ | LOCAL TEMPORARY opt_table relation_name
+ {
+ $$ = cat_str(3, make_str("local temporary"), $3, $4);
+ }
+ | LOCAL TEMP opt_table relation_name
+ {
+ $$ = cat_str(3, make_str("local temp"), $3, $4);
+ }
+ | GLOBAL TEMPORARY opt_table relation_name
+ {
+ mmerror(ET_ERROR, "GLOBAL TEMPORARY TABLE is not currently supported");
+ $$ = cat_str(3, make_str("global temporary"), $3, $4);
+ }
+ | GLOBAL TEMP opt_table relation_name
+ {
+ mmerror(ET_ERROR, "GLOBAL TEMPORARY TABLE is not currently supported");
+ $$ = cat_str(3, make_str("global temp"), $3, $4);
+ }
+ | TABLE relation_name
+ {
+ $$ = cat2_str(make_str("table"), $2);
+ }
+ | relation_name
+ {
+ $$ = $1;
+ }
+ ;
+
opt_table: TABLE { $$ = make_str("table"); }
| /*EMPTY*/ { $$ = EMPTY; }
;
| CREATEUSER { $$ = make_str("createuser"); }
| CYCLE { $$ = make_str("cycle"); }
| DATABASE { $$ = make_str("database"); }
- | DEFERRABLE { $$ = make_str("deferrable"); }
| DEFERRED { $$ = make_str("deferred"); }
| DELIMITERS { $$ = make_str("delimiters"); }
| DOUBLE { $$ = make_str("double"); }
| INCREMENT { $$ = make_str("increment"); }
| INDEX { $$ = make_str("index"); }
| INHERITS { $$ = make_str("inherits"); }
- | INITIALLY { $$ = make_str("initially"); }
| INSENSITIVE { $$ = make_str("insensitive"); }
| INSTEAD { $$ = make_str("instead"); }
| INTERVAL { $$ = make_str("interval"); }
| STDIN { $$ = make_str("stdin"); }
| STDOUT { $$ = make_str("stdout"); }
| SYSID { $$ = make_str("sysid"); }
+ | TEMP { $$ = make_str("temp"); }
+ | TEMPORARY { $$ = make_str("temporary"); }
| TIME { $$ = make_str("time"); }
| TIMESTAMP { $$ = make_str("timestamp"); }
| TIMEZONE_HOUR { $$ = make_str("timezone_hour"); }
| CURRENT_USER { $$ = make_str("current_user"); }
| DEC { $$ = make_str("dec"); }
| DECIMAL { $$ = make_str("decimal"); }
+ | DEFERRABLE { $$ = make_str("deferrable"); }
| DO { $$ = make_str("do"); }
| ELSE { $$ = make_str("else"); }
| END_TRANS { $$ = make_str("end"); }
| FOREIGN { $$ = make_str("foreign"); }
| GLOBAL { $$ = make_str("global"); }
| GROUP { $$ = make_str("group"); }
+ | INITIALLY { $$ = make_str("initially"); }
| LISTEN { $$ = make_str("listen"); }
| LOAD { $$ = make_str("load"); }
| LOCK_P { $$ = make_str("lock"); }
projects / postgresql / commitdiff