granicus.if.org Git - postgresql/blob - src/interfaces/ecpg/preproc/preproc.y

   1 /* $Header: /cvsroot/pgsql/src/interfaces/ecpg/preproc/Attic/preproc.y,v 1.211 2003/02/25 15:58:03 meskes Exp $ */
   2
   3 /* Copyright comment */
   4 %{
   5 #include "postgres_fe.h"
   6
   7 #include "extern.h"
   8
   9 /*
  10  * Variables containing simple states.
  11  */
  12 int struct_level = 0;
  13 int braces_open; /* brace level counter */
  14 char    errortext[128];
  15 char    *connection = NULL;
  16 char    *input_filename = NULL;
  17
  18 static int      QueryIsRule = 0, FoundInto = 0;
  19 static int      initializer = 0;
  20 static struct this_type actual_type[STRUCT_DEPTH];
  21 static char *actual_storage[STRUCT_DEPTH];
  22 static char *actual_startline[STRUCT_DEPTH];
  23
  24 /* temporarily store struct members while creating the data structure */
  25 struct ECPGstruct_member *struct_member_list[STRUCT_DEPTH] = { NULL };
  26
  27 /* also store struct type so we can do a sizeof() later */
  28 static char *ECPGstruct_sizeof = NULL;
  29
  30 struct ECPGtype ecpg_no_indicator = {ECPGt_NO_INDICATOR, 0L, NULL, {NULL}};
  31 struct variable no_indicator = {"no_indicator", &ecpg_no_indicator, 0, NULL};
  32
  33 struct ECPGtype ecpg_query = {ECPGt_char_variable, 0L, NULL, {NULL}};
  34
  35 /*
  36  * Handle parsing errors and warnings
  37  */
  38 void
  39 mmerror(int error_code, enum errortype type, char * error)
  40 {
  41         switch(type)
  42         {
  43                 case ET_WARNING:
  44                         fprintf(stderr, "%s:%d: WARNING: %s\n", input_filename, yylineno, error);
  45                         break;
  46                 case ET_ERROR:
  47                         fprintf(stderr, "%s:%d: ERROR: %s\n", input_filename, yylineno, error);
  48                         ret_value = error_code;
  49                         break;
  50                 case ET_FATAL:
  51                         fprintf(stderr, "%s:%d: ERROR: %s\n", input_filename, yylineno, error);
  52                         exit(error_code);
  53         }
  54 }
  55
  56 /*
  57  * string concatenation
  58  */
  59
  60 static char *
  61 cat2_str(char *str1, char *str2)
  62 {
  63         char * res_str  = (char *)mm_alloc(strlen(str1) + strlen(str2) + 2);
  64
  65         strcpy(res_str, str1);
  66         strcat(res_str, " ");
  67         strcat(res_str, str2);
  68         free(str1);
  69         free(str2);
  70         return(res_str);
  71 }
  72
  73 static char *
  74 cat_str(int count, ...)
  75 {
  76         va_list         args;
  77         int                     i;
  78         char            *res_str;
  79
  80         va_start(args, count);
  81
  82         res_str = va_arg(args, char *);
  83
  84         /* now add all other strings */
  85         for (i = 1; i < count; i++)
  86                 res_str = cat2_str(res_str, va_arg(args, char *));
  87
  88         va_end(args);
  89
  90         return(res_str);
  91 }
  92
  93 char *
  94 make_str(const char *str)
  95 {
  96         char * res_str = (char *)mm_alloc(strlen(str) + 1);
  97
  98         strcpy(res_str, str);
  99         return res_str;
 100 }
 101
 102 static char *
 103 make2_str(char *str1, char *str2)
 104 {
 105         char * res_str  = (char *)mm_alloc(strlen(str1) + strlen(str2) + 1);
 106
 107         strcpy(res_str, str1);
 108         strcat(res_str, str2);
 109         free(str1);
 110         free(str2);
 111         return(res_str);
 112 }
 113
 114 static char *
 115 make3_str(char *str1, char *str2, char *str3)
 116 {
 117         char * res_str  = (char *)mm_alloc(strlen(str1) + strlen(str2) +strlen(str3) + 1);
 118
 119         strcpy(res_str, str1);
 120         strcat(res_str, str2);
 121         strcat(res_str, str3);
 122         free(str1);
 123         free(str2);
 124         free(str3);
 125         return(res_str);
 126 }
 127
 128 static char *
 129 make_name(void)
 130 {
 131         char * name = (char *)mm_alloc(yyleng + 1);
 132
 133         strncpy(name, yytext, yyleng);
 134         name[yyleng] = '\0';
 135         return(name);
 136 }
 137
 138 %}
 139
 140 %union {
 141         double  dval;
 142         int             ival;
 143         char    *str;
 144         struct  when            action;
 145         struct  index           index;
 146         int             tagname;
 147         struct  this_type       type;
 148         enum    ECPGttype       type_enum;
 149         enum    ECPGdtype       dtype_enum;
 150         struct  fetch_desc      descriptor;
 151 }
 152
 153 /* special embedded SQL token */
 154 %token  SQL_ALLOCATE SQL_AUTOCOMMIT SQL_BOOL SQL_BREAK
 155                 SQL_CALL SQL_CARDINALITY SQL_CONNECT SQL_CONNECTION
 156                 SQL_CONTINUE SQL_COUNT SQL_CURRENT SQL_DATA
 157                 SQL_DATETIME_INTERVAL_CODE
 158                 SQL_DATETIME_INTERVAL_PRECISION
 159                 SQL_DESCRIPTOR SQL_DISCONNECT SQL_ENUM SQL_FOUND
 160                 SQL_FREE SQL_GO SQL_GOTO SQL_IDENTIFIED
 161                 SQL_INDICATOR SQL_KEY_MEMBER SQL_LENGTH
 162                 SQL_LONG SQL_NAME SQL_NULLABLE SQL_OCTET_LENGTH
 163                 SQL_OPEN SQL_RELEASE SQL_REFERENCE
 164                 SQL_RETURNED_LENGTH SQL_RETURNED_OCTET_LENGTH SQL_SCALE
 165                 SQL_SECTION SQL_SHORT SQL_SIGNED SQL_SQL SQL_SQLERROR
 166                 SQL_SQLPRINT SQL_SQLWARNING SQL_START SQL_STOP
 167                 SQL_STRUCT SQL_UNSIGNED SQL_VALUE SQL_VAR SQL_WHENEVER
 168
 169 /* C token */
 170 %token  S_ADD S_AND S_ANYTHING S_AUTO S_CONST S_DEC S_DIV
 171                 S_DOTPOINT S_EQUAL S_EXTERN S_INC S_LSHIFT S_MEMPOINT
 172                 S_MEMBER S_MOD S_MUL S_NEQUAL S_OR S_REGISTER S_RSHIFT
 173                 S_STATIC S_SUB S_VOLATILE
 174                 S_TYPEDEF
 175
 176 /* I need this and don't know where it is defined inside the backend */
 177 %token  TYPECAST
 178
 179 /* ordinary key words in alphabetical order */
 180 %token <keyword> ABORT_P ABSOLUTE ACCESS ACTION ADD AFTER
 181         AGGREGATE ALL ALTER ANALYSE ANALYZE AND ANY AS ASC
 182         ASSERTION ASSIGNMENT AT AUTHORIZATION
 183
 184         BACKWARD BEFORE BEGIN_P BETWEEN BIGINT BINARY BIT
 185         BOOLEAN BOTH BY
 186
 187         CACHE CALLED CASCADE CASE CAST CHAIN CHAR_P
 188         CHARACTER CHARACTERISTICS CHECK CHECKPOINT CLASS CLOSE
 189         CLUSTER COALESCE COLLATE COLUMN COMMENT COMMIT
 190         COMMITTED CONSTRAINT CONSTRAINTS CONVERSION_P CONVERT COPY
 191         CREATE CREATEDB CREATEUSER CROSS CURRENT_DATE CURRENT_TIME
 192         CURRENT_TIMESTAMP CURRENT_USER CURSOR CYCLE
 193
 194         DATABASE DAY_P DEALLOCATE DEC DECIMAL DECLARE DEFAULT
 195         DEFERRABLE DEFERRED DEFINER DELETE_P DELIMITER DELIMITERS
 196         DESC DISTINCT DO DOMAIN_P DOUBLE DROP
 197         EACH ELSE ENCODING ENCRYPTED END_P ESCAPE EXCEPT EXCLUSIVE
 198         EXECUTE EXISTS EXPLAIN EXTERNAL EXTRACT
 199
 200         FALSE_P FETCH FLOAT_P FOR FORCE FOREIGN FORWARD FREEZE FROM
 201         FULL FUNCTION
 202
 203         GET GLOBAL GRANT GROUP_P
 204         HANDLER HAVING HOUR_P
 205
 206         ILIKE IMMEDIATE IMMUTABLE IMPLICIT_P IN_P INCREMENT INDEX INHERITS
 207         INITIALLY INNER_P INOUT INPUT INSENSITIVE INSERT INSTEAD INT
 208         INTEGER INTERSECT INTERVAL INTO INVOKER IS ISNULL ISOLATION
 209
 210         JOIN
 211
 212         KEY
 213
 214         LANCOMPILER LANGUAGE LAST LEADING LEFT LEVEL LIKE LIMIT LISTEN
 215         LOAD LOCAL LOCATION LOCK_P
 216
 217         MATCH MAXVALUE MINUTE_P MINVALUE MODE MONTH_P MOVE
 218
 219         NAMES NATIONAL NATURAL NCHAR NEW NEXT NO NOCREATEDB
 220         NOCREATEUSER NONE NOT NOTHING NOTIFY NOTNULL NULL_P NULLIF
 221         NUMERIC
 222
 223         OF OFF OFFSET OIDS OLD ON ONLY OPERATOR OPTION OR ORDER
 224         OUT_P OUTER_P OVERLAPS OVERLAY OWNER
 225
 226         PARTIAL PASSWORD PATH_P PENDANT PLACING POSITION
 227         PRECISION PRESERVE PREPARE PRIMARY PRIOR PRIVILEGES PROCEDURAL PROCEDURE
 228
 229         READ REAL RECHECK REFERENCES REINDEX RELATIVE RENAME REPLACE
 230         RESET RESTRICT RETURNS REVOKE RIGHT ROLLBACK ROW ROWS RULE
 231
 232         SCHEMA SCROLL SECOND_P SECURITY SELECT SEQUENCE SERIALIZABLE
 233         SESSION SESSION_USER SET SETOF SHARE SHOW SIMILAR SIMPLE SMALLINT SOME
 234         STABLE START STATEMENT STATISTICS STDIN STDOUT STORAGE STRICT
 235         SUBSTRING SYSID
 236
 237         TABLE TEMP TEMPLATE TEMPORARY THEN TIME TIMESTAMP TO TOAST
 238         TRAILING TRANSACTION TREAT TRIGGER TRIM TRUE_P TRUNCATE TRUSTED TYPE_P
 239         UNENCRYPTED UNION UNIQUE UNKNOWN UNLISTEN UNTIL UPDATE USAGE
 240         USER USING
 241
 242         VACUUM VALID VALUE VALUES VARCHAR VARYING VERBOSE VERSION VIEW VOLATILE
 243         WHEN WHERE WITH WITHOUT WORK WRITE
 244         YEAR_P
 245         ZONE
 246
 247 /* The grammar thinks these are keywords, but they are not in the keywords.c
 248  * list and so can never be entered directly.  The filter in parser.c
 249  * creates these tokens when required.
 250  */
 251 %token  UNIONJOIN
 252
 253 /* Special keywords, not in the query language - see the "lex" file */
 254 %token <str>    IDENT SCONST Op CSTRING CVARIABLE CPP_LINE IP BCONST XCONST
 255 %token <ival>   ICONST PARAM
 256 %token <dval>   FCONST
 257
 258 /* precedence: lowest to highest */
 259 %left           UNION EXCEPT
 260 %left           INTERSECT
 261 %left           OR
 262 %left           AND
 263 %right          NOT
 264 %right          '='
 265 %nonassoc       '<' '>'
 266 %nonassoc       LIKE ILIKE SIMILAR
 267 %nonassoc       ESCAPE
 268 %nonassoc       OVERLAPS
 269 %nonassoc       BETWEEN
 270 %nonassoc       IN_P
 271 %left           POSTFIXOP                                       /* dummy for postfix Op rules */
 272 %left           Op OPERATOR                             /* multi-character ops and user-defined operators */
 273 %nonassoc       NOTNULL
 274 %nonassoc       ISNULL
 275 %nonassoc       IS NULL_P TRUE_P FALSE_P UNKNOWN
 276 %left           '+' '-'
 277 %left           '*' '/' '%'
 278 %left           '^'
 279 /* Unary Operators */
 280 %left           AT ZONE
 281 %right          UMINUS
 282 %left           '[' ']'
 283 %left           '(' ')'
 284 %left           TYPECAST
 285 %left           '.'
 286 %left           JOIN UNIONJOIN CROSS LEFT FULL RIGHT INNER_P NATURAL
 287
 288 %type  <str>    Iconst Fconst Sconst TransactionStmt CreateStmt UserId
 289 %type  <str>    CreateAsElement OptCreateAs CreateAsList CreateAsStmt
 290 %type  <str>    comment_text ConstraintDeferrabilitySpec TableElementList
 291 %type  <str>    key_match ColLabel SpecialRuleRelation ColId columnDef
 292 %type  <str>    ColConstraint ColConstraintElem drop_type Bconst
 293 %type  <str>    TableConstraint OptTableElementList Xconst opt_transaction
 294 %type  <str>    ConstraintElem key_actions ColQualList type_name
 295 %type  <str>    target_list target_el update_target_list alias_clause
 296 %type  <str>    update_target_el opt_id qualified_name database_name
 297 %type  <str>    access_method attr_name index_name name func_name
 298 %type  <str>    file_name AexprConst c_expr ConstTypename var_list
 299 %type  <str>    a_expr b_expr TruncateStmt CommentStmt OnCommitOption opt_by
 300 %type  <str>    opt_indirection expr_list extract_list extract_arg
 301 %type  <str>    position_list substr_list substr_from alter_column_default
 302 %type  <str>    trim_list in_expr substr_for attrs TableFuncElement
 303 %type  <str>    Typename SimpleTypename Numeric opt_float opt_numeric
 304 %type  <str>    opt_decimal Character character opt_varying opt_charset
 305 %type  <str>    opt_collate opt_timezone opt_interval table_ref
 306 %type  <str>    row_descriptor ConstDatetime AlterDomainStmt
 307 %type  <str>    SelectStmt into_clause OptTemp ConstraintAttributeSpec
 308 %type  <str>    opt_table opt_all sort_clause sortby_list ConstraintAttr
 309 %type  <str>    sortby OptUseOp qualified_name_list name_list ColId_or_Sconst
 310 %type  <str>    group_clause having_clause from_clause opt_distinct
 311 %type  <str>    join_outer where_clause relation_expr sub_type opt_arg
 312 %type  <str>    opt_column_list insert_rest InsertStmt OptimizableStmt
 313 %type  <str>    columnList DeleteStmt LockStmt UpdateStmt CursorStmt
 314 %type  <str>    NotifyStmt columnElem UnlistenStmt TableElement rowdefinition
 315 %type  <str>    copy_delimiter ListenStmt CopyStmt copy_file_name opt_binary
 316 %type  <str>    FetchStmt direction fetch_how_many from_in CreateOpClassStmt
 317 %type  <str>    ClosePortalStmt DropStmt VacuumStmt AnalyzeStmt opt_verbose
 318 %type  <str>    opt_full func_arg OptWithOids opt_freeze opt_ecpg_into
 319 %type  <str>    analyze_keyword opt_name_list ExplainStmt index_params
 320 %type  <str>    index_list func_index index_elem opt_class access_method_clause
 321 %type  <str>    index_opt_unique IndexStmt func_return ConstInterval
 322 %type  <str>    func_args_list func_args opt_with def_arg overlay_placing
 323 %type  <str>    def_elem def_list definition DefineStmt select_with_parens
 324 %type  <str>    opt_instead event RuleActionList opt_using CreateAssertStmt
 325 %type  <str>    RuleActionStmtOrEmpty RuleActionMulti func_as reindex_type
 326 %type  <str>    RuleStmt opt_column opt_name oper_argtypes NumConst
 327 %type  <str>    MathOp RemoveFuncStmt aggr_argtype for_update_clause
 328 %type  <str>    RemoveAggrStmt opt_procedural select_no_parens CreateCastStmt
 329 %type  <str>    RemoveOperStmt RenameStmt all_Op opt_Trusted opt_lancompiler
 330 %type  <str>    VariableSetStmt var_value zone_value VariableShowStmt
 331 %type  <str>    VariableResetStmt AlterTableStmt from_list overlay_list
 332 %type  <str>    user_list OptUserList OptUserElem relation_name
 333 %type  <str>    CreateUserStmt AlterUserStmt CreateSeqStmt OptSeqList
 334 %type  <str>    OptSeqElem TriggerForSpec TriggerForOpt TriggerForType
 335 %type  <str>    DropTrigStmt TriggerOneEvent TriggerEvents RuleActionStmt
 336 %type  <str>    TriggerActionTime CreateTrigStmt DropPLangStmt DropCastStmt
 337 %type  <str>    CreatePLangStmt TriggerFuncArgs TriggerFuncArg simple_select
 338 %type  <str>    ViewStmt LoadStmt CreatedbStmt createdb_opt_item
 339 %type  <str>    createdb_opt_list opt_encoding OptInherit opt_equal
 340 %type  <str>    AlterUserSetStmt privilege_list privilege privilege_target
 341 %type  <str>    opt_grant_grant_option opt_revoke_grant_option
 342 %type  <str>    transaction_mode_list_or_empty transaction_mode_list
 343 %type  <str>    function_with_argtypes_list function_with_argtypes
 344 %type  <str>    DropdbStmt ClusterStmt grantee RevokeStmt Bit DropOpClassStmt
 345 %type  <str>    GrantStmt privileges PosAllConst constraints_set_list
 346 %type  <str>    opt_cursor ConstraintsSetStmt AllConst CreateDomainStmt
 347 %type  <str>    case_expr when_clause_list case_default case_arg when_clause
 348 %type  <str>    select_clause opt_select_limit select_limit_value opt_recheck
 349 %type  <str>    ConstraintTimeSpec AlterDatabaseSetStmt DropAssertStmt
 350 %type  <str>    select_offset_value ReindexStmt join_type opt_boolean
 351 %type  <str>    join_qual update_list joined_table opclass_item
 352 %type  <str>    opt_lock lock_type OptGroupList OptGroupElem
 353 %type  <str>    OptConstrFromTable OptTempTableName StringConst
 354 %type  <str>    constraints_set_mode comment_type opt_empty_parentheses
 355 %type  <str>    CreateGroupStmt AlterGroupStmt DropGroupStmt key_delete
 356 %type  <str>    opt_force key_update CreateSchemaStmt PosIntStringConst
 357 %type  <str>    IntConst PosIntConst grantee_list func_type opt_or_replace
 358 %type  <str>    select_limit opt_for_update_clause CheckPointStmt
 359 %type  <str>    OptSchemaName OptSchemaEltList schema_stmt opt_drop_behavior
 360 %type  <str>    handler_name any_name_list any_name opt_as insert_column_list
 361 %type  <str>    columnref dotted_name function_name insert_target_el
 362 %type  <str>    insert_target_list insert_column_item DropRuleStmt
 363 %type  <str>    createfunc_opt_item set_rest var_list_or_default
 364 %type  <str>    CreateFunctionStmt createfunc_opt_list func_table
 365 %type  <str>    DropUserStmt copy_from copy_opt_list copy_opt_item
 366 %type  <str>    opt_oids TableLikeClause key_action opt_definition
 367 %type  <str>    cast_context row r_expr qual_Op qual_all_Op opt_default
 368 %type  <str>    CreateConversionStmt any_operator opclass_item_list
 369 %type  <str>    iso_level type_list CharacterWithLength ConstCharacter
 370 %type  <str>    CharacterWithoutLength BitWithLength BitWithoutLength
 371 %type  <str>    ConstBit GenericType TableFuncElementList opt_analyze
 372 %type  <str>    opt_sort_clause transaction_access_mode
 373
 374 %type  <str>    ECPGWhenever ECPGConnect connection_target ECPGOpen
 375 %type  <str>    indicator ECPGExecute ECPGPrepare opt_ecpg_using ecpg_into
 376 %type  <str>    storage_declaration storage_clause opt_initializer c_anything
 377 %type  <str>    variable_list variable c_thing c_term
 378 %type  <str>    opt_pointer ECPGDisconnect dis_name storage_modifier
 379 %type  <str>    ECPGRelease execstring server_name ECPGVarDeclaration
 380 %type  <str>    connection_object opt_server opt_port c_stuff c_stuff_item
 381 %type  <str>    user_name opt_user char_variable ora_user ident opt_reference
 382 %type  <str>    var_type_declarations quoted_ident_stringvar
 383 %type  <str>    db_prefix server opt_options opt_connection_name c_list
 384 %type  <str>    ECPGSetConnection ECPGTypedef c_args ECPGKeywords
 385 %type  <str>    enum_type civar civarind ECPGCursorStmt ECPGDeallocate
 386 %type  <str>    ECPGFree ECPGDeclare ECPGVar opt_at enum_definition
 387 %type  <str>    struct_type s_struct vt_declarations variable_declarations
 388 %type  <str>    var_declaration type_declaration single_vt_declaration
 389 %type  <str>    s_union union_type ECPGSetAutocommit on_off
 390 %type  <str>    ECPGAllocateDescr ECPGDeallocateDescr symbol opt_symbol
 391 %type  <str>    ECPGGetDescriptorHeader ECPGColLabel single_var_declaration
 392 %type  <str>    reserved_keyword unreserved_keyword
 393 %type  <str>    col_name_keyword func_name_keyword
 394 %type  <str>    ECPGTypeName variablelist ECPGColLabelCommon
 395
 396 %type  <descriptor> ECPGGetDescriptor
 397
 398 %type  <type_enum> simple_type signed_type unsigned_type
 399
 400 %type  <dtype_enum> descriptor_item desc_header_item
 401
 402 %type  <type>   type common_type single_vt_type
 403
 404 %type  <action> action
 405
 406 %type  <index>  opt_array_bounds opt_type_array_bounds
 407
 408 %type  <ival>   Iresult
 409
 410 %%
 411 prog: statements;
 412
 413 statements: /*EMPTY*/
 414                 | statements statement
 415                 ;
 416
 417 statement: ecpgstart opt_at stmt ';'    { connection = NULL; }
 418                 | ecpgstart stmt ';'
 419                 | ecpgstart ECPGVarDeclaration
 420                 {
 421                         fprintf(yyout, "%s", $2);
 422                         free($2);
 423                         output_line_number();
 424                 }
 425                 | ECPGDeclaration
 426                 | c_thing               { fprintf(yyout, "%s", $1); free($1); }
 427                 | CPP_LINE              { fprintf(yyout, "%s", $1); free($1); }
 428                 | '{'                   { braces_open++; fputs("{", yyout); }
 429                 | '}'                   { remove_variables(braces_open--); fputs("}", yyout); }
 430                 ;
 431
 432 opt_at: AT connection_target
 433                 {
 434                         connection = $2;
 435                         /*
 436                          *      if we have a variable as connection
 437                          *      target, remove it from the variable
 438                          *      list or else it will be used twice
 439                          */
 440                         if (argsinsert != NULL)
 441                                 argsinsert = NULL;
 442                 };
 443
 444 stmt:  AlterDatabaseSetStmt { output_statement($1, 0, connection); }
 445                 | AlterDomainStmt       { output_statement($1, 0, connection); }
 446                 | AlterGroupStmt        { output_statement($1, 0, connection); }
 447                 | AlterTableStmt        { output_statement($1, 0, connection); }
 448                 | AlterUserStmt         { output_statement($1, 0, connection); }
 449                 | AlterUserSetStmt      { output_statement($1, 0, connection); }
 450                 | ClosePortalStmt       { output_statement($1, 0, connection); }
 451                 | CommentStmt           { output_statement($1, 0, connection); }
 452                 | CopyStmt              { output_statement($1, 0, connection); }
 453                 | CreateStmt            { output_statement($1, 0, connection); }
 454                 | CreateAsStmt          { output_statement($1, 0, connection); }
 455                 | CreateCastStmt        { output_statement($1, 0, connection); }
 456                 | CreateDomainStmt      { output_statement($1, 0, connection); }
 457                 | CreateFunctionStmt    { output_statement($1, 0, connection); }
 458                 | CreateSchemaStmt      { output_statement($1, 0, connection); }
 459                 | CreateGroupStmt       { output_statement($1, 0, connection); }
 460                 | CreateSeqStmt         { output_statement($1, 0, connection); }
 461                 | CreatePLangStmt       { output_statement($1, 0, connection); }
 462                 | CreateAssertStmt      { output_statement($1, 0, connection); }
 463                 | CreateOpClassStmt     { output_statement($1, 0, connection); }
 464                 | CreateTrigStmt        { output_statement($1, 0, connection); }
 465                 | CreateUserStmt        { output_statement($1, 0, connection); }
 466                 | ClusterStmt           { output_statement($1, 0, connection); }
 467                 /*| DeallocateStmt      { output_statement($1, 0, connection); }*/
 468                 | DefineStmt            { output_statement($1, 0, connection); }
 469                 | DropStmt              { output_statement($1, 0, connection); }
 470                 | TruncateStmt          { output_statement($1, 0, connection); }
 471                 | DropCastStmt          { output_statement($1, 0, connection); }
 472                 | DropGroupStmt         { output_statement($1, 0, connection); }
 473                 | DropOpClassStmt       { output_statement($1, 0, connection); }
 474                 | DropPLangStmt         { output_statement($1, 0, connection); }
 475                 | DropAssertStmt        { output_statement($1, 0, connection); }
 476                 | DropTrigStmt          { output_statement($1, 0, connection); }
 477                 | DropRuleStmt          { output_statement($1, 0, connection); }
 478                 | DropUserStmt          { output_statement($1, 0, connection); }
 479                 | ExplainStmt           { output_statement($1, 0, connection); }/*              | ExecuteStmt           { output_statement($1, 0, connection); }*/
 480                 | FetchStmt             { output_statement($1, 1, connection); }
 481                 | GrantStmt             { output_statement($1, 0, connection); }
 482                 | IndexStmt             { output_statement($1, 0, connection); }
 483                 | ListenStmt            { output_statement($1, 0, connection); }
 484                 | UnlistenStmt          { output_statement($1, 0, connection); }
 485                 | LockStmt              { output_statement($1, 0, connection); }
 486                 | NotifyStmt            { output_statement($1, 0, connection); }
 487 /*              | PrepareStmt           { output_statement($1, 0, connection); }*/
 488                 | ReindexStmt           { output_statement($1, 0, connection); }
 489                 | RemoveAggrStmt        { output_statement($1, 0, connection); }
 490                 | RemoveOperStmt        { output_statement($1, 0, connection); }
 491                 | RemoveFuncStmt        { output_statement($1, 0, connection); }
 492                 | RenameStmt            { output_statement($1, 0, connection); }
 493                 | RevokeStmt            { output_statement($1, 0, connection); }
 494                 | OptimizableStmt
 495                 {
 496                         if (strncmp($1, "/* " , sizeof("/* ")-1) == 0)
 497                                 output_simple_statement($1);
 498                         else
 499                                 output_statement($1, 1, connection);
 500                 }
 501                 | RuleStmt              { output_statement($1, 0, connection); }
 502                 | TransactionStmt
 503                 {
 504                         fprintf(yyout, "{ ECPGtrans(__LINE__, %s, \"%s\");", connection ? connection : "NULL", $1);
 505                         whenever_action(2);
 506                         free($1);
 507                 }
 508                 | ViewStmt              { output_statement($1, 0, connection); }
 509                 | LoadStmt              { output_statement($1, 0, connection); }
 510                 | CreatedbStmt          { output_statement($1, 0, connection); }
 511                 | DropdbStmt            { output_statement($1, 0, connection); }
 512                 | VacuumStmt            { output_statement($1, 0, connection); }
 513                 | AnalyzeStmt           { output_statement($1, 0, connection); }
 514                 | VariableSetStmt       { output_statement($1, 0, connection); }
 515                 | VariableShowStmt      { output_statement($1, 0, connection); }
 516                 | VariableResetStmt     { output_statement($1, 0, connection); }
 517                 | ConstraintsSetStmt    { output_statement($1, 0, connection); }
 518                 | CheckPointStmt        { output_statement($1, 0, connection); }
 519                 | CreateConversionStmt  { output_statement($1, 0, connection); }
 520                 | ECPGAllocateDescr
 521                 {
 522                         fprintf(yyout,"ECPGallocate_desc(__LINE__, %s);",$1);
 523                         whenever_action(0);
 524                         free($1);
 525                 }
 526                 | ECPGConnect
 527                 {
 528                         if (connection)
 529                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for connect statement.\n");
 530
 531                         fprintf(yyout, "{ ECPGconnect(__LINE__, %s, %d); ", $1, autocommit);
 532                         reset_variables();
 533                         whenever_action(2);
 534                         free($1);
 535                 }
 536                 | ECPGCursorStmt
 537                 {
 538                         output_simple_statement($1);
 539                 }
 540                 | ECPGDeallocate
 541                 {
 542                         if (connection)
 543                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for connect statement.\n");
 544
 545                         fputc('{', yyout);
 546                         fputs($1, yyout);
 547                         whenever_action(2);
 548                         free($1);
 549                 }
 550                 | ECPGDeallocateDescr
 551                 {
 552                         fprintf(yyout,"ECPGdeallocate_desc(__LINE__, %s);",$1);
 553                         whenever_action(0);
 554                         free($1);
 555                 }
 556                 | ECPGDeclare
 557                 {
 558                         output_simple_statement($1);
 559                 }
 560                 | ECPGDisconnect
 561                 {
 562                         if (connection)
 563                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for disconnect statement.\n");
 564
 565                         fprintf(yyout, "{ ECPGdisconnect(__LINE__, %s);",
 566                                         $1 ? $1 : "\"CURRENT\"");
 567                         whenever_action(2);
 568                         free($1);
 569                 }
 570                 | ECPGExecute
 571                 {
 572                         output_statement($1, 0, connection);
 573                 }
 574                 | ECPGFree
 575                 {
 576                         fprintf(yyout, "{ ECPGdeallocate(__LINE__, \"%s\");", $1);
 577
 578                         whenever_action(2);
 579                         free($1);
 580                 }
 581                 | ECPGGetDescriptor
 582                 {
 583                         lookup_descriptor($1.name, connection);
 584                         output_get_descr($1.name, $1.str);
 585                         free($1.name);
 586                         free($1.str);
 587                 }
 588                 | ECPGGetDescriptorHeader
 589                 {
 590                         lookup_descriptor($1, connection);
 591                         output_get_descr_header($1);
 592                         free($1);
 593                 }
 594                 | ECPGOpen
 595                 {
 596                         struct cursor *ptr;
 597                         struct arguments *p;
 598
 599                         for (ptr = cur; ptr != NULL; ptr=ptr->next)
 600                         {
 601                                 if (strcmp(ptr->name, $1) == 0)
 602                                         break;
 603                         }
 604
 605                         if (ptr == NULL)
 606                         {
 607                                 snprintf(errortext, sizeof(errortext), "trying to open undeclared cursor %s\n", $1);
 608                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
 609                         }
 610
 611                         /* merge variables given in prepare statement with those given here */
 612                         for (p = ptr->argsinsert; p; p = p->next)
 613                                 append_variable(&argsinsert, p->variable, p->indicator);
 614
 615                         for (p = ptr->argsresult; p; p = p->next)
 616                                 add_variable(&argsresult, p->variable, p->indicator);
 617
 618                         output_statement(mm_strdup(ptr->command), 0, ptr->connection ? mm_strdup(ptr->connection) : NULL);
 619                 }
 620                 | ECPGPrepare
 621                 {
 622                         if (connection)
 623                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for set connection statement.\n");
 624
 625                         fprintf(yyout, "{ ECPGprepare(__LINE__, %s);", $1);
 626                         whenever_action(2);
 627                         free($1);
 628                 }
 629                 | ECPGRelease           { /* output already done */ }
 630                 | ECPGSetAutocommit
 631                 {
 632                         fprintf(yyout, "{ ECPGsetcommit(__LINE__, \"%s\", %s);", $1, connection ? connection : "NULL");
 633                         whenever_action(2);
 634                         free($1);
 635                 }
 636                 | ECPGSetConnection
 637                 {
 638                         if (connection)
 639                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for set connection statement.\n");
 640
 641                         fprintf(yyout, "{ ECPGsetconn(__LINE__, %s);", $1);
 642                         whenever_action(2);
 643                         free($1);
 644                 }
 645                 | ECPGTypedef
 646                 {
 647                         if (connection)
 648                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for typedef statement.\n");
 649
 650                         fprintf(yyout, "%s", $1);
 651                         free($1);
 652                         output_line_number();
 653                 }
 654                 | ECPGVar
 655                 {
 656                         if (connection)
 657                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for var statement.\n");
 658
 659                         output_simple_statement($1);
 660                 }
 661                 | ECPGWhenever
 662                 {
 663                         if (connection)
 664                                 mmerror(PARSE_ERROR, ET_ERROR, "no at option for whenever statement.\n");
 665
 666                         output_simple_statement($1);
 667                 }
 668                 ;
 669
 670
 671 /*
 672  * We start with a lot of stuff that's very similar to the backend's parsing
 673  */
 674
 675 /*****************************************************************************
 676  *
 677  * Create a new Postgres DBMS user
 678  *
 679  *
 680  *****************************************************************************/
 681
 682 CreateUserStmt: CREATE USER UserId opt_with OptUserList
 683                         { $$ = cat_str(4, make_str("create user"), $3, make_str("with"), $5); }
 684                 ;
 685
 686 opt_with:  WITH                 { $$ = make_str("with"); }
 687                 | /*EMPTY*/     { $$ = EMPTY; }
 688                 ;
 689
 690
 691 /*****************************************************************************
 692  *
 693  * Alter a postgresql DBMS user
 694  *
 695  *
 696  *****************************************************************************/
 697
 698 AlterUserStmt: ALTER USER UserId OptUserList
 699                         { $$ = cat_str(3, make_str("alter user"), $3, $4); }
 700                 | ALTER USER UserId WITH OptUserList
 701                         { $$ = cat_str(4, make_str("alter user"), $3, make_str("with"), $5); }
 702                 ;
 703
 704 AlterUserSetStmt: ALTER USER UserId SET set_rest
 705                         { $$ = cat_str(4, make_str("alter user"), $3, make_str("set"), $5); }
 706                 | ALTER USER UserId VariableResetStmt
 707                         { $$ = cat_str(3, make_str("alter user"), $3, $4); }
 708                 ;
 709
 710 /*****************************************************************************
 711  *
 712  * Drop a postgresql DBMS user
 713  *
 714  *
 715  *****************************************************************************/
 716 DropUserStmt:  DROP USER user_list
 717                         { $$ = cat2_str(make_str("drop user"), $3);}
 718                 ;
 719 /*
 720  * Options for CREATE USER and ALTER USER
 721  */
 722
 723 OptUserList: OptUserList OptUserElem    { $$ = cat2_str($1, $2); }
 724                 | /* EMPTY */                                   { $$ = EMPTY; }
 725                 ;
 726
 727 OptUserElem:  PASSWORD Sconst
 728                 { $$ = cat2_str(make_str("password"), $2); }
 729                 | SYSID PosIntConst
 730                         { $$ = cat2_str(make_str("sysid"), $2); }
 731                 | CREATEDB
 732                         { $$ = make_str("createdb"); }
 733                 | NOCREATEDB
 734                         { $$ = make_str("nocreatedb"); }
 735                 | CREATEUSER
 736                         { $$ = make_str("createuser"); }
 737                 | NOCREATEUSER
 738                         { $$ = make_str("nocreateuser"); }
 739                 | IN_P GROUP_P user_list
 740                         { $$ = cat2_str(make_str("in group"), $3); }
 741                 | VALID UNTIL Sconst
 742                         { $$ = cat2_str(make_str("valid until"), $3); }
 743                 ;
 744
 745 user_list:      user_list ',' UserId
 746                         { $$ = cat_str(3, $1, make_str(","), $3); }
 747                 | UserId
 748                         { $$ = $1; }
 749                 ;
 750
 751 /*****************************************************************************
 752  *
 753  * Create a postgresql group
 754  *
 755  *
 756  ****************************************************************************/
 757 CreateGroupStmt:  CREATE GROUP_P UserId OptGroupList
 758                         { $$ = cat_str(3, make_str("create group"), $3, $4); }
 759                 | CREATE GROUP_P UserId WITH OptGroupList
 760                         { $$ = cat_str(4, make_str("create group"), $3, make_str("with"), $5); }
 761                 ;
 762
 763 /*
 764  * Options for CREATE GROUP
 765  */
 766 OptGroupList: OptGroupList OptGroupElem         { $$ = cat2_str($1, $2); }
 767                 | /* EMPTY */                                           { $$ = EMPTY; }
 768                 ;
 769
 770 OptGroupElem:  USER user_list
 771                         { $$ = cat2_str(make_str("user"), $2); }
 772                 | SYSID PosIntConst
 773                         { $$ = cat2_str(make_str("sysid"), $2); }
 774                 ;
 775
 776
 777 /*****************************************************************************
 778  *
 779  * Alter a postgresql group
 780  *
 781  *
 782  *****************************************************************************/
 783 AlterGroupStmt: ALTER GROUP_P UserId ADD USER user_list
 784                         { $$ = cat_str(4, make_str("alter group"), $3, make_str("add user"), $6); }
 785                 | ALTER GROUP_P UserId DROP USER user_list
 786                         { $$ = cat_str(4, make_str("alter group"), $3, make_str("drop user"), $6); }
 787                 ;
 788
 789 /*****************************************************************************
 790  *
 791  * Drop a postgresql group
 792  *
 793  *
 794  *****************************************************************************/
 795 DropGroupStmt: DROP GROUP_P UserId
 796                         { $$ = cat2_str(make_str("drop group"), $3); }
 797                 ;
 798
 799 /*****************************************************************************
 800  *
 801  * Manipulate a schema
 802  *
 803  *
 804  *****************************************************************************/
 805
 806 CreateSchemaStmt:  CREATE SCHEMA UserId OptSchemaName AUTHORIZATION UserId OptSchemaEltList
 807                         { $$ = cat_str(6, make_str("create scheme"), $3, $4, make_str("authorization"), $6, $7); }
 808                 | CREATE SCHEMA ColId OptSchemaEltList
 809                         { $$ = cat_str(3, make_str("create scheme"), $3, $4); }
 810                 ;
 811
 812 OptSchemaName: ColId            { $$ = $1; }
 813                | /* EMPTY */   { $$ = EMPTY; }
 814                ;
 815
 816 OptSchemaEltList: OptSchemaEltList schema_stmt         { $$ = cat2_str($1, $2); }
 817                 | /* EMPTY */   { $$ = EMPTY; }
 818                 ;
 819
 820 /*
 821  *     schema_stmt are the ones that can show up inside a CREATE SCHEMA
 822  *     statement (in addition to by themselves).
 823  */
 824 schema_stmt: CreateStmt         { $$ = $1; }
 825                | GrantStmt      { $$ = $1; }
 826                | ViewStmt       { $$ = $1; }
 827                ;
 828
 829
 830
 831 /*****************************************************************************
 832  *
 833  * Set PG internal variable
 834  *        SET name TO 'var_value'
 835  * Include SQL92 syntax (thomas 1997-10-22):
 836  *        SET TIME ZONE 'var_value'
 837  *
 838  *****************************************************************************/
 839 VariableSetStmt:  SET set_rest
 840                         { $$ = cat2_str(make_str("set"), $2 ); }
 841                 | SET LOCAL set_rest
 842                         { $$ = cat2_str(make_str("set local"), $3 ); }
 843                 | SET SESSION set_rest
 844                         { $$ = cat2_str(make_str("set session"), $3 ); }
 845                 ;
 846
 847 set_rest:       ColId TO var_list_or_default
 848                         { $$ = cat_str(3, $1, make_str("to"), $3); }
 849                 | ColId "=" var_list_or_default
 850                         { $$ = cat_str(3, $1, make_str("="), $3); }
 851                 | TIME ZONE zone_value
 852                         { $$ = cat2_str(make_str("time zone"), $3); }
 853                 | TRANSACTION transaction_mode_list
 854                         { $$ = cat2_str(make_str("transaction"), $2); }
 855                 | SESSION CHARACTERISTICS AS TRANSACTION transaction_mode_list
 856                         { $$ = cat2_str(make_str("session characteristics as transaction"), $5); }
 857                 | NAMES opt_encoding
 858                         { $$ = cat2_str(make_str("names"), $2); }
 859                 | SESSION AUTHORIZATION ColId_or_Sconst
 860                         { $$ = cat2_str(make_str("session authorization"), $3); }
 861                 | SESSION AUTHORIZATION DEFAULT
 862                         { $$ = make_str("session authorization default"); }
 863                 ;
 864
 865 var_list_or_default:  var_list
 866                         { $$ = $1; }
 867                 | DEFAULT
 868                         { $$ = make_str("default"); }
 869                 ;
 870
 871 var_list:  var_value
 872                         { $$ = $1; }
 873                 | var_list ',' var_value
 874                         { $$ = cat_str(3, $1, make_str(","), $3); }
 875                 ;
 876
 877 iso_level:      READ COMMITTED  { $$ = make_str("read committed"); }
 878                 | SERIALIZABLE          { $$ = make_str("serializable"); }
 879                 ;
 880
 881 var_value:      opt_boolean             { $$ = $1; }
 882                 | AllConst              { $$ = $1; }
 883                 | ColId                 { $$ = $1; }
 884                 ;
 885
 886 opt_boolean:  TRUE_P            { $$ = make_str("true"); }
 887                 | FALSE_P                       { $$ = make_str("false"); }
 888                 | ON                            { $$ = make_str("on"); }
 889                 | OFF                           { $$ = make_str("off"); }
 890                 ;
 891 /* Timezone values can be:
 892  * - a string such as 'pst8pdt'
 893  * - a column identifier such as "pst8pdt"
 894  * - an integer or floating point number
 895  * - a time interval per SQL99
 896  * ConstInterval and ColId give shift/reduce errors,
 897  * so use IDENT and reject anything which is a reserved word.
 898  */
 899 zone_value:  AllConst           { $$ = $1; }
 900                 | ident         { $$ = $1; }
 901                 | ConstInterval StringConst opt_interval
 902                         { $$ = cat_str(3, $1, $2, $3); }
 903                 | ConstInterval '(' PosIntConst ')' StringConst opt_interval
 904                         { $$ = cat_str(6, $1, make_str("("), $3, make_str(")"), $5, $6); }
 905                 | DEFAULT
 906                         { $$ = make_str("default"); }
 907                 | LOCAL
 908                         { $$ = make_str("local"); }
 909                 ;
 910
 911 opt_encoding:   StringConst             { $$ = $1; }
 912                 | DEFAULT                               { $$ = make_str("default"); }
 913                 | /*EMPTY*/                             { $$ = EMPTY; }
 914                 ;
 915
 916 ColId_or_Sconst: ColId                  { $$ = $1; }
 917                 | StringConst                   { $$ = $1; }
 918                 ;
 919
 920 VariableShowStmt:  SHOW ColId
 921                         { $$ = cat2_str(make_str("show"), $2); }
 922                 | SHOW TIME ZONE
 923                         { $$ = make_str("show time zone"); }
 924                 | SHOW TRANSACTION ISOLATION LEVEL
 925                         { $$ = make_str("show transaction isolation level"); }
 926                 | SHOW SESSION AUTHORIZATION
 927                         { $$ = make_str("show session authorization"); }
 928                 | SHOW ALL
 929                         { $$ = make_str("show all"); }
 930                 ;
 931
 932 VariableResetStmt:      RESET ColId
 933                         { $$ = cat2_str(make_str("reset"), $2); }
 934                 | RESET TIME ZONE
 935                         { $$ = make_str("reset time zone"); }
 936                 | RESET TRANSACTION ISOLATION LEVEL
 937                         { $$ = make_str("reset transaction isolation level"); }
 938                 | RESET SESSION AUTHORIZATION
 939                         { $$ = make_str("reset session authorization"); }
 940                 | RESET ALL
 941                         { $$ = make_str("reset all"); }
 942                 ;
 943
 944 ConstraintsSetStmt:    SET CONSTRAINTS constraints_set_list constraints_set_mode
 945                         { $$ = cat_str(3, make_str("set constraints"), $3, $4); }
 946                 ;
 947
 948 constraints_set_list:  ALL
 949                         { $$ = make_str("all"); }
 950                 | name_list
 951                         { $$ = $1; }
 952                 ;
 953
 954 constraints_set_mode:  DEFERRED         { $$ = make_str("deferred"); }
 955                 | IMMEDIATE             { $$ = make_str("immediate"); }
 956                 ;
 957
 958 /*
 959  * Checkpoint statement
 960  */
 961 CheckPointStmt: CHECKPOINT         { $$= make_str("checkpoint"); }
 962                 ;
 963
 964
 965 /*****************************************************************************
 966  *
 967  *      ALTER TABLE variations
 968  *
 969  *****************************************************************************/
 970
 971 AlterTableStmt:
 972 /* ALTER TABLE <relation> ADD [COLUMN] <coldef> */
 973                 ALTER TABLE relation_expr ADD opt_column columnDef
 974                         { $$ = cat_str(5, make_str("alter table"), $3, make_str("add"), $5, $6); }
 975 /* ALTER TABLE <relation> ALTER [COLUMN] <colname> {SET DEFAULT <expr>|DROP DEFAULT} */
 976                 | ALTER TABLE relation_expr ALTER opt_column ColId alter_column_default
 977                         { $$ = cat_str(6, make_str("alter table"), $3, make_str("alter"), $5, $6, $7); }
 978 /* ALTER TABLE <relation> ALTER [COLUMN] <colname> DROP NOT NULL */
 979                 | ALTER TABLE relation_expr ALTER opt_column ColId DROP NOT NULL_P
 980                         { $$ = cat_str(6, make_str("alter table"), $3, make_str("alter"), $5, $6, make_str("drop not null")); }
 981 /* ALTER TABLE <relation> ALTER [COLUMN] <colname> SET NOT NULL */
 982                 | ALTER TABLE relation_expr ALTER opt_column ColId SET NOT NULL_P
 983                         { $$ = cat_str(6, make_str("alter table"), $3, make_str("alter"), $5, $6, make_str("set not null")); }
 984 /* ALTER TABLE <relation> ALTER [COLUMN] <colname> SET STATISTICS <IntegerOnly> */
 985                 | ALTER TABLE relation_expr ALTER opt_column ColId SET STATISTICS PosIntConst
 986                         { $$ = cat_str(7, make_str("alter table"), $3, make_str("alter"), $5, $6, make_str("set statistics"), $9); }
 987 /* ALTER TABLE <relation> ALTER [COLUMN] <colname> SET STORAGE <storagemode> */
 988                 | ALTER TABLE relation_expr ALTER opt_column ColId SET STORAGE ColId
 989                         { $$ = cat_str(7, make_str("alter table"), $3, make_str("alter"), $5, $6, make_str("set storage"), $9); }
 990 /* ALTER TABLE <relation> DROP [COLUMN] <colname> {RESTRICT|CASCADE} */
 991                 | ALTER TABLE relation_expr DROP opt_column ColId opt_drop_behavior
 992                         { $$ = cat_str(6, make_str("alter table"), $3, make_str("drop"), $5, $6, $7); }
 993 /* ALTER TABLE <relation> ADD CONSTRAINT ... */
 994                 | ALTER TABLE relation_expr ADD TableConstraint
 995                         { $$ = cat_str(4, make_str("alter table"), $3, make_str("add"), $5); }
 996 /* ALTER TABLE <relation> DROP CONSTRAINT ... */
 997                 | ALTER TABLE relation_expr DROP CONSTRAINT name opt_drop_behavior
 998                         { $$ = cat_str(5, make_str("alter table"), $3, make_str("drop constraint"), $6, $7); }
 999 /* ALTER TABLE <relation> SET WITHOUT OIDS  */
1000                 | ALTER TABLE relation_expr SET WITHOUT OIDS
1001                         { $$ = cat_str(3, make_str("alter table"), $3, make_str("set without oids")); }
1002  /* ALTER TABLE <name> CREATE TOAST TABLE */
1003                 | ALTER TABLE qualified_name CREATE TOAST TABLE
1004                         { $$ = cat_str(3, make_str("alter table"), $3, make_str("create toast table")); }
1005 /* ALTER TABLE <name> OWNER TO UserId */
1006                 | ALTER TABLE qualified_name OWNER TO UserId
1007                         { $$ = cat_str(4, make_str("alter table"), $3, make_str("owner to"), $6); }
1008                 ;
1009
1010 alter_column_default:
1011                 SET DEFAULT a_expr              { $$ = cat2_str(make_str("set default"), $3); }
1012                 | DROP DEFAULT                  { $$ = make_str("drop default"); }
1013                 ;
1014
1015 opt_drop_behavior: CASCADE                      { $$ = make_str("cascade"); }
1016                 | RESTRICT                      { $$ = make_str("restrict"); }
1017                 | /* EMPTY */                   { $$ = EMPTY; }
1018                 ;
1019
1020 /*****************************************************************************
1021  *
1022  *              QUERY :
1023  *                              close <optname>
1024  *
1025  *****************************************************************************/
1026
1027 ClosePortalStmt:  CLOSE opt_id  { $$ = cat2_str(make_str("close"), $2); }
1028                 ;
1029
1030 opt_id:  ColId                                  { $$ = $1; }
1031                 | /*EMPTY*/                     { $$ = NULL; }
1032                 ;
1033
1034 /*****************************************************************************
1035  *
1036  *              QUERY :
1037  *                              COPY [BINARY] <relname> FROM/TO
1038  *                              [USING DELIMITERS <delimiter>]
1039  *
1040  *****************************************************************************/
1041
1042 CopyStmt:  COPY opt_binary qualified_name opt_oids copy_from
1043                 copy_file_name copy_delimiter opt_with copy_opt_list
1044                         { $$ = cat_str(9, make_str("copy"), $2, $3, $4, $5, $6, $7, $8, $9); }
1045                 ;
1046
1047 copy_from:      TO                                      { $$ = make_str("to"); }
1048                 | FROM                                  { $$ = make_str("from"); }
1049                 ;
1050
1051 /*
1052  * copy_file_name NULL indicates stdio is used. Whether stdin or stdout is
1053  * used depends on the direction. (It really doesn't make sense to copy from
1054  * stdout. We silently correct the "typo".               - AY 9/94
1055  */
1056 copy_file_name:  StringConst    { $$ = $1; }
1057                 | STDIN                                 { $$ = make_str("stdin"); }
1058                 | STDOUT                                { $$ = make_str("stdout"); }
1059                 ;
1060
1061 copy_opt_list: copy_opt_list copy_opt_item      { $$ = cat2_str($1, $2); }
1062                 | /* EMPTY */                   { $$ = EMPTY; }
1063                 ;
1064
1065 copy_opt_item:  BINARY          { $$ = make_str("binary"); }
1066                 | OIDS          { $$ = make_str("oids"); }
1067                 | DELIMITER opt_as StringConst
1068                         { $$ = cat_str(3, make_str("delimiter"), $2, $3); }
1069                 | NULL_P opt_as StringConst
1070                         { $$ = cat_str(3, make_str("null"), $2, $3); }
1071                 ;
1072
1073 opt_binary:     BINARY          { $$ = make_str("binary"); }
1074                 | /* EMPTY */   { $$ = EMPTY; }
1075                 ;
1076
1077 opt_oids:       WITH OIDS       { $$ = make_str("with oids"); }
1078                 | /* EMPTY */   { $$ = EMPTY; }
1079                 ;
1080
1081
1082 /*
1083  * the default copy delimiter is tab but the user can configure it
1084  */
1085 copy_delimiter:  opt_using DELIMITERS StringConst
1086                         { $$ = cat_str(3, $1, make_str("delimiters"), $3); }
1087                 | /*EMPTY*/
1088                         { $$ = EMPTY; }
1089                 ;
1090
1091 opt_using:      USING           { $$ = make_str("using"); }
1092                 | /* EMPTY */   { $$ = EMPTY; }
1093                 ;
1094
1095 /*****************************************************************************
1096  *
1097  *              QUERY :
1098  *                              CREATE TABLE relname
1099  *
1100  *****************************************************************************/
1101
1102 CreateStmt:  CREATE OptTemp TABLE qualified_name '(' OptTableElementList ')'
1103                                 OptInherit OptWithOids OnCommitOption
1104                         { $$ = cat_str(10, make_str("create"), $2, make_str("table"), $4, make_str("("), $6, make_str(")"), $8, $9, $10); }
1105                 | CREATE OptTemp TABLE qualified_name OF qualified_name
1106                         '(' OptTableElementList ')' OptWithOids OnCommitOption
1107                         { $$ = cat_str(11, make_str("create"), $2, make_str("table"), $4, make_str("of"), $6, make_str("("), $8, make_str(")"), $10, $11); }
1108                 ;
1109
1110 /*
1111  * Redundancy here is needed to avoid shift/reduce conflicts,
1112  * since TEMP is not a reserved word.  See also OptTempTableName.
1113  */
1114
1115 OptTemp: TEMPORARY                      { $$ = make_str("temporary"); }
1116                 | TEMP                          { $$ = make_str("temp"); }
1117                 | LOCAL TEMPORARY       { $$ = make_str("local temporary"); }
1118                 | LOCAL TEMP            { $$ = make_str("local temp"); }
1119                 | GLOBAL TEMPORARY
1120                 {
1121                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported CREATE TABLE / GLOBAL TEMPORARY will be passed to backend");
1122                         $$ = make_str("global temporary");
1123                 }
1124                 | GLOBAL TEMP
1125                 {
1126                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported CREATE TABLE / GLOBAL TEMP will be passed to backend");
1127                         $$ = make_str("global temp");
1128                 }
1129                 | /*EMPTY*/                     { $$ = EMPTY; }
1130                 ;
1131
1132
1133 OptTableElementList:  TableElementList
1134                         { $$ = $1; }
1135                 | /*EMPTY*/
1136                         { $$ = EMPTY; }
1137                 ;
1138 TableElementList: TableElement
1139                         { $$ = $1; }
1140                 | TableElementList ',' TableElement
1141                         { $$ = cat_str(3, $1, make_str(","), $3); }
1142                 ;
1143
1144 TableElement:  columnDef                { $$ = $1; }
1145                 | TableLikeClause       { $$ = $1; }
1146                 | TableConstraint       { $$ = $1; }
1147                 ;
1148
1149 columnDef:      ColId Typename ColQualList opt_collate
1150                 {
1151                         if (strlen($4) > 0)
1152                         {
1153                                 snprintf(errortext, sizeof(errortext), "Currently unsupported CREATE TABLE / COLLATE %s will be passed to backend", $4);
1154                                 mmerror(PARSE_ERROR, ET_WARNING, errortext);
1155                         }
1156                         $$ = cat_str(4, $1, $2, $3, $4);
1157                 }
1158                 ;
1159
1160 ColQualList:  ColQualList ColConstraint { $$ = cat2_str($1,$2); }
1161                 | /*EMPTY*/                                             { $$ = EMPTY; }
1162                 ;
1163
1164 ColConstraint:  CONSTRAINT name ColConstraintElem
1165                         { $$ = cat_str(3, make_str("constraint"), $2, $3); }
1166                 | ColConstraintElem             { $$ = $1; }
1167                 | ConstraintAttr                { $$ = $1; }
1168                 ;
1169
1170 /* DEFAULT NULL is already the default for Postgres.
1171  * But define it here and carry it forward into the system
1172  * to make it explicit.
1173  * - thomas 1998-09-13
1174  *
1175  * WITH NULL and NULL are not SQL92-standard syntax elements,
1176  * so leave them out. Use DEFAULT NULL to explicitly indicate
1177  * that a column may have that value. WITH NULL leads to
1178  * shift/reduce conflicts with WITH TIME ZONE anyway.
1179  * - thomas 1999-01-08
1180  */
1181 ColConstraintElem:      NOT NULL_P
1182                         { $$ = make_str("not null"); }
1183                 | NULL_P
1184                         { $$ = make_str("null"); }
1185                 | UNIQUE
1186                         { $$ = make_str("unique"); }
1187                 | PRIMARY KEY
1188                         { $$ = make_str("primary key"); }
1189                 | CHECK '(' a_expr ')'
1190                         { $$ = cat_str(3, make_str("check ("), $3, make_str(")")); }
1191                 | DEFAULT b_expr
1192                         { $$ = cat2_str(make_str("default"), $2); }
1193                 |  REFERENCES qualified_name opt_column_list key_match key_actions
1194                         { $$ = cat_str(5, make_str("references"), $2, $3, $4, $5); }
1195                 ;
1196
1197 /*
1198  * ConstraintAttr represents constraint attributes, which we parse as if
1199  * they were independent constraint clauses, in order to avoid shift/reduce
1200  * conflicts (since NOT might start either an independent NOT NULL clause
1201  * or an attribute).  analyze.c is responsible for attaching the attribute
1202  * information to the preceding "real" constraint node, and for complaining
1203  * if attribute clauses appear in the wrong place or wrong combinations.
1204  *
1205  * See also ConstraintAttributeSpec, which can be used in places where
1206  * there is no parsing conflict.
1207  */
1208 ConstraintAttr: DEFERRABLE              { $$ = make_str("deferrable"); }
1209                 | NOT DEFERRABLE                { $$ = make_str("not deferrable"); }
1210                 | INITIALLY DEFERRED    { $$ = make_str("initially deferred"); }
1211                 | INITIALLY IMMEDIATE   { $$ = make_str("initially immediate"); }
1212                 ;
1213
1214 TableLikeClause:  LIKE any_name
1215                         {
1216                                 mmerror(PARSE_ERROR, ET_ERROR, "LIKE in table definitions not yet supported");
1217                                 $$ = cat2_str(make_str("like"), $2);
1218                         }
1219                 ;
1220
1221 /* ConstraintElem specifies constraint syntax which is not embedded into
1222  *      a column definition. ColConstraintElem specifies the embedded form.
1223  * - thomas 1997-12-03
1224  */
1225 TableConstraint:  CONSTRAINT name ConstraintElem
1226                         { $$ = cat_str(3, make_str("constraint"), $2, $3); }
1227                 | ConstraintElem
1228                         { $$ = $1; }
1229                 ;
1230
1231 ConstraintElem:  CHECK '(' a_expr ')'
1232                         { $$ = cat_str(3, make_str("check("), $3, make_str(")")); }
1233                 | UNIQUE '(' columnList ')'
1234                         { $$ = cat_str(3, make_str("unique("), $3, make_str(")")); }
1235                 | PRIMARY KEY '(' columnList ')'
1236                         { $$ = cat_str(3, make_str("primary key("), $4, make_str(")")); }
1237                 | FOREIGN KEY '(' columnList ')' REFERENCES qualified_name opt_column_list
1238                         key_match key_actions ConstraintAttributeSpec
1239                         { $$ = cat_str(8, make_str("foreign key("), $4, make_str(") references"), $7, $8, $9, $10, $11); }
1240                 ;
1241
1242 opt_column_list:  '(' columnList ')'    { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
1243                | /*EMPTY*/              { $$ = EMPTY; }
1244                ;
1245
1246 columnList:  columnList ',' columnElem
1247                                { $$ = cat_str(3, $1, make_str(","), $3); }
1248                | columnElem
1249                                { $$ = $1; }
1250                ;
1251
1252 columnElem:  ColId      { $$ = $1; }
1253                 ;
1254
1255 key_match:      MATCH FULL
1256                         { $$ = make_str("match full"); }
1257                 | MATCH PARTIAL
1258                 {
1259                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported FOREIGN KEY/MATCH PARTIAL will be passed to backend");
1260                         $$ = make_str("match partial");
1261                 }
1262                 | /*EMPTY*/
1263                         { $$ = EMPTY; }
1264                 ;
1265
1266 key_actions:  key_delete                        { $$ = $1; }
1267                 | key_update                            { $$ = $1; }
1268                 | key_delete key_update         { $$ = cat2_str($1, $2); }
1269                 | key_update key_delete         { $$ = cat2_str($1, $2); }
1270                 | /*EMPTY*/                                     { $$ = EMPTY; }
1271                 ;
1272
1273 key_delete: ON DELETE_P key_action
1274                         { $$ = cat2_str(make_str("on delete"), $3); }
1275                 ;
1276
1277 key_update: ON UPDATE key_action
1278                         { $$ = cat2_str(make_str("on update"), $3); }
1279                 ;
1280
1281 key_action:     NO ACTION                       { $$ = make_str("no action"); }
1282                 | RESTRICT                                      { $$ = make_str("restrict"); }
1283                 | CASCADE                                       { $$ = make_str("cascade"); }
1284                 | SET DEFAULT                           { $$ = make_str("set default"); }
1285                 | SET NULL_P                            { $$ = make_str("set null"); }
1286                 ;
1287
1288 OptInherit:  INHERITS '(' qualified_name_list ')'
1289                         { $$ = cat_str(3, make_str("inherits ("), $3, make_str(")")); }
1290                 | /*EMPTY*/
1291                         { $$ = EMPTY; }
1292                 ;
1293
1294 OptWithOids:  WITH OIDS                         { $$ = make_str("with oids"); }
1295                 | WITHOUT OIDS                          { $$ = make_str("without oids"); }
1296                 | /*EMPTY*/                                     { $$ = EMPTY; }
1297                 ;
1298
1299 OnCommitOption:   ON COMMIT DROP                { $$ = make_str("on commit drop"); }
1300                 | ON COMMIT DELETE_P ROWS       { $$ = make_str("on commit delete rows"); }
1301                 | ON COMMIT PRESERVE ROWS       { $$ = make_str("on commit preserve rows"); }
1302                 | /*EMPTY*/                     { $$ = EMPTY; }
1303                 ;
1304
1305
1306 /*
1307  * Note: CREATE TABLE ... AS SELECT ... is just another spelling for
1308  * SELECT ... INTO.
1309  */
1310
1311 CreateAsStmt:  CREATE OptTemp TABLE qualified_name OptCreateAs AS
1312                 { FoundInto = 0; }
1313                 SelectStmt
1314                 {
1315                         if (FoundInto == 1)
1316                                 mmerror(PARSE_ERROR, ET_ERROR, "CREATE TABLE / AS SELECT may not specify INTO");
1317
1318                         $$ = cat_str(7, make_str("create"), $2, make_str("table"), $4, $5, make_str("as"), $8);
1319                 }
1320                 ;
1321
1322 OptCreateAs:  '(' CreateAsList ')'
1323                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
1324                 | /*EMPTY*/
1325                         { $$ = EMPTY; }
1326                 ;
1327
1328 CreateAsList:  CreateAsList ',' CreateAsElement
1329                         { $$ = cat_str(3, $1, make_str(","), $3); }
1330                 | CreateAsElement
1331                         { $$ = $1; }
1332                 ;
1333
1334 CreateAsElement:  ColId { $$ = $1; }
1335                 ;
1336
1337 /*****************************************************************************
1338  *
1339  *              QUERY :
1340  *                              CREATE SEQUENCE seqname
1341  *
1342  *****************************************************************************/
1343
1344 CreateSeqStmt:  CREATE OptTemp SEQUENCE qualified_name OptSeqList
1345                         { $$ = cat_str(4, make_str("create sequence"), $2, $4, $5); }
1346                 ;
1347
1348 OptSeqList:  OptSeqList OptSeqElem      { $$ = cat2_str($1, $2); }
1349                 | /*EMPTY*/                                     { $$ = EMPTY; }
1350                 ;
1351
1352 OptSeqElem:  CACHE NumConst
1353                         { $$ = cat2_str(make_str("cache"), $2); }
1354                 | CYCLE
1355                         { $$ = make_str("cycle"); }
1356                 | NO CYCLE
1357                         { $$ = make_str("no cycle"); }
1358                 | INCREMENT opt_by NumConst
1359                         { $$ = cat_str(3, make_str("increment"), $2, $3); }
1360                 | MAXVALUE NumConst
1361                         { $$ = cat2_str(make_str("maxvalue"), $2); }
1362                 | MINVALUE NumConst
1363                         { $$ = cat2_str(make_str("minvalue"), $2); }
1364                 | NO MAXVALUE
1365                         { $$ = make_str("no maxvalue"); }
1366                 | NO MINVALUE
1367                         { $$ = make_str("no minvalue"); }
1368                 | START opt_with NumConst
1369                         { $$ = cat_str(3, make_str("start"), $2, $3); }
1370                 ;
1371
1372 opt_by:         BY      { $$ = make_str("by"); }
1373                 | /*EMPTY*/     { $$ = EMPTY; }
1374                 ;
1375
1376 /*****************************************************************************
1377  *
1378  *              QUERIES :
1379  *                              CREATE PROCEDURAL LANGUAGE ...
1380  *                              DROP PROCEDURAL LANGUAGE ...
1381  *
1382  *****************************************************************************/
1383
1384 CreatePLangStmt:  CREATE opt_Trusted opt_procedural LANGUAGE ColId_or_Sconst
1385                         HANDLER handler_name opt_lancompiler
1386                         { $$ = cat_str(8, make_str("create"), $2, $3, make_str("language"), $5, make_str("handler"), $7, $8); }
1387                 ;
1388
1389 opt_Trusted:    TRUSTED { $$ = make_str("trusted"); }
1390                 | /*EMPTY*/             { $$ = EMPTY; }
1391                 ;
1392
1393 /* This ought to be just func_name, but that causes reduce/reduce conflicts
1394  * (CREATE LANGUAGE is the only place where func_name isn't followed by '(').
1395  * Work around by using name and dotted_name separately.
1396  */
1397 handler_name: name
1398                                { $$ = $1; }
1399         | dotted_name
1400                                { $$ = $1; /* XXX changing soon */ }
1401                ;
1402
1403 opt_lancompiler: LANCOMPILER StringConst
1404                         { $$ = cat2_str(make_str("lancompiler"), $2); }
1405                 | /*EMPTY*/
1406                         { $$ = ""; }
1407                 ;
1408
1409 DropPLangStmt:  DROP opt_procedural LANGUAGE StringConst opt_drop_behavior
1410                         { $$ = cat_str(5, make_str("drop"), $2, make_str("language"), $4, $5); }
1411                 ;
1412
1413 opt_procedural: PROCEDURAL      { $$ = make_str("prcedural"); }
1414                 | /*EMPTY*/                     { $$ = EMPTY; }
1415                 ;
1416
1417 /*****************************************************************************
1418  *
1419  *              QUERIES :
1420  *                              CREATE TRIGGER ...
1421  *                              DROP TRIGGER ...
1422  *
1423  *****************************************************************************/
1424
1425 CreateTrigStmt:  CREATE TRIGGER name TriggerActionTime TriggerEvents ON
1426                                 qualified_name TriggerForSpec
1427                                 EXECUTE PROCEDURE
1428                                 name '(' TriggerFuncArgs ')'
1429                         { $$ = cat_str(12, make_str("create trigger"), $3, $4, $5, make_str("on"), $7, $8, make_str("execute procedure"), $11, make_str("("), $13, make_str(")")); }
1430                 |       CREATE CONSTRAINT TRIGGER name AFTER TriggerEvents ON
1431                                 qualified_name OptConstrFromTable
1432                                 ConstraintAttributeSpec
1433                                 FOR EACH ROW EXECUTE PROCEDURE
1434                                 func_name '(' TriggerFuncArgs ')'
1435                         { $$ = cat_str(13, make_str("create constraint trigger"), $4, make_str("after"), $6, make_str("on"), $8, $9, $10, make_str("for each row execute procedure"), $16, make_str("("), $18, make_str(")")); }
1436                 ;
1437
1438 TriggerActionTime:      BEFORE          { $$ = make_str("before"); }
1439                 | AFTER                                 { $$ = make_str("after"); }
1440                 ;
1441
1442 TriggerEvents:  TriggerOneEvent
1443                         { $$ = $1; }
1444                 | TriggerOneEvent OR TriggerOneEvent
1445                         { $$ = cat_str(3, $1, make_str("or"), $3); }
1446                 | TriggerOneEvent OR TriggerOneEvent OR TriggerOneEvent
1447                         { $$ = cat_str(5, $1, make_str("or"), $3, make_str("or"), $5); }
1448                 ;
1449
1450 TriggerOneEvent:  INSERT        { $$ = make_str("insert"); }
1451                 | DELETE_P                      { $$ = make_str("delete"); }
1452                 | UPDATE                        { $$ = make_str("update"); }
1453                 ;
1454
1455 TriggerForSpec:  FOR TriggerForOpt TriggerForType
1456                         { $$ = cat_str(3, make_str("for"), $2, $3); }
1457                 | /* EMPTY */
1458                         { $$ = EMPTY; }
1459                 ;
1460
1461 TriggerForOpt:  EACH            { $$ = make_str("each"); }
1462                 | /*EMPTY*/                     { $$ = EMPTY; }
1463                 ;
1464
1465 TriggerForType:  ROW            { $$ = make_str("row"); }
1466                 | STATEMENT                     { $$ = make_str("statement"); }
1467                 ;
1468
1469 TriggerFuncArgs:  TriggerFuncArg
1470                         { $$ = $1; }
1471                 | TriggerFuncArgs ',' TriggerFuncArg
1472                         { $$ = cat_str(3, $1, make_str(","), $3); }
1473                 | /*EMPTY*/
1474                         { $$ = EMPTY; }
1475                 ;
1476
1477 TriggerFuncArg:  PosAllConst    { $$ = $1; }
1478                 | ColId         { $$ = $1; }
1479                 ;
1480
1481 OptConstrFromTable: /* Empty */         { $$ = EMPTY; }
1482                 | FROM qualified_name   { $$ = cat2_str(make_str("from"), $2); }
1483                 ;
1484
1485 ConstraintAttributeSpec: ConstraintDeferrabilitySpec    { $$ = $1; }
1486                 | ConstraintDeferrabilitySpec ConstraintTimeSpec
1487                 {
1488                         if (strcmp($1, "deferrable") != 0 && strcmp($2, "initially deferrable") == 0 )
1489                                 mmerror(PARSE_ERROR, ET_ERROR, "INITIALLY DEFERRED constraint must be DEFERRABLE");
1490
1491                         $$ = cat2_str($1, $2);
1492                 }
1493                 | ConstraintTimeSpec            { $$ = $1; }
1494                 | ConstraintTimeSpec ConstraintDeferrabilitySpec
1495                 {
1496                         if (strcmp($2, "deferrable") != 0 && strcmp($1, "initially deferrable") == 0 )
1497                                 mmerror(PARSE_ERROR, ET_ERROR, "INITIALLY DEFERRED constraint must be DEFERRABLE");
1498
1499                         $$ = cat2_str($1, $2);
1500                 }
1501                 ;
1502
1503 ConstraintDeferrabilitySpec: NOT DEFERRABLE
1504                         { $$ = make_str("not deferrable"); }
1505                 | DEFERRABLE
1506                         { $$ = make_str("deferrable"); }
1507                 ;
1508
1509 ConstraintTimeSpec: INITIALLY IMMEDIATE
1510                         { $$ = make_str("initially immediate"); }
1511                 | INITIALLY DEFERRED
1512                         { $$ = make_str("initially deferred"); }
1513                 ;
1514
1515 DropTrigStmt:  DROP TRIGGER name ON qualified_name opt_drop_behavior
1516                         { $$ = cat_str(5, make_str("drop trigger"), $3, make_str("on"), $5, $6); }
1517                 ;
1518
1519 /*****************************************************************************
1520  *
1521  *             QUERIES :
1522  *                             CREATE ASSERTION ...
1523  *                             DROP ASSERTION ...
1524  *
1525  *****************************************************************************/
1526 CreateAssertStmt:  CREATE ASSERTION name
1527                        CHECK '(' a_expr ')' ConstraintAttributeSpec
1528                         {
1529                                 mmerror(PARSE_ERROR, ET_ERROR, "CREATE ASSERTION is not yet supported");
1530                                 $$ = cat_str(6, make_str("create assertion"), $3, make_str("check ("), $6, make_str(")"), $8);
1531                         }
1532                 ;
1533
1534 DropAssertStmt:  DROP ASSERTION name
1535         {
1536                 mmerror(PARSE_ERROR, ET_ERROR, "DROP ASSERTION is not yet supported");
1537                 $$ = cat2_str(make_str("drop assertion"), $3);
1538         }
1539         ;
1540
1541
1542 /*****************************************************************************
1543  *
1544  *              QUERY :
1545  *                              define (type,operator,aggregate)
1546  *
1547  *****************************************************************************/
1548
1549 DefineStmt:  CREATE AGGREGATE func_name definition
1550                         { $$ = cat_str(3, make_str("create aggregate"), $3, $4); }
1551                 | CREATE OPERATOR all_Op definition
1552                         { $$ = cat_str(3, make_str("create operator"), $3, $4); }
1553                 | CREATE TYPE_P any_name definition
1554                         { $$ = cat_str(3, make_str("create type"), $3, $4); }
1555                 | CREATE TYPE_P any_name AS rowdefinition
1556                         { $$ = cat_str(4, make_str("create type"), $3, make_str("as"), $5); }
1557                 ;
1558
1559 rowdefinition: '(' TableFuncElementList ')'
1560                         { $$ = cat_str(3, make_str("("), $2, make_str(")"));}
1561                 ;
1562
1563 definition:  '(' def_list ')'
1564                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
1565                 ;
1566
1567 def_list:  def_elem                                     { $$ = $1; }
1568                 | def_list ',' def_elem         { $$ = cat_str(3, $1, make_str(","), $3); }
1569                 ;
1570
1571 def_elem:  ColLabel '=' def_arg         { $$ = cat_str(3, $1, make_str("="), $3); }
1572                 | ColLabel                                      { $$ = $1; }
1573                 ;
1574
1575 /* Note: any simple identifier will be returned as a type name! */
1576 def_arg:  func_return                           {  $$ = $1; }
1577                 | qual_all_Op                                   {  $$ = $1; }
1578                 | AllConst                                      {  $$ = $1; }
1579                 ;
1580
1581 CreateOpClassStmt:      CREATE OPERATOR CLASS any_name opt_default FOR TYPE_P Typename
1582                         USING access_method AS opclass_item_list
1583                                 {
1584                                         $$ = cat_str(9, make_str("create operator class"), $4, $5, make_str("for type"), $8, make_str("using"), $10, make_str("as"), $12);
1585                                 }
1586                                 ;
1587
1588 opclass_item_list:      opclass_item            { $$ = $1; }
1589                         | opclass_item_list ',' opclass_item    { $$ = cat_str(3, $1, make_str(","), $3); }
1590                         ;
1591
1592 opclass_item:   OPERATOR PosIntConst any_operator opt_recheck
1593                         { $$ = cat_str(4, make_str("operator"), $2, $3, $4); }
1594                 | OPERATOR PosIntConst any_operator '(' oper_argtypes ')' opt_recheck
1595                         { $$ =  cat_str(7, make_str("operator"), $2, $3, make_str("("), $5, make_str(")"), $7); }
1596                 | FUNCTION PosIntConst func_name func_args
1597                         { $$ = cat_str(4, make_str("function"), $2, $3, $4); }
1598                 | STORAGE Typename
1599                         { $$ = cat2_str(make_str("storage"), $2); }
1600                 ;
1601
1602 opt_default:   DEFAULT  { $$ = make_str("default"); }
1603         |  /*EMPTY*/    { $$ = EMPTY; }
1604         ;
1605
1606 opt_recheck:   RECHECK  { $$ = make_str("recheck"); }
1607         |  /*EMPTY*/    { $$ = EMPTY; }
1608         ;
1609
1610 DropOpClassStmt: DROP OPERATOR CLASS any_name USING access_method opt_drop_behavior
1611                         { $$ = cat_str(5,make_str("drop operator class"), $4, make_str("using"), $6, $7); }
1612                 ;
1613
1614 /*****************************************************************************
1615  *
1616  *              QUERY:
1617  *
1618  *                         DROP itemtype itemname [, itemname ...]
1619  *
1620  *****************************************************************************/
1621
1622 DropStmt:  DROP drop_type any_name_list opt_drop_behavior
1623                         { $$ = cat_str(4, make_str("drop"), $2, $3, $4); }
1624                 ;
1625
1626 drop_type:      TABLE           { $$ = make_str("table"); }
1627                 | SEQUENCE              { $$ = make_str("sequence"); }
1628                 | VIEW                  { $$ = make_str("view"); }
1629                 | INDEX                 { $$ = make_str("index"); }
1630                 | TYPE_P                { $$ = make_str("type"); }
1631                 | DOMAIN_P              { $$ = make_str("domain"); }
1632                 | CONVERSION_P          { $$ = make_str("conversion"); }
1633                 | SCHEMA                { $$ = make_str("schema"); }
1634                 ;
1635
1636 any_name_list:  any_name
1637                        { $$ = $1; }
1638                | any_name_list ',' any_name
1639                        { $$ = cat_str(3, $1, make_str(","), $3); }
1640                ;
1641
1642 any_name: ColId
1643                        { $$ = $1; }
1644                | dotted_name
1645                        { $$ = $1; }
1646                 ;
1647 /*****************************************************************************
1648  *
1649  *                         QUERY:
1650  *                                                         truncate table relname
1651  *
1652  *****************************************************************************/
1653 TruncateStmt:  TRUNCATE opt_table qualified_name
1654                         { $$ = cat_str(3, make_str("truncate table"), $2, $3); }
1655                 ;
1656
1657 /*****************************************************************************
1658  *
1659  *              QUERY:
1660  *                                         fetch/move [forward | backward] [ # | all ] [ in <portalname> ]
1661  *                                         fetch [ forward | backward | absolute | relative ]
1662  *                                                       [ # | all | next | prior ] [ [ in | from ] <portalname> ]
1663  *
1664  *****************************************************************************/
1665
1666 FetchStmt: FETCH direction fetch_how_many from_in name ecpg_into
1667                         { $$ = cat_str(5, make_str("fetch"), $2, $3, $4, $5); }
1668                 | FETCH fetch_how_many from_in name ecpg_into
1669                         { $$ = cat_str(4, make_str("fetch"), $2, $3, $4); }
1670                 | FETCH direction from_in name ecpg_into
1671                         { $$ = cat_str(4, make_str("fetch"), $2, $3, $4); }
1672                 | FETCH from_in name ecpg_into
1673                         { $$ = cat_str(3, make_str("fetch"), $2, $3); }
1674                 | FETCH name ecpg_into
1675                         { $$ = cat2_str(make_str("fetch"), $2); }
1676                 | MOVE direction fetch_how_many from_in name
1677                         { $$ = cat_str(5, make_str("move"), $2, $3, $4, $5); }
1678                 | MOVE fetch_how_many from_in name
1679                         { $$ = cat_str(4, make_str("move"), $2, $3, $4); }
1680                 | MOVE direction from_in name
1681                         { $$ = cat_str(4, make_str("move"), $2, $3, $4); }
1682                 | MOVE from_in name
1683                         { $$ = cat_str(3, make_str("move"), $2, $3); }
1684                 | MOVE name
1685                         { $$ = cat2_str(make_str("move"), $2); }
1686                 ;
1687
1688 direction:      FORWARD         { $$ = make_str("forward"); }
1689                 | BACKWARD              { $$ = make_str("backward"); }
1690                 | RELATIVE              { $$ = make_str("relative"); }
1691                 | ABSOLUTE
1692                 {
1693                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported FETCH/ABSOLUTE will be passed to backend, backend will use RELATIVE");
1694                         $$ = make_str("absolute");
1695                 }
1696                 ;
1697
1698 fetch_how_many: IntConst        { $$ = $1; }
1699                 | ALL           { $$ = make_str("all"); }
1700                 | NEXT          { $$ = make_str("next"); }
1701                 | PRIOR         { $$ = make_str("prior"); }
1702                 ;
1703
1704 from_in: IN_P                           { $$ = make_str("in"); }
1705                 | FROM                          { $$ = make_str("from"); }
1706                 ;
1707
1708 /*****************************************************************************
1709  *
1710  *      The COMMENT ON statement can take different forms based upon the type of
1711  *      the object associated with the comment. The form of the statement is:
1712  *
1713  *      COMMENT ON [ [ DATABASE | DOMAIN | INDEX |  SEQUENCE | TABLE | TYPE | VIEW ]
1714  *                               <objname> | AGGREGATE <aggname> (<aggtype>) | FUNCTION
1715  *                              <funcname> (arg1, arg2, ...) | OPERATOR <op>
1716  *                              (leftoperand_typ rightoperand_typ) | TRIGGER <triggername> ON
1717  *                              <relname> | RULE <rulename> ON <relname> ] IS 'text'
1718  *
1719  *****************************************************************************/
1720 CommentStmt:   COMMENT ON comment_type name IS comment_text
1721                         { $$ = cat_str(5, make_str("comment on"), $3, $4, make_str("is"), $6); }
1722                 | COMMENT ON AGGREGATE func_name '(' aggr_argtype ')' IS comment_text
1723                         { $$ = cat_str(6, make_str("comment on aggregate"), $4, make_str("("), $6, make_str(") is"), $9); }
1724                 | COMMENT ON FUNCTION func_name func_args IS comment_text
1725                         { $$ = cat_str(5, make_str("comment on function"), $4, $5, make_str("is"), $7); }
1726                 | COMMENT ON OPERATOR all_Op '(' oper_argtypes ')' IS comment_text
1727                         { $$ = cat_str(6, make_str("comment on operator"), $4, make_str("("), $6, make_str(") is"), $9); }
1728                 | COMMENT ON TRIGGER name ON any_name IS comment_text
1729                         { $$ = cat_str(6, make_str("comment on trigger"), $4, make_str("on"), $6, make_str("is"), $8); }
1730                 | COMMENT ON RULE name ON any_name IS comment_text
1731                         { $$ = cat_str(6, make_str("comment on rule"), $4, make_str("on"), $6, make_str("is"), $8); }
1732                 | COMMENT ON RULE name IS comment_text
1733                         { $$ = cat_str(4, make_str("comment on rule"), $4, make_str("is"), $6); }
1734                 ;
1735
1736 comment_type:  COLUMN           { $$ = make_str("column"); }
1737                 | DATABASE      { $$ = make_str("database"); }
1738                 | SCHEMA        { $$ = make_str("schema"); }
1739                 | INDEX         { $$ = make_str("idnex"); }
1740                 | SEQUENCE      { $$ = make_str("sequence"); }
1741                 | TABLE         { $$ = make_str("table"); }
1742                 | DOMAIN_P      { $$ = make_str("domain"); }
1743                 | TYPE_P        { $$ = make_str("type"); }
1744                 | VIEW          { $$ = make_str("view"); }
1745                 ;
1746
1747 comment_text:   StringConst { $$ = $1; }
1748                 | NULL_P                        { $$ = make_str("null"); }
1749                 ;
1750
1751 /*****************************************************************************
1752  *
1753  *              QUERY:
1754  * GRANT and REVOKE statements
1755  *
1756  *****************************************************************************/
1757
1758 GrantStmt:      GRANT privileges ON privilege_target TO grantee_list opt_grant_grant_option
1759                         { $$ = cat_str(7, make_str("grant"), $2, make_str("on"), $4, make_str("to"), $6, $7); }
1760                 ;
1761
1762 RevokeStmt:  REVOKE opt_revoke_grant_option privileges ON privilege_target FROM grantee_list opt_drop_behavior
1763                         {
1764                           $$ = cat_str(9, make_str("revoke"), $2, $3, make_str("on"), $5, make_str("from"), $7, $8);
1765                         }
1766
1767                 ;
1768
1769 privileges:  ALL PRIVILEGES             { $$ = make_str("all privileges"); }
1770                 | ALL                                   { $$ = make_str("all"); }
1771                 | privilege_list                { $$ = $1; }
1772                 ;
1773
1774 privilege_list:  privilege
1775                         { $$ = $1; }
1776                 | privilege_list ',' privilege
1777                         { $$ = cat_str(3, $1, make_str(","), $3); }
1778                 ;
1779
1780 privilege:      SELECT                  { $$ = make_str("select"); }
1781                 | INSERT                        { $$ = make_str("insert"); }
1782                 | UPDATE                        { $$ = make_str("update"); }
1783                 | DELETE_P                      { $$ = make_str("delete"); }
1784                 | RULE                          { $$ = make_str("rule"); }
1785                 | REFERENCES            { $$ = make_str("references"); }
1786                 | TRIGGER                       { $$ = make_str("trigger"); }
1787                 | EXECUTE                       { $$ = make_str("execute"); }
1788                 | USAGE                         { $$ = make_str("usage"); }
1789                 | CREATE                        { $$ = make_str("create"); }
1790                 | TEMPORARY                     { $$ = make_str("temporary"); }
1791                 | TEMP                          { $$ = make_str("temp"); }
1792                 ;
1793
1794 privilege_target: qualified_name_list
1795                         { $$ = $1; }
1796                 | TABLE qualified_name_list
1797                         { $$ = cat2_str(make_str("table"), $2); }
1798                 | FUNCTION function_with_argtypes_list
1799                         { $$ = cat2_str(make_str("function"), $2); }
1800                 | DATABASE name_list
1801                         { $$ = cat2_str(make_str("database"), $2); }
1802                 | LANGUAGE name_list
1803                         { $$ = cat2_str(make_str("language") , $2); }
1804                 | SCHEMA name_list
1805                         { $$ = cat2_str(make_str("schema") , $2); }
1806                 ;
1807
1808 grantee_list: grantee
1809                         { $$ = $1; }
1810                 | grantee_list ',' grantee
1811                         { $$ = cat_str(3, $1, make_str(","), $3); }
1812                 ;
1813
1814 grantee:  ColId                 { $$ = $1; }
1815                 | GROUP_P ColId         { $$ = cat2_str(make_str("group"), $2); }
1816                 ;
1817
1818 opt_grant_grant_option:  WITH GRANT OPTION
1819                 {
1820                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported GRANT/WITH GRANT OPTION will be passed to backend");
1821                         $$ = make_str("with grant option");
1822                 }
1823                 | /*EMPTY*/     { $$ = EMPTY; }
1824                 ;
1825
1826 opt_revoke_grant_option: GRANT OPTION FOR
1827                 {
1828                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported REVOKE/GRANT OPTION FOR will be passed to backend");
1829                         $$ = make_str("with grant option");
1830                 }
1831                 | /*EMPTY*/     { $$ = EMPTY; }
1832                 ;
1833
1834 function_with_argtypes_list: function_with_argtypes
1835                         { $$ = $1; }
1836                 | function_with_argtypes_list ',' function_with_argtypes
1837                         { $$ = cat_str(3, $1, make_str(","), $3); }
1838                 ;
1839
1840 function_with_argtypes: func_name func_args { $$ = cat2_str($1, $2); };
1841
1842 /*****************************************************************************
1843  *
1844  *              QUERY:
1845  *                              create index <indexname> on <relname>
1846  *                                [ using <access> ] "(" (<col> with <op>)+ ")"
1847  *                                [ where <predicate> ]
1848  *
1849  *****************************************************************************/
1850
1851 IndexStmt:      CREATE index_opt_unique INDEX index_name ON qualified_name
1852                                 access_method_clause '(' index_params ')' where_clause
1853                         { $$ = cat_str(11, make_str("create"), $2, make_str("index"), $4, make_str("on"), $6, $7, make_str("("), $9, make_str(")"), $11); }
1854                 ;
1855
1856 index_opt_unique:  UNIQUE       { $$ = make_str("unique"); }
1857                 | /*EMPTY*/             { $$ = EMPTY; }
1858                 ;
1859
1860 access_method_clause:  USING access_method
1861                         { $$ = cat2_str(make_str("using"), $2); }
1862                 | /*EMPTY*/
1863                         { $$ = EMPTY; }
1864                 ;
1865
1866 index_params:  index_list       { $$ = $1; }
1867                 | func_index            { $$ = $1; }
1868                 ;
1869
1870 index_list:  index_list ',' index_elem
1871                         { $$ = cat_str(3, $1, make_str(","), $3); }
1872                 | index_elem
1873                         { $$ = $1; }
1874                 ;
1875
1876 func_index:  func_name '(' name_list ')' opt_class
1877                         { $$ = cat_str(5, $1, make_str("("), $3, ")", $5); }
1878                 ;
1879
1880 index_elem:  attr_name opt_class
1881                         { $$ = cat2_str($1, $2); }
1882                 ;
1883
1884 opt_class:      any_name        { $$ = $1; }
1885                 | USING any_name        { $$ = cat2_str(make_str("using"), $2); }
1886                 | /*EMPTY*/             { $$ = EMPTY; }
1887                 ;
1888
1889 CreateFunctionStmt:     CREATE opt_or_replace FUNCTION func_name func_args
1890                                         RETURNS func_return createfunc_opt_list opt_definition
1891                         { $$ = cat_str(8, make_str("create"), $2, make_str("function"), $4, $5, make_str("returns"), $7, $8); }
1892                 ;
1893
1894 opt_or_replace:  OR REPLACE             { $$ = make_str("or replace"); }
1895                 | /*EMPTY*/                             { $$ = EMPTY; }
1896                 ;
1897
1898 func_args:      '(' func_args_list ')'
1899                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
1900                 | '(' ')'
1901                         { $$ = make_str("()"); }
1902                 ;
1903
1904 func_args_list:  func_arg
1905                         { $$ = $1; }
1906                 | func_args_list ',' func_arg
1907                         { $$ = cat_str(3, $1, make_str(","), $3); }
1908                 ;
1909
1910 func_arg:  opt_arg func_type
1911                 {
1912                         /* We can catch over-specified arguments here if we want to,
1913                          * but for now better to silently swallow typmod, etc.
1914                          * - thomas 2000-03-22
1915                          */
1916                         $$ = cat2_str($1, $2);
1917                 }
1918                 | func_type             { $$ = $1; }
1919                 ;
1920
1921 opt_arg:  IN_P  { $$ = make_str("in"); }
1922                 | OUT_P
1923                 {
1924                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported CREATE FUNCTION/OUT will be passed to backend");
1925
1926                         $$ = make_str("out");
1927                 }
1928                 | INOUT
1929                 {
1930                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported CREATE FUNCTION/INOUT will be passed to backend");
1931
1932                         $$ = make_str("inout");
1933                 }
1934                 ;
1935
1936 func_as: StringConst
1937                         { $$ = $1; }
1938                 | StringConst ',' StringConst
1939                         { $$ = cat_str(3, $1, make_str(","), $3); }
1940                 ;
1941
1942 func_return:  func_type
1943                 {
1944                         /* We can catch over-specified arguments here if we want to,
1945                          * but for now better to silently swallow typmod, etc.
1946                          * - thomas 2000-03-22
1947                          */
1948                         $$ = $1;
1949                 }
1950                 ;
1951
1952 func_type:      Typename
1953                         { $$ = $1; }
1954                 | type_name attrs '%' TYPE_P
1955                         { $$ = cat_str(3, $1, $2, make_str("% type")); }
1956                 ;
1957
1958
1959 createfunc_opt_list: createfunc_opt_item
1960                         { $$ = $1; }
1961                 | createfunc_opt_list createfunc_opt_item
1962                         { $$ = cat2_str($1, $2); }
1963                 ;
1964
1965 createfunc_opt_item: AS func_as
1966                                 { $$ = cat2_str(make_str("as"), $2); }
1967                 | LANGUAGE ColId_or_Sconst
1968                                 { $$ = cat2_str(make_str("language"), $2); }
1969                 | IMMUTABLE
1970                                 { $$ = make_str("immutable"); }
1971                 | STABLE
1972                                 { $$ = make_str("stable"); }
1973                 | VOLATILE
1974                                 { $$ = make_str("volatile"); }
1975                 | CALLED ON NULL_P INPUT
1976                                 { $$ = make_str("called on null input"); }
1977                 | RETURNS NULL_P ON NULL_P INPUT
1978                                 { $$ = make_str("returns null on null input"); }
1979                 | STRICT
1980                                 { $$ = make_str("strict"); }
1981                 | EXTERNAL SECURITY DEFINER
1982                                 { $$ = make_str("external security definer"); }
1983                 | EXTERNAL SECURITY INVOKER
1984                                 { $$ = make_str("external security invoker"); }
1985                 | SECURITY DEFINER
1986                                 { $$ = make_str("security definer"); }
1987                 | SECURITY INVOKER
1988                                 { $$ = make_str("security invoker"); }
1989                 ;
1990
1991 opt_definition: WITH definition { $$ = cat2_str(make_str("with"), $2); }
1992                 | /*EMPTY*/     { $$ = EMPTY; }
1993                 ;
1994
1995 /*****************************************************************************
1996  *
1997  *              QUERY:
1998  *
1999  *                         DROP FUNCTION funcname (arg1, arg2, ...)
2000  *                         DROP AGGREGATE aggname (aggtype)
2001  *                         DROP OPERATOR opname (leftoperand_typ rightoperand_typ)
2002  *
2003  *****************************************************************************/
2004
2005 RemoveFuncStmt:  DROP FUNCTION func_name func_args opt_drop_behavior
2006                         { $$ = cat_str(4, make_str("drop function"), $3, $4, $5); }
2007                 ;
2008
2009 RemoveAggrStmt:  DROP AGGREGATE func_name '(' aggr_argtype ')' opt_drop_behavior
2010                         { $$ = cat_str(6, make_str("drop aggregate"), $3, make_str("("), $5, make_str(")"), $7); }
2011                 ;
2012
2013 aggr_argtype:  Typename         { $$ = $1; }
2014                 | '*'                           { $$ = make_str("*"); }
2015                 ;
2016
2017
2018 RemoveOperStmt:  DROP OPERATOR all_Op '(' oper_argtypes ')' opt_drop_behavior
2019                         { $$ = cat_str(6, make_str("drop operator"), $3, make_str("("), $5, make_str(")"), $7); }
2020                 ;
2021
2022 oper_argtypes:  Typename
2023                         { mmerror(PARSE_ERROR, ET_ERROR, "parser: argument type missing (use NONE for unary operators)"); }
2024                 | Typename ',' Typename
2025                         { $$ = cat_str(3, $1, make_str(","), $3); }
2026                 | NONE ',' Typename                     /* left unary */
2027                         { $$ = cat2_str(make_str("none,"), $3); }
2028                 | Typename ',' NONE                     /* right unary */
2029                         { $$ = cat2_str($1, make_str(", none")); }
2030                 ;
2031
2032 any_operator:
2033                         all_Op
2034                                 { $$ = $1; }
2035                         | ColId '.' any_operator
2036                                 { $$ = cat_str(3, $1, make_str("."), $3); }
2037                         ;
2038
2039 CreateCastStmt:         CREATE CAST '(' Typename AS Typename ')'
2040                                 WITH FUNCTION function_with_argtypes cast_context
2041                         { $$ = cat_str(6, make_str("create cast ("), $4, make_str("as"), $6, make_str(") with function"), $10); }
2042                         | CREATE CAST '(' Typename AS Typename ')'
2043                                 WITHOUT FUNCTION cast_context
2044                         { $$ = cat_str(6, make_str("create cast ("), $4, make_str("as"), $6, make_str(") without function"), $10); }
2045                 ;
2046
2047 cast_context: AS ASSIGNMENT   { $$ = make_str("as assignment"); }
2048                 | /*EMPTY*/     { $$ = EMPTY; }
2049                 ;
2050
2051
2052 DropCastStmt: DROP CAST '(' Typename AS Typename ')' opt_drop_behavior
2053                         { $$ = cat_str(6, make_str("drop cast ("), $4, make_str("as"), $6, make_str(")"), $8); }
2054                 ;
2055
2056 /*****************************************************************************
2057  *
2058  *                              QUERY:
2059  *
2060  *                              REINDEX type <typename> [FORCE] [ALL]
2061  *
2062  *****************************************************************************/
2063 ReindexStmt:  REINDEX reindex_type qualified_name opt_force
2064                         { $$ = cat_str(4, make_str("reindex"), $2, $3, $4); }
2065                 | REINDEX DATABASE name opt_force
2066                         { $$ = cat_str(3, make_str("reindex database"), $3, $4); }
2067                 ;
2068
2069 reindex_type:   INDEX           { $$ = make_str("index"); }
2070                 | TABLE         { $$ = make_str("table"); }
2071                 ;
2072
2073 opt_force: FORCE                        { $$ = make_str("force"); }
2074                 | /* EMPTY */           { $$ = EMPTY; }
2075                 ;
2076
2077 /*****************************************************************************
2078  *
2079  *              QUERY:
2080  *                              rename <attrname1> in <relname> [*] to <attrname2>
2081  *                              rename <relname1> to <relname2>
2082  *
2083  *****************************************************************************/
2084
2085 RenameStmt:  ALTER TABLE relation_expr RENAME opt_column opt_name TO name
2086                         { $$ = cat_str(7, make_str("alter table"), $3, make_str("rename"), $5, $6, make_str("to"), $8); }
2087         | ALTER TRIGGER name ON relation_expr RENAME TO name
2088                         { $$ = cat_str(6, make_str("alter trigger"), $3, make_str("on"), $5, make_str("rename to"), $8); }
2089                 ;
2090
2091 opt_name:  name                         { $$ = $1; }
2092                 | /*EMPTY*/                     { $$ = EMPTY; }
2093                 ;
2094
2095 opt_column:  COLUMN                     { $$ = make_str("column"); }
2096                 | /*EMPTY*/                     { $$ = EMPTY; }
2097                 ;
2098
2099
2100 /*****************************************************************************
2101  *
2102  *              QUERY:  Define Rewrite Rule
2103  *
2104  *****************************************************************************/
2105
2106 RuleStmt:  CREATE opt_or_replace RULE name AS
2107                    { QueryIsRule=1; }
2108                    ON event TO qualified_name where_clause
2109                    DO opt_instead RuleActionList
2110                 {
2111                         QueryIsRule=0;
2112                         $$ = cat_str(12, make_str("create"), $2, make_str("rule"), $4, make_str("as on"), $8, make_str("to"), $10, $11, make_str("do"), $13, $14);
2113                 }
2114                 ;
2115
2116 RuleActionList:  NOTHING                                { $$ = make_str("nothing"); }
2117                 | RuleActionStmt                                { $$ = $1; }
2118                 | '(' RuleActionMulti ')'               { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
2119                                 ;
2120
2121 /* the thrashing around here is to discard "empty" statements... */
2122 RuleActionMulti:  RuleActionMulti ';' RuleActionStmtOrEmpty
2123                         {  $$ = cat_str(3, $1, make_str(";"), $3); }
2124                 | RuleActionStmtOrEmpty
2125                         { $$ = cat2_str($1, make_str(";")); }
2126                 ;
2127
2128 RuleActionStmt:   SelectStmt
2129                 | InsertStmt
2130                 | UpdateStmt
2131                 | DeleteStmt
2132                 | NotifyStmt
2133                 ;
2134
2135 RuleActionStmtOrEmpty: RuleActionStmt   { $$ = $1; }
2136            | /*EMPTY*/                                          { $$ = EMPTY; }
2137            ;
2138
2139 /* change me to select, update, etc. some day */
2140 event:  SELECT                          { $$ = make_str("select"); }
2141                 | UPDATE                        { $$ = make_str("update"); }
2142                 | DELETE_P                      { $$ = make_str("delete"); }
2143                 | INSERT                        { $$ = make_str("insert"); }
2144                  ;
2145
2146 opt_instead:  INSTEAD           { $$ = make_str("instead"); }
2147                 | /*EMPTY*/                     { $$ = EMPTY; }
2148                 ;
2149
2150 DropRuleStmt:  DROP RULE name ON qualified_name opt_drop_behavior
2151                 { $$ = cat_str(5, make_str("drop rule"), $3, make_str("on"), $5, $6);}
2152                 ;
2153
2154 /*****************************************************************************
2155  *
2156  *              QUERY:
2157  *                              NOTIFY <qualified_name> can appear both in rule bodies and
2158  *                              as a query-level command
2159  *
2160  *****************************************************************************/
2161
2162 NotifyStmt:  NOTIFY qualified_name
2163                 { $$ = cat2_str(make_str("notify"), $2); }
2164                 ;
2165
2166 ListenStmt:  LISTEN qualified_name
2167                 { $$ = cat2_str(make_str("listen"), $2); }
2168                 ;
2169
2170 UnlistenStmt:  UNLISTEN qualified_name
2171                         { $$ = cat2_str(make_str("unlisten"), $2); }
2172                 | UNLISTEN '*'
2173                         { $$ = make_str("unlisten *"); }
2174                 ;
2175
2176
2177 /*****************************************************************************
2178  *
2179  *                              Transactions:
2180  *
2181  *        BEGIN / COMMIT / ROLLBACK
2182  *              (also older versions END / ABORT)
2183  *
2184  *****************************************************************************/
2185 TransactionStmt:  ABORT_P opt_transaction               { $$ = make_str("rollback"); }
2186                 | BEGIN_P opt_transaction               { $$ = make_str("begin transaction"); }
2187                 | START TRANSACTION transaction_mode_list_or_empty      { $$ = cat2_str(make_str("start transaction"), $3); }
2188                 | COMMIT opt_transaction                { $$ = make_str("commit"); }
2189                 | END_P opt_transaction         { $$ = make_str("commit"); }
2190                 | ROLLBACK opt_transaction              { $$ = make_str("rollback"); }
2191                 ;
2192
2193 opt_transaction: WORK                   { $$ = EMPTY; }
2194                 | TRANSACTION   { $$ = EMPTY; }
2195                 | /*EMPTY*/             { $$ = EMPTY; }
2196                 ;
2197
2198 transaction_mode_list:
2199         ISOLATION LEVEL iso_level
2200         { $$ = cat2_str(make_str("isolation level"), $3); }
2201         | transaction_access_mode
2202         { $$ = $1; }
2203         | ISOLATION LEVEL iso_level transaction_access_mode
2204         { $$ = cat_str(3, make_str("isolation level"), $3, $4); }
2205         | transaction_access_mode ISOLATION LEVEL iso_level
2206         { $$ = cat_str(3, $1, make_str("isolation level"), $4); }
2207         ;
2208
2209 transaction_mode_list_or_empty:
2210         transaction_mode_list   { $$ = $1; }
2211         | /* EMPTY */           { $$ = EMPTY; }
2212         ;
2213
2214 transaction_access_mode:
2215         READ ONLY       { $$ = make_str("read only"); }
2216         | READ WRITE    { $$ = make_str("read write"); }
2217         ;
2218
2219 /*****************************************************************************
2220  *
2221  *              QUERY:
2222  *                              define view <viewname> '('target-list ')' [where <quals> ]
2223  *
2224  *****************************************************************************/
2225
2226 ViewStmt:  CREATE opt_or_replace VIEW qualified_name opt_column_list AS SelectStmt
2227                         { $$ = cat_str(7, make_str("create"), $2, make_str("view"), $4, $5, make_str("as"), $7); }
2228                 ;
2229
2230
2231 /*****************************************************************************
2232  *
2233  *              QUERY:
2234  *                              load make_str("filename")
2235  *
2236  *****************************************************************************/
2237
2238 LoadStmt:  LOAD file_name
2239                         { $$ = cat2_str(make_str("load"), $2); }
2240                 ;
2241
2242
2243 /*****************************************************************************
2244  *
2245  *              CREATE DATABASE
2246  *
2247  *
2248  *****************************************************************************/
2249
2250 CreatedbStmt:  CREATE DATABASE database_name WITH createdb_opt_list
2251                         { $$ = cat_str(4, make_str("create database"), $3, make_str("with"), $5); }
2252                 | CREATE DATABASE database_name
2253                         { $$ = cat2_str(make_str("create database"), $3); }
2254                 ;
2255
2256 createdb_opt_list:      createdb_opt_item
2257                         { $$ = $1; }
2258                 | createdb_opt_list createdb_opt_item
2259                         { $$ = cat2_str($1, $2); }
2260                 ;
2261
2262 createdb_opt_item:      LOCATION opt_equal StringConst
2263                         { $$ = cat_str(3,make_str("location"), $2, $3); }
2264                 | LOCATION opt_equal DEFAULT
2265                         { $$ = cat_str(3, make_str("location"), $2, make_str("default")); }
2266                 | TEMPLATE opt_equal name
2267                         { $$ = cat_str(3, make_str("template"), $2, $3); }
2268                 | TEMPLATE opt_equal DEFAULT
2269                         { $$ = cat_str(3, make_str("template"), $2, make_str("default")); }
2270                 | ENCODING opt_equal PosIntStringConst
2271                         { $$ = cat_str(3, make_str("encoding"), $2, $3); }
2272                 | ENCODING opt_equal DEFAULT
2273                         { $$ = cat_str(3, make_str("encoding"), $2, make_str("default")); }
2274                 | OWNER opt_equal name
2275                         { $$ = cat_str(3, make_str("owner"), $2, $3); }
2276                 | OWNER opt_equal DEFAULT
2277                         { $$ = cat_str(3, make_str("owner"), $2, make_str("default")); }
2278                 ;
2279
2280 opt_equal: '='                                  { $$ = make_str("="); }
2281                 | /* EMPTY */                   { $$ = EMPTY; }
2282                 ;
2283
2284
2285 /*****************************************************************************
2286  *
2287  *                              ALTER DATABASE
2288  *
2289  *
2290  *****************************************************************************/
2291
2292 AlterDatabaseSetStmt: ALTER DATABASE database_name SET set_rest
2293                         { $$ = cat_str(4, make_str("alter database"), $3, make_str("set"), $5); }
2294                 | ALTER DATABASE database_name VariableResetStmt
2295                         { $$ = cat_str(3, make_str("alter database"), $3, $4); }
2296                 ;
2297
2298 /*****************************************************************************
2299  *
2300  *              DROP DATABASE
2301  *
2302  *
2303  *****************************************************************************/
2304
2305 DropdbStmt: DROP DATABASE database_name
2306                         { $$ = cat2_str(make_str("drop database"), $3); }
2307                 ;
2308
2309
2310 /*****************************************************************************
2311  *
2312  * Manipulate a domain
2313  *
2314  *****************************************************************************/
2315
2316 CreateDomainStmt:  CREATE DOMAIN_P any_name opt_as Typename ColQualList opt_collate
2317                         {
2318                                 $$ = cat_str(6, make_str("create domain"), $3, $4, $5, $6, $7);
2319                         }
2320                 ;
2321
2322 AlterDomainStmt:
2323         ALTER DOMAIN_P any_name alter_column_default
2324                 { $$ = cat_str(3, make_str("alter domain"), $3, $4); }
2325         | ALTER DOMAIN_P any_name DROP NOT NULL_P
2326                 { $$ = cat_str(3, make_str("alter domain"), $3, make_str("drop not null")); }
2327         | ALTER DOMAIN_P any_name SET NOT NULL_P
2328                 { $$ = cat_str(3, make_str("alter domain"), $3, make_str("set not null")); }
2329         | ALTER DOMAIN_P any_name ADD TableConstraint
2330                 { $$ = cat_str(4, make_str("alter domain"), $3, make_str("add"), $5); }
2331         | ALTER DOMAIN_P any_name DROP CONSTRAINT name opt_drop_behavior
2332                 { $$ = cat_str(5, make_str("alter domain"), $3, make_str("drop constraint"), $6, $7); }
2333         | ALTER DOMAIN_P any_name OWNER TO UserId
2334                 { $$ = cat_str(4, make_str("alter domain"), $3, make_str("owner to"), $6); }
2335         ;
2336
2337 opt_as: AS      {$$ = make_str("as"); }
2338         | /* EMPTY */   {$$ = EMPTY; }
2339         ;
2340
2341 CreateConversionStmt:
2342                        CREATE opt_default CONVERSION_P any_name FOR StringConst
2343                        TO StringConst FROM any_name
2344                        { $$ = cat_str(10, make_str("create"), $2, make_str("conversion"), $4, make_str("for"), $6, make_str("to"), $8, make_str("from"), $10); }
2345                        ;
2346
2347 /*****************************************************************************
2348  *
2349  *              QUERY:
2350  *                             cluster <index_name> on <qualified_name>
2351  *                             cluster <qualified_name>
2352  *                             cluster
2353  *
2354  *****************************************************************************/
2355
2356 ClusterStmt:  CLUSTER index_name ON qualified_name
2357                         { $$ = cat_str(4, make_str("cluster"), $2, make_str("on"), $4); }
2358         | CLUSTER qualified_name
2359                         { $$ = cat2_str(make_str("cluster"), $2); }
2360         | CLUSTER
2361                         { $$ = make_str("cluster"); }
2362         ;
2363
2364
2365 /*****************************************************************************
2366  *
2367  *              QUERY:
2368  *                              vacuum
2369  *                              analyze
2370  *
2371  *****************************************************************************/
2372
2373 VacuumStmt:  VACUUM opt_full opt_freeze opt_verbose
2374                         { $$ = cat_str(4, make_str("vacuum"), $2, $3, $4); }
2375                 | VACUUM opt_full opt_freeze opt_verbose qualified_name
2376                         { $$ = cat_str(5, make_str("vacuum"), $2, $3, $4, $5); }
2377                 | VACUUM opt_full opt_freeze opt_verbose AnalyzeStmt
2378                         { $$ = cat_str(5, make_str("vacuum"), $2, $3, $4, $5); }
2379                 ;
2380
2381 AnalyzeStmt:  analyze_keyword opt_verbose
2382                         { $$ = cat_str(2, $1, $2); }
2383                 | analyze_keyword opt_verbose qualified_name opt_name_list
2384                         { $$ = cat_str(4, $1, $2, $3, $4); }
2385                 ;
2386
2387 analyze_keyword:  ANALYZE               { $$ = make_str("analyze"); }
2388                 | ANALYSE                               { $$ = make_str("analyse"); }
2389                 ;
2390
2391 opt_verbose:  VERBOSE                   { $$ = make_str("verbose"); }
2392                 | /*EMPTY*/                             { $$ = EMPTY; }
2393                 ;
2394
2395 opt_full:  FULL                                 { $$ = make_str("full"); }
2396                 | /*EMPTY*/                             { $$ = EMPTY; }
2397                 ;
2398
2399 opt_freeze:  FREEZE                             { $$ = make_str("freeze"); }
2400                 | /*EMPTY*/                             { $$ = EMPTY; }
2401                 ;
2402
2403 opt_name_list:  '(' name_list ')'
2404                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
2405                 | /*EMPTY*/
2406                         { $$ = EMPTY; }
2407                 ;
2408
2409
2410 /*****************************************************************************
2411  *
2412  *              QUERY:
2413  *                              EXPLAIN query
2414  *
2415  *****************************************************************************/
2416
2417 ExplainStmt:  EXPLAIN opt_analyze opt_verbose OptimizableStmt
2418                         { $$ = cat_str(4, make_str("explain"), $2, $3, $4); }
2419 /*              | EXPLAIN opt_analyze opt_verbose ExecuteStmt
2420                         { $$ = cat_str(4, make_str("explain"), $2, $3, $4); }*/
2421                 ;
2422
2423 opt_analyze:
2424         analyze_keyword                 { $$ = $1; }
2425         | /* EMPTY */                   { $$ = EMPTY; }
2426         ;
2427
2428 /*
2429
2430 conflicts with ecpg
2431
2432 PrepareStmt: PREPARE name prep_type_clause AS OptimizableStmt
2433                 { $$ = cat_str(5, make_str("prepare"), $2, $3, make_str("as"), $5); }
2434                 ;
2435
2436 prep_type_clause: '(' prep_type_list ')'        { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
2437                         | /* EMPTY * /          { $$ = EMPTY; }
2438                         ;
2439
2440 prep_type_list: Typename                { $$ = $1; }
2441         | prep_type_list ',' Typename   { $$ = cat_str(3, $1, make_str(","), $3); }
2442         ;
2443
2444 ExecuteStmt: EXECUTE name execute_param_clause into_clause
2445                 { $$ = cat_str(4, make_str("execute"), $2, $3, $4); }
2446                 ;
2447
2448 execute_param_clause: '(' expr_list ')' { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
2449                         | /* EMPTY * /          { $$ = EMPTY; }
2450                         ;
2451
2452 DeallocateStmt: DEALLOCATE name         { $$ = cat2_str(make_str("deallocate"), $2); }
2453         | DEALLOCATE PREPARE name       { $$ = cat2_str(make_str("deallocate prepare"), $3); }
2454         ;
2455 */
2456
2457 /*****************************************************************************
2458  *                                                                                                                                                       *
2459  *              Optimizable Stmts:                                                                                                       *
2460  *                                                                                                                                                       *
2461  *              one of the five queries processed by the planner                                         *
2462  *                                                                                                                                                       *
2463  *              [ultimately] produces query-trees as specified                                           *
2464  *              in the query-spec document in ~postgres/ref                                                      *
2465  *                                                                                                                                                       *
2466  *****************************************************************************/
2467
2468 OptimizableStmt:  SelectStmt
2469                 | CursorStmt
2470                 | UpdateStmt
2471                 | InsertStmt
2472                 | DeleteStmt
2473                 ;
2474
2475
2476 /*****************************************************************************
2477  *
2478  *              QUERY:
2479  *                              INSERT STATEMENTS
2480  *
2481  *****************************************************************************/
2482
2483 InsertStmt:  INSERT INTO qualified_name insert_rest
2484                         { $$ = cat_str(3, make_str("insert into"), $3, $4); }
2485                 ;
2486
2487 insert_rest:  VALUES '(' insert_target_list ')'
2488                         { $$ = cat_str(3, make_str("values("), $3, make_str(")")); }
2489                 | DEFAULT VALUES
2490                         { $$ = make_str("default values"); }
2491                 | SelectStmt
2492                         { $$ = $1; }
2493                 | '(' insert_column_list ')' VALUES '(' insert_target_list ')'
2494                         { $$ = cat_str(5, make_str("("), $2, make_str(") values ("), $6, make_str(")")); }
2495                 | '(' insert_column_list ')' SelectStmt
2496                         { $$ = cat_str(4, make_str("("), $2, make_str(")"), $4); }
2497                 ;
2498
2499 insert_column_list: insert_column_list ',' insert_column_item
2500                         { $$ = cat_str(3, $1, make_str(","), $3); }
2501                 | insert_column_item
2502                         { $$ = $1; }
2503                 ;
2504
2505 insert_column_item:  ColId opt_indirection
2506                         { $$ = cat2_str($1, $2); }
2507                 ;
2508
2509
2510 /*****************************************************************************
2511  *
2512  *              QUERY:
2513  *                              DELETE STATEMENTS
2514  *
2515  *****************************************************************************/
2516
2517 DeleteStmt:  DELETE_P FROM relation_expr where_clause
2518                         { $$ = cat_str(3, make_str("delete from"), $3, $4); }
2519                 ;
2520
2521 LockStmt:  LOCK_P opt_table qualified_name_list opt_lock
2522                         { $$ = cat_str(4, make_str("lock"), $2, $3, $4); }
2523                 ;
2524
2525 opt_lock:  IN_P lock_type MODE
2526                         { $$ = cat_str(3, make_str("in"), $2, make_str("mode")); }
2527                 | /*EMPTY*/
2528                         { $$ = EMPTY;}
2529                 ;
2530
2531 lock_type:      ACCESS SHARE            { $$ = make_str("access share"); }
2532                 | ROW SHARE                             { $$ = make_str("access share"); }
2533                 | ROW EXCLUSIVE                 { $$ = make_str("row exclusive"); }
2534                 | SHARE UPDATE EXCLUSIVE { $$ = make_str("share update exclusive"); }
2535                 | SHARE                                 { $$ = make_str("share"); }
2536                 | SHARE ROW EXCLUSIVE   { $$ = make_str("share row exclusive"); }
2537                 | EXCLUSIVE                             { $$ = make_str("exclusive"); }
2538                 | ACCESS EXCLUSIVE              { $$ = make_str("access exclusive"); }
2539                 ;
2540
2541 /*****************************************************************************
2542  *
2543  *              QUERY:
2544  *                              UpdateStmt (UPDATE)
2545  *
2546  *****************************************************************************/
2547
2548 UpdateStmt:  UPDATE relation_expr
2549                                 SET update_target_list
2550                                 from_clause
2551                                 where_clause
2552                         {$$ = cat_str(6, make_str("update"), $2, make_str("set"), $4, $5, $6); }
2553                 ;
2554
2555
2556 /*****************************************************************************
2557  *
2558  *              QUERY:
2559  *                              CURSOR STATEMENTS
2560  *
2561  *****************************************************************************/
2562 CursorStmt:  DECLARE name opt_cursor CURSOR FOR SelectStmt
2563                 {
2564                         struct cursor *ptr, *this;
2565
2566                         for (ptr = cur; ptr != NULL; ptr = ptr->next)
2567                         {
2568                                 if (strcmp($2, ptr->name) == 0)
2569                                 {
2570                                                 /* re-definition is a bug */
2571                                         snprintf(errortext, sizeof(errortext), "cursor %s already defined", $2);
2572                                         mmerror(PARSE_ERROR, ET_ERROR, errortext);
2573                                 }
2574                         }
2575
2576                         this = (struct cursor *) mm_alloc(sizeof(struct cursor));
2577
2578                         /* initial definition */
2579                         this->next = cur;
2580                         this->name = $2;
2581                         this->connection = connection;
2582                         this->command =  cat_str(5, make_str("declare"), mm_strdup($2), $3, make_str("cursor for"), $6);
2583                         this->argsinsert = argsinsert;
2584                         this->argsresult = argsresult;
2585                         argsinsert = argsresult = NULL;
2586
2587                         cur = this;
2588
2589                         $$ = cat_str(3, make_str("/*"), mm_strdup(this->command), make_str("*/"));
2590                 }
2591                 ;
2592
2593 opt_cursor:  BINARY                             { $$ = make_str("binary"); }
2594            | INSENSITIVE                        { $$ = make_str("insensitive"); }
2595            | SCROLL                                     { $$ = make_str("scroll"); }
2596            | INSENSITIVE SCROLL         { $$ = make_str("insensitive scroll"); }
2597            | /*EMPTY*/                          { $$ = EMPTY; }
2598            ;
2599
2600 /*****************************************************************************
2601  *
2602  *              QUERY:
2603  *                              SELECT STATEMENTS
2604  *
2605  *****************************************************************************/
2606
2607 SelectStmt: select_no_parens            %prec UMINUS
2608                         { $$ = $1; }
2609                 |       select_with_parens              %prec UMINUS
2610                         { $$ = $1; }
2611                 ;
2612
2613 select_with_parens: '(' select_no_parens ')'
2614                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
2615                 | '(' select_with_parens ')'
2616                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
2617                 ;
2618
2619 select_no_parens:          simple_select
2620                         { $$ = $1; }
2621                 | select_clause sort_clause
2622                         { $$ = cat2_str($1, $2); }
2623                 | select_clause opt_sort_clause for_update_clause opt_select_limit
2624                         { $$ = cat_str(4, $1, $2, $3, $4); }
2625                 | select_clause opt_sort_clause select_limit opt_for_update_clause
2626                         { $$ = cat_str(4, $1, $2, $3, $4); }
2627                 ;
2628
2629 select_clause: simple_select            { $$ = $1; }
2630                 | select_with_parens            { $$ = $1; }
2631                 ;
2632
2633 simple_select:  SELECT opt_distinct target_list
2634                                         into_clause from_clause where_clause
2635                                         group_clause having_clause
2636                         { $$ = cat_str(8, make_str("select"), $2, $3, $4, $5, $6, $7, $8); }
2637                 | select_clause UNION opt_all select_clause
2638                         { $$ = cat_str(4, $1, make_str("union"), $3, $4); }
2639                 | select_clause INTERSECT opt_all select_clause
2640                         { $$ = cat_str(4, $1, make_str("intersect"), $3, $4); }
2641                 | select_clause EXCEPT opt_all select_clause
2642                         { $$ = cat_str(4, $1, make_str("except"), $3, $4); }
2643                 ;
2644
2645 into_clause:  INTO OptTempTableName
2646                 {
2647                         FoundInto = 1;
2648                         $$= cat2_str(make_str("into"), $2);
2649                 }
2650                 | ecpg_into                     { $$ = EMPTY; }
2651                 | /*EMPTY*/                     { $$ = EMPTY; }
2652                 ;
2653
2654 /*
2655  * Redundancy here is needed to avoid shift/reduce conflicts,
2656  * since TEMP is not a reserved word.  See also OptTemp.
2657  *
2658  * The result is a cons cell (not a true list!) containing
2659  * a boolean and a table name.
2660  */
2661 OptTempTableName:  TEMPORARY opt_table qualified_name
2662                         { $$ = cat_str(3, make_str("temporary"), $2, $3); }
2663                 | TEMP opt_table qualified_name
2664                         { $$ = cat_str(3, make_str("temp"), $2, $3); }
2665                 | LOCAL TEMPORARY opt_table qualified_name
2666                         { $$ = cat_str(3, make_str("local temporary"), $3, $4); }
2667                 | LOCAL TEMP opt_table qualified_name
2668                         { $$ = cat_str(3, make_str("local temp"), $3, $4); }
2669                 | GLOBAL TEMPORARY opt_table qualified_name
2670                 {
2671                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported CREATE TABLE / GLOBAL TEMPORARY will be passed to backend");
2672                         $$ = cat_str(3, make_str("global temporary"), $3, $4);
2673                 }
2674                 | GLOBAL TEMP opt_table qualified_name
2675                 {
2676                         mmerror(PARSE_ERROR, ET_WARNING, "Currently unsupported CREATE TABLE / GLOBAL TEMP will be passed to backend");
2677                         $$ = cat_str(3, make_str("global temp"), $3, $4);
2678                 }
2679                 | TABLE qualified_name
2680                         { $$ = cat2_str(make_str("table"), $2); }
2681                 | qualified_name
2682                         { $$ = $1; }
2683                 ;
2684
2685 opt_table:      TABLE                           { $$ = make_str("table"); }
2686                 | /*EMPTY*/                             { $$ = EMPTY; }
2687                 ;
2688
2689 opt_all:  ALL                                   { $$ = make_str("all"); }
2690                 | /*EMPTY*/                             { $$ = EMPTY; }
2691                 ;
2692
2693 opt_distinct:  DISTINCT
2694                         { $$ = make_str("distinct"); }
2695                 | DISTINCT ON '(' expr_list ')'
2696                         { $$ = cat_str(3, make_str("distinct on ("), $4, make_str(")")); }
2697                 | ALL
2698                         { $$ = make_str("all"); }
2699                 | /*EMPTY*/
2700                         { $$ = EMPTY; }
2701                 ;
2702
2703 opt_sort_clause:        sort_clause     { $$ = $1; }
2704                 | /* EMPTY */           { $$ = EMPTY; }
2705                 ;
2706
2707 sort_clause:  ORDER BY sortby_list
2708                         { $$ = cat2_str(make_str("order by"), $3); }
2709                 ;
2710
2711 sortby_list:  sortby                                    { $$ = $1; }
2712                 | sortby_list ',' sortby                { $$ = cat_str(3, $1, make_str(","), $3); }
2713                 ;
2714
2715 sortby: a_expr OptUseOp
2716                         { $$ = cat2_str($1, $2); }
2717                 ;
2718
2719 OptUseOp:  USING all_Op         { $$ = cat2_str(make_str("using"), $2); }
2720                 | ASC                           { $$ = make_str("asc"); }
2721                 | DESC                          { $$ = make_str("desc"); }
2722                 | /*EMPTY*/                     { $$ = EMPTY; }
2723                 ;
2724
2725 select_limit:   LIMIT select_limit_value OFFSET select_offset_value
2726                    { $$ = cat_str(4, make_str("limit"), $2, make_str("offset"), $4); }
2727                 | OFFSET select_offset_value LIMIT select_limit_value
2728                    { $$ = cat_str(4, make_str("offset"), $2, make_str("limit"), $4); }
2729                 | LIMIT select_limit_value
2730                    { $$ = cat2_str(make_str("limit"), $2); }
2731                 | OFFSET select_offset_value
2732                    { $$ = cat2_str(make_str("offset"), $2); }
2733                 | LIMIT select_limit_value ',' select_offset_value
2734                    { mmerror(PARSE_ERROR, ET_WARNING, "No longer supported LIMIT #,# syntax passed to backend."); }
2735                 ;
2736
2737 opt_select_limit:       select_limit    { $$ = $1; }
2738                 | /*EMPTY*/                                     { $$ = EMPTY; }
2739                 ;
2740
2741 select_limit_value: PosIntConst
2742                 {
2743                         if (atoi($1) < 0)
2744                                 mmerror(PARSE_ERROR, ET_ERROR, "LIMIT must not be negative");
2745                         $$ = $1;
2746                 }
2747                 | ALL   { $$ = make_str("all"); }
2748                 | PARAM { $$ = make_name(); }
2749                 ;
2750
2751 select_offset_value:    PosIntConst
2752                 {
2753                         if (atoi($1) < 0)
2754                                 mmerror(PARSE_ERROR, ET_ERROR, "OFFSET must not be negative");
2755                         $$ = $1;
2756                 }
2757                 | PARAM { $$ = make_name(); }
2758                 ;
2759
2760 /*
2761  *      jimmy bell-style recursive queries aren't supported in the
2762  *      current system.
2763  *
2764  *      ...however, recursive addattr and rename supported.  make special
2765  *      cases for these.
2766  */
2767 group_clause:  GROUP_P BY expr_list
2768                         { $$ = cat2_str(make_str("group by"), $3); }
2769                 | /*EMPTY*/
2770                         { $$ = EMPTY; }
2771                 ;
2772
2773 having_clause:  HAVING a_expr
2774                         { $$ = cat2_str(make_str("having"), $2); }
2775                 | /*EMPTY*/
2776                         { $$ = EMPTY; }
2777                 ;
2778
2779 for_update_clause:      FOR UPDATE update_list
2780                         { $$ = make_str("for update"); }
2781                 | FOR READ ONLY
2782                         { $$ = make_str("for read only"); }
2783                 ;
2784
2785 opt_for_update_clause: for_update_clause        { $$ = $1; }
2786                 | /* EMPTY */                                           { $$ = EMPTY; }
2787                 ;
2788
2789 update_list:  OF name_list              { $$ = cat2_str(make_str("of"), $2); }
2790                 | /* EMPTY */                   { $$ = EMPTY; }
2791                 ;
2792
2793 /*****************************************************************************
2794  *
2795  *      clauses common to all Optimizable Stmts:
2796  *              from_clause - allow list of both JOIN expressions and table names
2797  *              where_clause    - qualifications for joins or restrictions
2798  *
2799  *****************************************************************************/
2800
2801 from_clause:    FROM from_list          { $$ = cat2_str(make_str("from"), $2); }
2802                 | /* EMPTY */                           { $$ = EMPTY; }
2803                 ;
2804
2805 from_list:      from_list ',' table_ref { $$ = cat_str(3, $1, make_str(","), $3); }
2806                 | table_ref                                     { $$ = $1; }
2807                 ;
2808
2809 /*
2810  * table_ref is where an alias clause can be attached.  Note we cannot make
2811  * alias_clause have an empty production because that causes parse conflicts
2812  * between table_ref := '(' joined_table ')' alias_clause
2813  * and joined_table := '(' joined_table ')'.  So, we must have the
2814  * redundant-looking productions here instead.
2815  */
2816 table_ref:      relation_expr
2817                         { $$ = $1; }
2818                 | relation_expr alias_clause
2819                         { $$= cat2_str($1, $2); }
2820                 | func_table
2821                         { $$ = $1; }
2822                 | func_table alias_clause
2823                         { $$= cat2_str($1, $2); }
2824                 | func_table AS '(' TableFuncElementList ')'
2825                         { $$=cat_str(4, $1, make_str("as ("), $4, make_str(")")); }
2826                 | func_table AS ColId '(' TableFuncElementList ')'
2827                         { $$=cat_str(6, $1, make_str("as"), $3, make_str("("), $5, make_str(")")); }
2828                 | func_table ColId '(' TableFuncElementList ')'
2829                         { $$=cat_str(5, $1, $2, make_str("("), $4, make_str(")")); }
2830                 | select_with_parens
2831                         {mmerror(PARSE_ERROR, ET_ERROR, "sub-SELECT in FROM must have an alias");}
2832                 | select_with_parens alias_clause
2833                         { $$=cat2_str($1, $2); }
2834                 | joined_table
2835                         { $$ = $1; }
2836                 | '(' joined_table ')' alias_clause
2837                         { $$=cat_str(4, make_str("("), $2, make_str(")"), $4); }
2838                 ;
2839
2840 /*
2841  * It may seem silly to separate joined_table from table_ref, but there is
2842  * method in SQL92's madness: if you don't do it this way you get reduce-
2843  * reduce conflicts, because it's not clear to the parser generator whether
2844  * to expect alias_clause after ')' or not.  For the same reason we must
2845  * treat 'JOIN' and 'join_type JOIN' separately, rather than allowing
2846  * join_type to expand to empty; if we try it, the parser generator can't
2847  * figure out when to reduce an empty join_type right after table_ref.
2848  *
2849  * Note that a CROSS JOIN is the same as an unqualified
2850  * INNER JOIN, and an INNER JOIN/ON has the same shape
2851  * but a qualification expression to limit membership.
2852  * A NATURAL JOIN implicitly matches column names between
2853  * tables and the shape is determined by which columns are
2854  * in common. We'll collect columns during the later transformations.
2855  */
2856
2857 joined_table:  '(' joined_table ')'
2858                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
2859                 | table_ref CROSS JOIN table_ref
2860                         { $$ = cat_str(3, $1, make_str("cross join"), $4); }
2861                 | table_ref UNIONJOIN table_ref
2862                         { $$ = cat_str(3, $1, make_str("unionjoin"), $3); }
2863                 | table_ref join_type JOIN table_ref join_qual
2864                         { $$ = cat_str(5, $1, $2, make_str("join"), $4, $5); }
2865                 | table_ref JOIN table_ref join_qual
2866                         { $$ = cat_str(4, $1, make_str("join"), $3, $4); }
2867                 | table_ref NATURAL join_type JOIN table_ref
2868                         { $$ = cat_str(5, $1, make_str("natural"), $3, make_str("join"), $5); }
2869                 | table_ref NATURAL JOIN table_ref
2870                         { $$ = cat_str(3, $1, make_str("natural join"), $4); }
2871                 ;
2872
2873 alias_clause:  AS ColId '(' name_list ')'
2874                         { $$ = cat_str(5, make_str("as"), $2, make_str("("), $4, make_str(")")); }
2875                 | AS ColId
2876                         { $$ = cat2_str(make_str("as"), $2); }
2877                 | ColId '(' name_list ')'
2878                         { $$ = cat_str(4, $1, make_str("("), $3, make_str(")")); }
2879                 | ColId
2880                         { $$ = $1; }
2881                 ;
2882
2883 join_type:      FULL join_outer         { $$ = cat2_str(make_str("full"), $2); }
2884                 | LEFT join_outer               { $$ = cat2_str(make_str("left"), $2); }
2885                 | RIGHT join_outer              { $$ = cat2_str(make_str("right"), $2); }
2886                 | INNER_P                               { $$ = make_str("inner"); }
2887                 ;
2888
2889 /* OUTER is just noise... */
2890 join_outer:  OUTER_P                    { $$ = make_str("outer"); }
2891                 | /*EMPTY*/                             { $$ = EMPTY;  /* no qualifiers */ }
2892                 ;
2893
2894 /* JOIN qualification clauses
2895  * Possibilities are:
2896  *      USING ( column list ) allows only unqualified column names,
2897  *                                                which must match between tables.
2898  *      ON expr allows more general qualifications.
2899  */
2900
2901 join_qual:      USING '(' name_list ')'
2902                         { $$ = cat_str(3, make_str("using ("), $3, make_str(")")); }
2903                 | ON a_expr
2904                         { $$ = cat2_str(make_str("on"), $2); }
2905                 ;
2906
2907 relation_expr:  qualified_name
2908                         { /* normal relations */ $$ = $1; }
2909                 | qualified_name '*'
2910                         { /* inheritance query */ $$ = cat2_str($1, make_str("*")); }
2911                 | ONLY qualified_name
2912                         { /* inheritance query */ $$ = cat2_str(make_str("only "), $2); }
2913                 | ONLY '(' qualified_name ')'
2914                         { /* inheritance query */ $$ = cat_str(3, make_str("only ("), $3, make_str(")")); }
2915                 ;
2916
2917 func_table:  func_name '(' ')'
2918                 { $$ = cat2_str($1, make_str("()")); }
2919         | func_name '(' expr_list ')'
2920                 { $$ = cat_str(4, $1, make_str("("), $3, make_str(")")); }
2921         ;
2922
2923 where_clause:  WHERE a_expr             { $$ = cat2_str(make_str("where"), $2); }
2924                 | /*EMPTY*/                             { $$ = EMPTY;  /* no qualifiers */ }
2925                 ;
2926
2927 TableFuncElementList: TableFuncElement
2928                         { $$ = $1; }
2929                 | TableFuncElementList ',' TableFuncElement
2930                         { $$ = cat_str(3, $1, ',', $3); }
2931                 ;
2932
2933 TableFuncElement:       ColId Typename  { $$ = cat2_str($1, $2); }
2934                         ;
2935
2936 /*****************************************************************************
2937  *
2938  *      Type syntax
2939  *              SQL92 introduces a large amount of type-specific syntax.
2940  *              Define individual clauses to handle these cases, and use
2941  *               the generic case to handle regular type-extensible Postgres syntax.
2942  *              - thomas 1997-10-10
2943  *
2944  *****************************************************************************/
2945
2946 Typename:  SimpleTypename opt_array_bounds
2947                         { $$ = cat2_str($1, $2.str); }
2948                 | SETOF SimpleTypename opt_array_bounds
2949                         { $$ = cat_str(3, make_str("setof"), $2, $3); }
2950                 ;
2951
2952
2953 opt_array_bounds:  '[' ']' opt_array_bounds
2954                 {
2955                         $$.index1 = 0;
2956                         $$.index2 = $3.index1;
2957                         $$.str = cat2_str(make_str("[]"), $3.str);
2958                 }
2959                 | '[' Iresult ']' opt_array_bounds
2960                 {
2961                         char *txt = mm_alloc(20L);
2962
2963                         sprintf (txt, "%d", $2);
2964                         $$.index1 = $2;
2965                         $$.index2 = $4.index1;
2966                         $$.str = cat_str(4, make_str("["), txt, make_str("]"), $4.str);
2967                 }
2968                 | /* EMPTY */
2969                 {
2970                         $$.index1 = -1;
2971                         $$.index2 = -1;
2972                         $$.str= EMPTY;
2973                 }
2974                 ;
2975
2976 Iresult:        PosIntConst                             { $$ = atol($1); }
2977                 |       '(' Iresult ')'                 { $$ = $2; }
2978                 |       Iresult '+' Iresult             { $$ = $1 + $3; }
2979                 |       Iresult '-' Iresult             { $$ = $1 - $3; }
2980                 |       Iresult '*' Iresult             { $$ = $1 * $3; }
2981                 |       Iresult '/' Iresult             { $$ = $1 / $3; }
2982                 |       Iresult '%' Iresult             { $$ = $1 % $3; }
2983                 ;
2984
2985 SimpleTypename:  GenericType            { $$ = $1; }
2986                 | ConstDatetime         { $$ = $1; }
2987                 | Numeric               { $$ = $1; }
2988                 | Bit                   { $$ = $1; }
2989                 | Character             { $$ = $1; }
2990                 | ConstInterval opt_interval
2991                         { $$ = cat2_str($1, $2); }
2992                 | ConstInterval '(' PosIntConst ')' opt_interval
2993                         { $$ = cat_str(5, $1, make_str("("), $3, make_str(")"), $5); }
2994                 | type_name attrs
2995                         { $$ = cat2_str($1, $2);}
2996                 ;
2997
2998 ConstTypename:  GenericType             { $$ = $1; }
2999                 | ConstDatetime         { $$ = $1; }
3000                 | Numeric               { $$ = $1; }
3001                 | ConstBit              { $$ = $1; }
3002                 | ConstCharacter        { $$ = $1; }
3003                 ;
3004
3005 GenericType:  type_name                 { $$ = $1; }
3006                 ;
3007
3008 /* SQL92 numeric data types
3009  * Check FLOAT() precision limits assuming IEEE floating types.
3010  * Provide real DECIMAL() and NUMERIC() implementations now - Jan 1998-12-30
3011  * - thomas 1997-09-18
3012  */
3013 Numeric:  INT
3014                         { $$ = make_str("int"); }
3015                 | INTEGER
3016                         { $$ = make_str("integer"); }
3017                 | SMALLINT
3018                         { $$ = make_str("smallint"); }
3019                 | BIGINT
3020                         { $$ = make_str("bigint"); }
3021                 | REAL
3022                         { $$ = make_str("real"); }
3023                 | FLOAT_P opt_float
3024                         { $$ = cat2_str(make_str("float"), $2); }
3025                 | DOUBLE PRECISION
3026                         { $$ = make_str("double precision"); }
3027                 | DECIMAL opt_decimal
3028                         { $$ = cat2_str(make_str("decimal"), $2); }
3029                 | DEC opt_decimal
3030                         { $$ = cat2_str(make_str("dec"), $2); }
3031                 | NUMERIC opt_numeric
3032                         { $$ = cat2_str(make_str("numeric"), $2); }
3033                 | BOOLEAN
3034                         { $$ = make_str("boolean"); }
3035                 ;
3036
3037 opt_float:      '(' PosIntConst ')'
3038                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
3039                 | /*EMPTY*/
3040                         { $$ = EMPTY; }
3041                 ;
3042
3043 opt_numeric:  '(' PosIntConst ',' PosIntConst ')'
3044                         { $$ = cat_str(5, make_str("("), $2, make_str(","), $4, make_str(")")); }
3045                 | '(' PosIntConst ')'
3046                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
3047                 | /*EMPTY*/
3048                         { $$ = EMPTY; }
3049                 ;
3050
3051 opt_decimal:  '(' PosIntConst ',' PosIntConst ')'
3052                         { $$ = cat_str(5, make_str("("), $2, make_str(","), $4, make_str(")")); }
3053                 | '(' PosIntConst ')'
3054                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
3055                 | /*EMPTY*/
3056                         { $$ = EMPTY; }
3057                 ;
3058
3059 /*
3060  * SQL92 bit-field data types
3061  * The following implements BIT() and BIT VARYING().
3062  */
3063
3064 Bit:    BitWithLength           { $$ = $1; }
3065         | BitWithoutLength      { $$ = $1; }
3066         ;
3067
3068 ConstBit:       BitWithLength   { $$ = $1; }
3069                 | BitWithoutLength      { $$ = $1; }
3070                 ;
3071
3072 BitWithLength:  BIT opt_varying '(' PosIntConst ')'
3073                         { $$ = cat_str(5, make_str("bit"), $2, make_str("("), $4, make_str(")")); }
3074                 ;
3075
3076 BitWithoutLength: BIT opt_varying
3077                         { $$ = cat2_str(make_str("bit"), $2); }
3078                 ;
3079
3080 /*
3081  * SQL92 character data types
3082  * The following implements CHAR() and VARCHAR().
3083  *                                                              - ay 6/95
3084  */
3085 Character:      CharacterWithLength             { $$ = $1; }
3086                 | CharacterWithoutLength        { $$ = $1; }
3087                 ;
3088
3089 ConstCharacter: CharacterWithLength     { $$ = $1; }
3090                 | CharacterWithoutLength      { $$ = $1; }
3091                 ;
3092
3093 CharacterWithLength: character '(' PosIntConst ')' opt_charset
3094                         { $$ = cat_str(5, $1, make_str("("), $3, make_str(")"), $5); }
3095                 ;
3096
3097 CharacterWithoutLength: character opt_charset
3098                         { $$ = cat2_str($1, $2); }
3099                 ;
3100
3101 character:      CHARACTER opt_varying
3102                         { $$ = cat2_str(make_str("character"), $2); }
3103                 | CHAR_P opt_varying
3104                         { $$ = cat2_str(make_str("char"), $2); }
3105                 | VARCHAR
3106                         { $$ = make_str("varchar"); }
3107                 | NATIONAL CHARACTER opt_varying
3108                         { $$ = cat2_str(make_str("national character"), $3); }
3109                 | NATIONAL CHAR_P opt_varying
3110                         { $$ = cat2_str(make_str("national char"), $3); }
3111                 | NCHAR opt_varying
3112                         { $$ = cat2_str(make_str("nchar"), $2); }
3113                 ;
3114
3115 opt_varying:  VARYING
3116                         { $$ = make_str("varying"); }
3117                 | /*EMPTY*/
3118                         { $$ = EMPTY; }
3119                 ;
3120
3121 opt_charset:  CHARACTER SET ColId
3122                         { $$ = cat2_str(make_str("character set"), $3); }
3123                 | /*EMPTY*/
3124                         { $$ = EMPTY; }
3125                 ;
3126
3127 opt_collate:  COLLATE ColId
3128                         { $$ = cat2_str(make_str("collate"), $2); }
3129                 | /*EMPTY*/
3130                         { $$ = EMPTY; }
3131                 ;
3132
3133 ConstDatetime:  TIMESTAMP '(' PosIntConst ')' opt_timezone
3134                         { $$ = cat_str(4, make_str("timestamp("), $3, make_str(")"), $5); }
3135                 | TIMESTAMP opt_timezone
3136                         { $$ = cat2_str(make_str("timestamp"), $2); }
3137                 | TIME '(' PosIntConst ')' opt_timezone
3138                         { $$ = cat_str(4, make_str("time("), $3, make_str(")"), $5); }
3139                 | TIME opt_timezone
3140                         { $$ = cat2_str(make_str("time"), $2); }
3141                 ;
3142
3143 ConstInterval:  INTERVAL
3144                         { $$ = make_str("interval"); }
3145                 ;
3146
3147 opt_timezone:  WITH TIME ZONE
3148                         { $$ = make_str("with time zone"); }
3149                 | WITHOUT TIME ZONE
3150                         { $$ = make_str("without time zone"); }
3151                 | /*EMPTY*/
3152                         { $$ = EMPTY; }
3153                 ;
3154
3155 opt_interval:  YEAR_P                   { $$ = make_str("year"); }
3156                 | MONTH_P                               { $$ = make_str("month"); }
3157                 | DAY_P                                 { $$ = make_str("day"); }
3158                 | HOUR_P                                { $$ = make_str("hour"); }
3159                 | MINUTE_P                              { $$ = make_str("minute"); }
3160                 | SECOND_P                              { $$ = make_str("second"); }
3161                 | YEAR_P TO MONTH_P             { $$ = make_str("year to month"); }
3162                 | DAY_P TO HOUR_P               { $$ = make_str("day to hour"); }
3163                 | DAY_P TO MINUTE_P             { $$ = make_str("day to minute"); }
3164                 | DAY_P TO SECOND_P             { $$ = make_str("day to second"); }
3165                 | HOUR_P TO MINUTE_P    { $$ = make_str("hour to minute"); }
3166                 | MINUTE_P TO SECOND_P  { $$ = make_str("minute to second"); }
3167                 | HOUR_P TO SECOND_P    { $$ = make_str("hour to second"); }
3168                 | /*EMPTY*/                             { $$ = EMPTY; }
3169                 ;
3170
3171
3172 /*****************************************************************************
3173  *
3174  *      expression grammar
3175  *
3176  *****************************************************************************/
3177
3178 /* Expressions using row descriptors
3179  * Define row_descriptor to allow yacc to break the reduce/reduce conflict
3180  *      with singleton expressions.
3181  */
3182 r_expr: row IN_P select_with_parens
3183                         { $$ = cat_str(3, $1, make_str("in"), $3); }
3184                 | row NOT IN_P select_with_parens
3185                         { $$ = cat_str(3, $1, make_str("not in"), $4); }
3186                 | row qual_all_Op sub_type select_with_parens %prec Op
3187                         { $$ = cat_str(4, $1, $2, $3, $4); }
3188                 | row qual_all_Op select_with_parens %prec Op
3189                         { $$ = cat_str(3, $1, $2, $3); }
3190                 | row qual_all_Op row %prec Op
3191                         { $$ = cat_str(3, $1, $2, $3); }
3192                 | row IS NULL_P
3193                         { $$ = cat2_str($1, make_str("is null")); }
3194                 | row IS NOT NULL_P
3195                         { $$ = cat2_str($1, make_str("is not null")); }
3196                 | row OVERLAPS row
3197                         { $$ = cat_str(3, $1, make_str("overlaps"), $3); }
3198                 | row IS DISTINCT FROM row %prec IS
3199                         { $$ = cat_str(3, $1, make_str("is distinct from"), $5); }
3200                 ;
3201
3202 row: ROW '(' row_descriptor ')'
3203                 { $$ = cat_str(3, make_str("row ("), $3, make_str(")")); }
3204         | ROW '(' a_expr ')'
3205                 { $$ = cat_str(3, make_str("row ("), $3, make_str(")")); }
3206         | ROW '(' ')'
3207                 { $$ = make_str("row()"); }
3208         | '(' row_descriptor ')'
3209                 { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
3210         ;
3211
3212 row_descriptor:  expr_list ',' a_expr
3213                         { $$ = cat_str(3, $1, make_str(","), $3); }
3214                 ;
3215
3216 sub_type:  ANY                                  { $$ = make_str("ANY"); }
3217                 | SOME                                  { $$ = make_str("SOME"); }
3218                 | ALL                                   { $$ = make_str("ALL"); }
3219                           ;
3220
3221 all_Op:  Op                             { $$ = $1; }
3222         | MathOp                        { $$ = $1; }
3223         ;
3224
3225 MathOp: '+'                             { $$ = make_str("+"); }
3226                 | '-'                   { $$ = make_str("-"); }
3227                 | '*'                   { $$ = make_str("*"); }
3228                 | '%'                   { $$ = make_str("%"); }
3229                 | '^'                   { $$ = make_str("^"); }
3230                 | '/'                   { $$ = make_str("/"); }
3231                 | '<'                   { $$ = make_str("<"); }
3232                 | '>'                   { $$ = make_str(">"); }
3233                 | '='                   { $$ = make_str("="); }
3234                 ;
3235
3236 qual_Op:  Op                            { $$ = $1; }
3237                 | OPERATOR '(' any_operator ')' { $$ = cat_str(3, make_str("operator ("), $3, make_str(")")); }
3238                 ;
3239
3240 qual_all_Op:  all_Op                            { $$ = $1; }
3241                 | OPERATOR '(' any_operator ')' { $$ = cat_str(3, make_str("operator ("), $3, make_str(")")); }
3242                 ;
3243
3244 /* General expressions
3245  * This is the heart of the expression syntax.
3246  *
3247  * We have two expression types: a_expr is the unrestricted kind, and
3248  * b_expr is a subset that must be used in some places to avoid shift/reduce
3249  * conflicts.  For example, we can't do BETWEEN as "BETWEEN a_expr AND a_expr"
3250  * because that use of AND conflicts with AND as a boolean operator.  So,
3251  * b_expr is used in BETWEEN and we remove boolean keywords from b_expr.
3252  *
3253  * Note that '(' a_expr ')' is a b_expr, so an unrestricted expression can
3254  * always be used by surrounding it with parens.
3255  *
3256  * c_expr is all the productions that are common to a_expr and b_expr;
3257  * it's factored out just to eliminate redundant coding.
3258  */
3259
3260 a_expr:  c_expr
3261                         { $$ = $1; }
3262                 | a_expr TYPECAST Typename
3263                         { $$ = cat_str(3, $1, make_str("::"), $3); }
3264                 | a_expr AT TIME ZONE c_expr
3265                         { $$ = cat_str(3, $1, make_str("at time zone"), $5); }
3266                 /*
3267                  * These operators must be called out explicitly in order to make use
3268                  * of yacc/bison's automatic operator-precedence handling.  All other
3269                  * operator names are handled by the generic productions using "Op",
3270                  * below; and all those operators will have the same precedence.
3271                  *
3272                  * If you add more explicitly-known operators, be sure to add them
3273                  * also to b_expr and to the MathOp list above.
3274                  */
3275                 | '+' a_expr %prec UMINUS
3276                         { $$ = cat2_str(make_str("+"), $2); }
3277                 | '-' a_expr %prec UMINUS
3278                         { $$ = cat2_str(make_str("-"), $2); }
3279                 | '%' a_expr
3280                         { $$ = cat2_str(make_str("%"), $2); }
3281                 | '^' a_expr
3282                         { $$ = cat2_str(make_str("^"), $2); }
3283                 | a_expr '%'
3284                         { $$ = cat2_str($1, make_str("%")); }
3285                 | a_expr '^'
3286                         { $$ = cat2_str($1, make_str("^")); }
3287                 | a_expr '+' a_expr
3288                         { $$ = cat_str(3, $1, make_str("+"), $3); }
3289                 | a_expr '-' a_expr
3290                         { $$ = cat_str(3, $1, make_str("-"), $3); }
3291                 | a_expr '*' a_expr
3292                         { $$ = cat_str(3, $1, make_str("*"), $3); }
3293                 | a_expr '/' a_expr
3294                         { $$ = cat_str(3, $1, make_str("/"), $3); }
3295                 | a_expr '%' a_expr
3296                         { $$ = cat_str(3, $1, make_str("%"), $3); }
3297                 | a_expr '^' a_expr
3298                         { $$ = cat_str(3, $1, make_str("^"), $3); }
3299                 | a_expr '<' a_expr
3300                         { $$ = cat_str(3, $1, make_str("<"), $3); }
3301                 | a_expr '>' a_expr
3302                         { $$ = cat_str(3, $1, make_str(">"), $3); }
3303                 | a_expr '=' a_expr
3304                         { $$ = cat_str(3, $1, make_str("="), $3); }
3305                 | a_expr qual_Op a_expr         %prec Op
3306                         { $$ = cat_str(3, $1, $2, $3); }
3307                 | qual_Op a_expr                %prec Op
3308                         { $$ = cat2_str($1, $2); }
3309                 | a_expr qual_Op                %prec POSTFIXOP
3310                         { $$ = cat2_str($1, $2); }
3311                 | a_expr AND a_expr
3312                         { $$ = cat_str(3, $1, make_str("and"), $3); }
3313                 | a_expr OR a_expr
3314                         { $$ = cat_str(3, $1, make_str("or"), $3); }
3315                 | NOT a_expr
3316                         { $$ = cat2_str(make_str("not"), $2); }
3317                 | a_expr LIKE a_expr
3318                         { $$ = cat_str(3, $1, make_str("like"), $3); }
3319                 | a_expr LIKE a_expr ESCAPE a_expr
3320                         { $$ = cat_str(5, $1, make_str("like"), $3, make_str("escape"), $5); }
3321                 | a_expr NOT LIKE a_expr
3322                         { $$ = cat_str(3, $1, make_str("not like"), $4); }
3323                 | a_expr NOT LIKE a_expr ESCAPE a_expr
3324                         { $$ = cat_str(5, $1, make_str("not like"), $4, make_str("escape"), $6); }
3325                 | a_expr ILIKE a_expr
3326                         { $$ = cat_str(3, $1, make_str("ilike"), $3); }
3327                 | a_expr ILIKE a_expr ESCAPE a_expr
3328                         { $$ = cat_str(5, $1, make_str("ilike"), $3, make_str("escape"), $5); }
3329                 | a_expr NOT ILIKE a_expr
3330                         { $$ = cat_str(3, $1, make_str("not ilike"), $4); }
3331                 | a_expr NOT ILIKE a_expr ESCAPE a_expr
3332                         { $$ = cat_str(5, $1, make_str("not ilike"), $4, make_str("escape"), $6); }
3333                 | a_expr SIMILAR TO a_expr      %prec SIMILAR
3334                         { $$ = cat_str(3, $1, make_str("similar to"), $4); }
3335                 | a_expr SIMILAR TO a_expr ESCAPE a_expr
3336                         { $$ = cat_str(5, $1, make_str("similar to"), $4, make_str("escape"), $6); }
3337                 | a_expr NOT SIMILAR TO a_expr  %prec SIMILAR
3338                         { $$ = cat_str(3, $1, make_str("not similar to"), $5); }
3339                 | a_expr NOT SIMILAR TO a_expr ESCAPE a_expr
3340                         { $$ = cat_str(5, $1, make_str("not similar to"), $5, make_str("escape"), $7); }
3341                 | a_expr ISNULL
3342                         { $$ = cat2_str($1, make_str("isnull")); }
3343                 | a_expr IS NULL_P
3344                         { $$ = cat2_str($1, make_str("is null")); }
3345                 | a_expr NOTNULL
3346                         { $$ = cat2_str($1, make_str("notnull")); }
3347                 | a_expr IS NOT NULL_P
3348                         { $$ = cat2_str($1, make_str("is not null")); }
3349                 /* IS TRUE, IS FALSE, etc used to be function calls
3350                  *      but let's make them expressions to allow the optimizer
3351                  *      a chance to eliminate them if a_expr is a constant string.
3352                  * - thomas 1997-12-22
3353                  *
3354                  *      Created BooleanTest Node type, and changed handling
3355                  *      for NULL inputs
3356                  * - jec 2001-06-18
3357                  */
3358                 | a_expr IS TRUE_P
3359                         { $$ = cat2_str($1, make_str("is true")); }
3360                 | a_expr IS NOT TRUE_P
3361                         { $$ = cat2_str($1, make_str("is not true")); }
3362                 | a_expr IS FALSE_P
3363                         { $$ = cat2_str($1, make_str("is false")); }
3364                 | a_expr IS NOT FALSE_P
3365                         { $$ = cat2_str($1, make_str("is not false")); }
3366                 | a_expr IS UNKNOWN
3367                         { $$ = cat2_str($1, make_str("is unknown")); }
3368                 | a_expr IS NOT UNKNOWN
3369                         { $$ = cat2_str($1, make_str("is not unknown")); }
3370                 | a_expr IS DISTINCT FROM a_expr %prec IS
3371                         { $$ = cat_str(3, $1, make_str("is distinct from"), $5); }
3372                 | a_expr IS OF '(' type_list ')' %prec IS
3373                         { $$ = cat_str(4, $1, make_str("is of ("), $5, make_str(")")); }
3374                 | a_expr IS NOT OF '(' type_list ')' %prec IS
3375                         { $$ = cat_str(4, $1, make_str("is not of ("), $6, make_str(")")); }
3376                 | a_expr BETWEEN b_expr AND b_expr      %prec BETWEEN
3377                         { $$ = cat_str(5, $1, make_str("between"), $3, make_str("and"), $5); }
3378                 | a_expr NOT BETWEEN b_expr AND b_expr  %prec BETWEEN
3379                         { $$ = cat_str(5, $1, make_str("not between"), $4, make_str("and"), $6); }
3380                 | a_expr IN_P in_expr
3381                         { $$ = cat_str(3, $1, make_str("in"), $3); }
3382                 | a_expr NOT IN_P in_expr
3383                         { $$ = cat_str(3, $1, make_str("not in"), $4); }
3384                 | a_expr qual_all_Op sub_type select_with_parens %prec Op
3385                         { $$ = cat_str(4, $1, $2, $3, $4); }
3386                 | UNIQUE select_with_parens %prec Op
3387                         { $$ = cat2_str(make_str("unique"), $2); }
3388                 | r_expr
3389                         { $$ = $1; }
3390                 ;
3391
3392 /* Restricted expressions
3393  *
3394  * b_expr is a subset of the complete expression syntax
3395  *
3396  * Presently, AND, NOT, IS and IN are the a_expr keywords that would
3397  * cause trouble in the places where b_expr is used.  For simplicity, we
3398  * just eliminate all the boolean-keyword-operator productions from b_expr.
3399  */
3400 b_expr:  c_expr
3401                         { $$ = $1; }
3402                 | b_expr TYPECAST Typename
3403                         { $$ = cat_str(3, $1, make_str("::"), $3); }
3404                 | '-' b_expr %prec UMINUS
3405                         { $$ = cat2_str(make_str("-"), $2); }
3406                 | '%' b_expr
3407                         { $$ = cat2_str(make_str("%"), $2); }
3408                 | '^' b_expr
3409                         { $$ = cat2_str(make_str("^"), $2); }
3410                 | b_expr '%'
3411                         { $$ = cat2_str($1, make_str("%")); }
3412                 | b_expr '^'
3413                         { $$ = cat2_str($1, make_str("^")); }
3414                 | b_expr '+' b_expr
3415                         { $$ = cat_str(3, $1, make_str("+"), $3); }
3416                 | b_expr '-' b_expr
3417                         { $$ = cat_str(3, $1, make_str("-"), $3); }
3418                 | b_expr '*' b_expr
3419                         { $$ = cat_str(3, $1, make_str("*"), $3); }
3420                 | b_expr '/' b_expr
3421                         { $$ = cat_str(3, $1, make_str("/"), $3); }
3422                 | b_expr '%' b_expr
3423                         { $$ = cat_str(3, $1, make_str("%"), $3); }
3424                 | b_expr '^' b_expr
3425                         { $$ = cat_str(3, $1, make_str("^"), $3); }
3426                 | b_expr '<' b_expr
3427                         { $$ = cat_str(3, $1, make_str("<"), $3); }
3428                 | b_expr '>' b_expr
3429                         { $$ = cat_str(3, $1, make_str(">"), $3); }
3430                 | b_expr '=' b_expr
3431                         { $$ = cat_str(3, $1, make_str("="), $3); }
3432                 | b_expr Op b_expr
3433                         { $$ = cat_str(3, $1, $2, $3); }
3434                 | qual_Op b_expr                %prec Op
3435                         { $$ = cat2_str($1, $2); }
3436                 | b_expr qual_Op                %prec POSTFIXOP
3437                         { $$ = cat2_str($1, $2); }
3438                 | b_expr IS DISTINCT FROM b_expr %prec IS
3439                         { $$ = cat_str(3, $1, make_str("is distinct from"), $5); }
3440                 | b_expr IS OF '(' b_expr ')' %prec IS
3441                         { $$ = cat_str(4, $1, make_str("is of ("), $5, make_str(")")); }
3442                 | b_expr IS NOT OF '(' b_expr ')' %prec IS
3443                         { $$ = cat_str(4, $1, make_str("is not of ("), $6, make_str(")")); }
3444                 ;
3445
3446 /*
3447  * Productions that can be used in both a_expr and b_expr.
3448  *
3449  * Note: productions that refer recursively to a_expr or b_expr mostly
3450  * cannot appear here.  However, it's OK to refer to a_exprs that occur
3451  * inside parentheses, such as function arguments; that cannot introduce
3452  * ambiguity to the b_expr syntax.
3453  */
3454 c_expr: columnref
3455                         { $$ = $1;      }
3456                 | AexprConst
3457                         { $$ = $1;      }
3458                 | PARAM attrs opt_indirection
3459                         { $$ = cat_str(3, make_str("param"), $2, $3); }
3460                 | '(' a_expr ')'
3461                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
3462                 | '(' a_expr ')' attrs opt_indirection
3463                         { $$ = cat_str(5, make_str("("), $2, make_str(")"), $4, $5); }
3464                 | case_expr
3465                         { $$ = $1; }
3466                 | func_name '(' ')'
3467                         { $$ = cat2_str($1, make_str("()"));    }
3468                 | func_name '(' expr_list ')'
3469                         { $$ = cat_str(4, $1, make_str("("), $3, make_str(")"));        }
3470                 | func_name '(' ALL expr_list ')'
3471                         { $$ = cat_str(4, $1, make_str("( all"), $4, make_str(")"));    }
3472                 | func_name '(' DISTINCT expr_list ')'
3473                         { $$ = cat_str(4, $1, make_str("( distinct"), $4, make_str(")"));  }
3474                 | func_name '(' '*' ')'
3475                         { $$ = cat2_str($1, make_str("(*)")); }
3476                 | CURRENT_DATE
3477                         { $$ = make_str("current_date"); }
3478                 | CURRENT_TIME opt_empty_parentheses
3479                         { $$ = cat2_str(make_str("current_time"), $2); }
3480                 | CURRENT_TIME '(' PosIntConst ')'
3481                         { $$ = make_str("current_time"); }
3482                 | CURRENT_TIMESTAMP opt_empty_parentheses
3483                         { $$ = cat2_str(make_str("current_timestamp"), $2); }
3484                 | CURRENT_TIMESTAMP '(' PosIntConst ')'
3485                         { $$ = make_str("current_timestamp"); }
3486                 | CURRENT_USER opt_empty_parentheses
3487                         { $$ = cat2_str(make_str("current_user"), $2); }
3488                 | SESSION_USER opt_empty_parentheses
3489                         { $$ = cat2_str(make_str("session_user"), $2); }
3490                 | USER opt_empty_parentheses
3491                         { $$ = cat2_str(make_str("user"), $2); }
3492                 | CAST '(' a_expr AS Typename ')'
3493                         { $$ = cat_str(5, make_str("cast("), $3, make_str("as"), $5, make_str(")")); }
3494                 | EXTRACT '(' extract_list ')'
3495                         { $$ = cat_str(3, make_str("extract("), $3, make_str(")")); }
3496                 | OVERLAY '(' overlay_list ')'
3497                         { $$ = cat_str(3, make_str("overlay("), $3, make_str(")")); }
3498                 | POSITION '(' position_list ')'
3499                         { $$ = cat_str(3, make_str("position("), $3, make_str(")")); }
3500                 | SUBSTRING '(' substr_list ')'
3501                         { $$ = cat_str(3, make_str("substring("), $3, make_str(")")); }
3502                 | TREAT '(' a_expr AS Typename ')'
3503                         { $$ = cat_str(5, make_str("treat("), $3, make_str("as"), $5, make_str(")")); }
3504                 /* various trim expressions are defined in SQL92 - thomas 1997-07-19 */
3505                 | TRIM '(' BOTH trim_list ')'
3506                         { $$ = cat_str(3, make_str("trim(both"), $4, make_str(")")); }
3507                 | TRIM '(' LEADING trim_list ')'
3508                         { $$ = cat_str(3, make_str("trim(leading"), $4, make_str(")")); }
3509                 | TRIM '(' TRAILING trim_list ')'
3510                         { $$ = cat_str(3, make_str("trim(trailing"), $4, make_str(")")); }
3511                 | TRIM '(' trim_list ')'
3512                         { $$ = cat_str(3, make_str("trim("), $3, make_str(")")); }
3513                 | CONVERT '(' a_expr USING any_name ')'
3514                         { $$ = cat_str(5, make_str("convert("), $3, make_str("using"), $5, make_str(")"));}
3515                 | CONVERT '(' expr_list ')'
3516                         { $$ = cat_str(3, make_str("convert("), $3, make_str(")")); }
3517                 | select_with_parens    %prec UMINUS
3518                         { $$ = $1; }
3519                 | EXISTS select_with_parens
3520                         { $$ = cat2_str(make_str("exists"), $2); }
3521                 | VALUE
3522                         { $$ = make_str("value"); }
3523                 ;
3524 /*
3525  * This used to use ecpg_expr, but since there is no shift/reduce conflict
3526  * anymore, we can remove ecpg_expr. - MM
3527  */
3528 opt_indirection:  '[' a_expr ']' opt_indirection
3529                         { $$ = cat_str(4, make_str("["), $2, make_str("]"), $4); }
3530                 | '[' a_expr ':' a_expr ']' opt_indirection
3531                         { $$ = cat_str(6, make_str("["), $2, make_str(":"), $4, make_str("]"), $6); }
3532                 | /* EMPTY */
3533                         { $$ = EMPTY; }
3534                 ;
3535
3536 expr_list:      a_expr
3537                         { $$ = $1; }
3538                 | expr_list ',' a_expr
3539                         { $$ = cat_str(3, $1, make_str(","), $3); }
3540                 ;
3541
3542 extract_list:  extract_arg FROM a_expr
3543                         { $$ = cat_str(3, $1, make_str("from"), $3); }
3544                 | /* EMPTY */
3545                         { $$ = EMPTY; }
3546                 ;
3547
3548 type_list:      type_list ',' Typename
3549                         { $$ = cat_str(3, $1, ',', $3); }
3550                 | Typename
3551                         { $$ = $1; }
3552                 ;
3553
3554 /* Allow delimited string SCONST in extract_arg as an SQL extension.
3555  * - thomas 2001-04-12
3556  */
3557
3558 extract_arg:  ident                             { $$ = $1; }
3559                 | YEAR_P                                { $$ = make_str("year"); }
3560                 | MONTH_P                               { $$ = make_str("month"); }
3561                 | DAY_P                                 { $$ = make_str("day"); }
3562                 | HOUR_P                                { $$ = make_str("hour"); }
3563                 | MINUTE_P                              { $$ = make_str("minute"); }
3564                 | SECOND_P                              { $$ = make_str("second"); }
3565                 | StringConst                   { $$ = $1; }
3566                 ;
3567
3568 overlay_list:
3569                 a_expr overlay_placing substr_from substr_for
3570                         { $$ = cat_str(4, $1, 42, $3, $4); }
3571                 | a_expr overlay_placing substr_from
3572                         { $$ = cat_str(3, $1, $2, $3); }
3573                 ;
3574
3575 overlay_placing:
3576                         PLACING a_expr          { $$ = cat2_str(make_str("placing"), $2); }
3577                         ;
3578
3579 /* position_list uses b_expr not a_expr to avoid conflict with general IN */
3580 position_list:  b_expr IN_P b_expr
3581                         { $$ = cat_str(3, $1, make_str("in"), $3); }
3582                 | /* EMPTY */
3583                         { $$ = EMPTY; }
3584                 ;
3585
3586 substr_list:  a_expr substr_from substr_for
3587                         { $$ = cat_str(3, $1, $2, $3); }
3588                 | a_expr substr_for substr_from
3589                         { $$ = cat_str(3, $1, $2, $3); }
3590                 | a_expr substr_from
3591                         { $$ = cat2_str($1, $2); }
3592                 | a_expr substr_for
3593                         { $$ = cat2_str($1, $2); }
3594                 | expr_list
3595                         { $$ = $1; }
3596                 | /* EMPTY */
3597                         { $$ = EMPTY; }
3598                 ;
3599
3600 substr_from:  FROM a_expr
3601                         { $$ = cat2_str(make_str("from"), $2); }
3602                 ;
3603
3604 substr_for:  FOR a_expr
3605                         { $$ = cat2_str(make_str("for"), $2); }
3606                 ;
3607
3608 trim_list:      a_expr FROM expr_list
3609                         { $$ = cat_str(3, $1, make_str("from"), $3); }
3610                 | FROM expr_list
3611                         { $$ = cat2_str(make_str("from"), $2); }
3612                 | expr_list
3613                         { $$ = $1; }
3614                 ;
3615
3616 in_expr:  select_with_parens
3617                         { $$ = $1; }
3618                 | '(' expr_list ')'
3619                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
3620                 ;
3621
3622 /* Case clause
3623  * Define SQL92-style case clause.
3624  * Allow all four forms described in the standard:
3625  * - Full specification
3626  *      CASE WHEN a = b THEN c ... ELSE d END
3627  * - Implicit argument
3628  *      CASE a WHEN b THEN c ... ELSE d END
3629  * - Conditional NULL
3630  *      NULLIF(x,y)
3631  *      same as CASE WHEN x = y THEN NULL ELSE x END
3632  * - Conditional substitution from list, use first non-null argument
3633  *      COALESCE(a,b,...)
3634  * same as CASE WHEN a IS NOT NULL THEN a WHEN b IS NOT NULL THEN b ... END
3635  * - thomas 1998-11-09
3636  */
3637 case_expr:      CASE case_arg when_clause_list case_default END_P
3638                         { $$ = cat_str(5, make_str("case"), $2, $3, $4, make_str("end")); }
3639                 | NULLIF '(' a_expr ',' a_expr ')'
3640                         { $$ = cat_str(5, make_str("nullif("), $3, make_str(","), $5, make_str(")")); }
3641                 | COALESCE '(' expr_list ')'
3642                         { $$ = cat_str(3, make_str("coalesce("), $3, make_str(")")); }
3643                 ;
3644
3645 when_clause_list:  when_clause_list when_clause
3646                         { $$ = cat2_str($1, $2); }
3647                 | when_clause
3648                         { $$ = $1; }
3649                 ;
3650
3651 when_clause:  WHEN a_expr THEN a_expr
3652                         { $$ = cat_str(4, make_str("when"), $2, make_str("then"), $4); }
3653                 ;
3654
3655 case_default:  ELSE a_expr
3656                         { $$ = cat2_str(make_str("else"), $2); }
3657                 | /*EMPTY*/
3658                         { $$ = EMPTY; }
3659                 ;
3660
3661 case_arg:  a_expr                       { $$ = $1; }
3662                 | /*EMPTY*/                     { $$ = EMPTY; }
3663                 ;
3664
3665 columnref: relation_name opt_indirection
3666                 { $$ = cat2_str($1, $2); }
3667         | dotted_name opt_indirection
3668                 { $$ = cat2_str($1, $2); }
3669         ;
3670
3671 dotted_name: relation_name attrs
3672                         { $$ = cat2_str($1, $2); }
3673                 ;
3674
3675 attrs: '.' attr_name
3676                         { $$ = cat2_str(make_str("."), $2); }
3677                 | '.' '*'
3678                         { $$ = make_str(".*"); }
3679                 | '.' attr_name attrs
3680                         { $$ = cat_str(3, make_str("."), $2, $3); }
3681                 ;
3682
3683 opt_empty_parentheses: '(' ')'  { $$ = make_str("()"); }
3684                 | /*EMPTY*/                             { $$ = EMPTY; }
3685                 ;
3686
3687
3688 /*****************************************************************************
3689  *
3690  *      target lists
3691  *
3692  *****************************************************************************/
3693
3694 /* Target lists as found in SELECT ... and INSERT VALUES ( ... ) */
3695 target_list:  target_list ',' target_el
3696                         { $$ = cat_str(3, $1, make_str(","), $3);  }
3697                 | target_el
3698                         { $$ = $1;      }
3699                 ;
3700
3701 /* AS is not optional because shift/red conflict with unary ops */
3702 target_el:      a_expr AS ColLabel
3703                         { $$ = cat_str(3, $1, make_str("as"), $3); }
3704                 | a_expr
3705                         { $$ = $1; }
3706                 | '*'
3707                         { $$ = make_str("*"); }
3708                 ;
3709
3710 /* Target list as found in UPDATE table SET ... */
3711 update_target_list:  update_target_list ',' update_target_el
3712                         { $$ = cat_str(3, $1, make_str(","),$3);        }
3713                 | update_target_el
3714                         { $$ = $1;      }
3715                 | '*'
3716                         { $$ = make_str("*"); }
3717                 ;
3718
3719 update_target_el:  ColId opt_indirection '=' a_expr
3720                         { $$ = cat_str(4, $1, $2, make_str("="), $4); }
3721                 ;
3722
3723 insert_target_list:  insert_target_list ',' insert_target_el
3724                                 {       $$ = cat_str(3, $1, make_str(","), $3);  }
3725                 | insert_target_el
3726                                 {       $$ = $1;  }
3727                 ;
3728
3729 insert_target_el:  target_el    {       $$ = $1;  }
3730                 | DEFAULT       {       $$ = make_str("default"); }
3731                 ;
3732
3733
3734 /*****************************************************************************
3735  *
3736  *         Names and constants
3737  *
3738  *****************************************************************************/
3739
3740 relation_name:  SpecialRuleRelation     { $$ = $1; }
3741                 | ColId                 { $$ = $1; }
3742                 ;
3743
3744 qualified_name_list:  qualified_name
3745                                 { $$ = $1; }
3746                 | qualified_name_list ',' qualified_name
3747                                 { $$ = cat_str(3, $1, make_str(","), $3); }
3748                 ;
3749
3750 qualified_name: relation_name
3751                 { $$ = $1; }
3752                 | dotted_name
3753                 { $$ = $1; }
3754                 ;
3755
3756 name_list:  name
3757                         { $$ = $1; }
3758                 | name_list ',' name
3759                         { $$ = cat_str(3, $1, make_str(","), $3); }
3760                 ;
3761
3762
3763 name:                                   ColId                   { $$ = $1; };
3764 database_name:                  ColId                   { $$ = $1; };
3765 access_method:                  ColId                   { $$ = $1; };
3766 attr_name:                              ColId                   { $$ = $1; };
3767 index_name:                             ColId                   { $$ = $1; };
3768
3769 file_name:                              StringConst             { $$ = $1; };
3770
3771 /* func_name will soon return a List ... but not yet */
3772 /*
3773 func_name: function_name
3774                         { $$ = makeList1(makeString($1)); }
3775                 | dotted_name
3776                         { $$ = $1; }
3777                 ;
3778 */
3779 func_name: function_name
3780                         { $$ = $1; }
3781                 | dotted_name
3782                         { $$ = $1; }
3783                 ;
3784
3785
3786 /* Constants
3787  * Include TRUE/FALSE for SQL3 support. - thomas 1997-10-24
3788  */
3789 AexprConst:  PosAllConst
3790                         { $$ = $1; }
3791                 | ConstTypename StringConst
3792                         { $$ = cat2_str($1, $2); }
3793                 | ConstInterval StringConst opt_interval
3794                         { $$ = cat_str(3, $1, $2, $3); }
3795                 | ConstInterval  '(' PosIntConst ')' StringConst opt_interval
3796                         { $$ = cat_str(6, $1, make_str("("), $3, make_str(")"), $5, $6); }
3797                 | PARAM opt_indirection
3798                         { $$ = cat2_str(make_str("param"), $2); }
3799                 | TRUE_P
3800                         { $$ = make_str("true"); }
3801                 | FALSE_P
3802                         { $$ = make_str("false"); }
3803                 | NULL_P
3804                         { $$ = make_str("null"); }
3805                 | civarind
3806                         { $$ = make_str("?"); }
3807                 ;
3808
3809 Iconst:  ICONST                         { $$ = make_name();};
3810 Fconst:  FCONST                         { $$ = make_name();};
3811 Bconst:  BCONST                         { $$ = make_name();};
3812 Xconst:  XCONST                         { $$ = make_name();};
3813 Sconst:  SCONST
3814                 {
3815                         $$ = (char *)mm_alloc(strlen($1) + 3);
3816                         $$[0]='\'';
3817                                         strcpy($$+1, $1);
3818                         $$[strlen($1)+2]='\0';
3819                         $$[strlen($1)+1]='\'';
3820                         free($1);
3821                 }
3822                 ;
3823
3824 PosIntConst:    Iconst          { $$ = $1; }
3825                 | civar                         { $$ = make_str("?"); }
3826                 ;
3827
3828 IntConst:       PosIntConst             { $$ = $1; }
3829                 | '-' PosIntConst       { $$ = cat2_str(make_str("-"), $2); }
3830                 ;
3831
3832 StringConst:    Sconst          { $$ = $1; }
3833                 | civar                         { $$ = make_str("?"); }
3834                 ;
3835
3836 PosIntStringConst:      Iconst  { $$ = $1; }
3837                 | Sconst                        { $$ = $1; }
3838                 | civar                         { $$ = make_str("?"); }
3839                 ;
3840
3841 NumConst:       Fconst                  { $$ = $1; }
3842                 | Iconst                        { $$ = $1; }
3843                 | '-' Fconst            { $$ = cat2_str(make_str("-"), $2); }
3844                 | '-' Iconst            { $$ = cat2_str(make_str("-"), $2); }
3845                 | civar                         { $$ = make_str("?"); }
3846                 ;
3847
3848 AllConst:       Sconst                  { $$ = $1; }
3849                 | NumConst                      { $$ = $1; }
3850                 ;
3851
3852 PosAllConst:    Sconst          { $$ = $1; }
3853                 | Fconst        { $$ = $1; }
3854                 | Iconst        { $$ = $1; }
3855                 | Bconst        { $$ = $1; }
3856                 | Xconst        { $$ = $1; }
3857                 | civar         { $$ = make_str("?"); }
3858                 ;
3859
3860 UserId:  ColId                          { $$ = $1;};
3861
3862 SpecialRuleRelation:  OLD
3863                 {
3864                         if (!QueryIsRule)
3865                                 mmerror(PARSE_ERROR, ET_ERROR, "OLD used in non-rule query");
3866
3867                         $$ = make_str("old");
3868                 }
3869                 | NEW
3870                 {
3871                         if (!QueryIsRule)
3872                                 mmerror(PARSE_ERROR, ET_ERROR, "NEW used in non-rule query");
3873
3874                         $$ = make_str("new");
3875                 }
3876                 ;
3877
3878 /*
3879  * and now special embedded SQL stuff
3880  */
3881
3882 /*
3883  * the exec sql connect statement: connect to the given database
3884  */
3885 ECPGConnect: SQL_CONNECT TO connection_target opt_connection_name opt_user
3886                         { $$ = cat_str(5, $3, make_str(","), $5, make_str(","), $4); }
3887                 | SQL_CONNECT TO DEFAULT
3888                         { $$ = make_str("NULL,NULL,NULL,\"DEFAULT\""); }
3889                   /* also allow ORACLE syntax */
3890                 | SQL_CONNECT ora_user
3891                         { $$ = cat_str(3, make_str("NULL,"), $2, make_str(",NULL")); }
3892                 | DATABASE connection_target
3893                         { $$ = cat2_str($2, make_str(",NULL,NULL,NULL")); }
3894                 ;
3895
3896 connection_target: database_name opt_server opt_port
3897                 {
3898                         /* old style: dbname[@server][:port] */
3899                         if (strlen($2) > 0 && *($2) != '@')
3900                         {
3901                                 snprintf(errortext, sizeof(errortext),
3902                                                  "Expected '@', found '%s'", $2);
3903                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
3904                         }
3905
3906                         $$ = make3_str(make_str("\""), make3_str($1, $2, $3), make_str("\""));
3907                 }
3908                 |  db_prefix ':' server opt_port '/' database_name opt_options
3909                 {
3910                         /* new style: <tcp|unix>:postgresql://server[:port][/dbname] */
3911                         if (strncmp($1, "unix:postgresql", strlen("unix:postgresql")) != 0 && strncmp($1, "tcp:postgresql", strlen("tcp:postgresql")) != 0)
3912                         {
3913                                 snprintf(errortext, sizeof(errortext), "only protocols 'tcp' and 'unix' and database type 'postgresql' are supported");
3914                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
3915                         }
3916
3917                         if (strncmp($3, "//", strlen("//")) != 0)
3918                         {
3919                                 snprintf(errortext, sizeof(errortext), "Expected '://', found '%s'", $3);
3920                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
3921                         }
3922
3923                         if (strncmp($1, "unix", strlen("unix")) == 0 &&
3924                                 strncmp($3 + strlen("//"), "localhost", strlen("localhost")) != 0 &&
3925                                 strncmp($3 + strlen("//"), "127.0.0.1", strlen("127.0.0.1")) != 0)
3926                         {
3927                                 snprintf(errortext, sizeof(errortext), "unix domain sockets only work on 'localhost' but not on '%9.9s'", $3 + strlen("//"));
3928                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
3929                         }
3930
3931                         $$ = make3_str(make3_str(make_str("\""), $1, make_str(":")), $3, make3_str(make3_str($4, make_str("/"), $6),    $7, make_str("\"")));
3932                 }
3933                 | StringConst
3934                 {
3935                         if ($1[0] == '\"')
3936                                 $$ = $1;
3937                         else if (strcmp($1, "?") == 0) /* variable */
3938                         {
3939                                 enum ECPGttype type = argsinsert->variable->type->type;
3940
3941                                 /* if array see what's inside */
3942                                 if (type == ECPGt_array)
3943                                         type = argsinsert->variable->type->u.element->type;
3944
3945                                 /* handle varchars */
3946                                 if (type == ECPGt_varchar)
3947                                         $$ = make2_str(mm_strdup(argsinsert->variable->name), make_str(".arr"));
3948                                 else
3949                                         $$ = mm_strdup(argsinsert->variable->name);
3950                         }
3951                         else
3952                                 $$ = make3_str(make_str("\""), $1, make_str("\""));
3953                 }
3954                 ;
3955
3956 db_prefix: ident CVARIABLE
3957                 {
3958                         if (strcmp($2, "postgresql") != 0 && strcmp($2, "postgres") != 0)
3959                         {
3960                                 snprintf(errortext, sizeof(errortext), "Expected 'postgresql', found '%s'", $2);
3961                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
3962                         }
3963
3964                         if (strcmp($1, "tcp") != 0 && strcmp($1, "unix") != 0)
3965                         {
3966                                 snprintf(errortext, sizeof(errortext), "Illegal connection type %s", $1);
3967                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
3968                         }
3969
3970                         $$ = make3_str($1, make_str(":"), $2);
3971                 }
3972                 ;
3973
3974 server: Op server_name
3975                 {
3976                         if (strcmp($1, "@") != 0 && strcmp($1, "//") != 0)
3977                         {
3978                                 snprintf(errortext, sizeof(errortext), "Expected '@' or '://', found '%s'", $1);
3979                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
3980                         }
3981
3982                         $$ = make2_str($1, $2);
3983                 }
3984                 ;
3985
3986 opt_server: server                      { $$ = $1; }
3987                 | /*EMPTY*/                     { $$ = EMPTY; }
3988                 ;
3989
3990 server_name: ColId                                      { $$ = $1; }
3991                 | ColId '.' server_name         { $$ = make3_str($1, make_str("."), $3); }
3992                 | IP                                            { $$ = make_name(); }
3993                 ;
3994
3995 opt_port: ':' PosIntConst       { $$ = make2_str(make_str(":"), $2); }
3996                 | /*EMPTY*/                     { $$ = EMPTY; }
3997                 ;
3998
3999 opt_connection_name: AS connection_target { $$ = $2; }
4000                 | /*EMPTY*/                     { $$ = make_str("NULL"); }
4001                 ;
4002
4003 opt_user: USER ora_user         { $$ = $2; }
4004                 | /*EMPTY*/                     { $$ = make_str("NULL,NULL"); }
4005                 ;
4006
4007 ora_user: user_name
4008                         { $$ = cat2_str($1, make_str(", NULL")); }
4009                 | user_name '/' user_name
4010                         { $$ = cat_str(3, $1, make_str(","), $3); }
4011                 | user_name SQL_IDENTIFIED BY user_name
4012                         { $$ = cat_str(3, $1, make_str(","), $4); }
4013                 | user_name USING user_name
4014                         { $$ = cat_str(3, $1, make_str(","), $3); }
4015                 ;
4016
4017 user_name: UserId
4018                 {
4019                         if ($1[0] == '\"')
4020                                 $$ = $1;
4021                         else
4022                                 $$ = make3_str(make_str("\""), $1, make_str("\""));
4023                 }
4024                 | StringConst
4025                 {
4026                         if ($1[0] == '\"')
4027                                 $$ = $1;
4028                         else if (strcmp($1, "?") == 0) /* variable */
4029                         {
4030                                 enum ECPGttype type = argsinsert->variable->type->type;
4031
4032                                 /* if array see what's inside */
4033                                 if (type == ECPGt_array)
4034                                         type = argsinsert->variable->type->u.element->type;
4035
4036                                 /* handle varchars */
4037                                 if (type == ECPGt_varchar)
4038                                         $$ = make2_str(mm_strdup(argsinsert->variable->name), make_str(".arr"));
4039                                 else
4040                                         $$ = mm_strdup(argsinsert->variable->name);
4041                         }
4042                         else
4043                                 $$ = make3_str(make_str("\""), $1, make_str("\""));
4044                 }
4045                 ;
4046
4047 char_variable: CVARIABLE
4048                 {
4049                         /* check if we have a char variable */
4050                         struct variable *p = find_variable($1);
4051                         enum ECPGttype type = p->type->type;
4052
4053                         /* if array see what's inside */
4054                         if (type == ECPGt_array)
4055                                 type = p->type->u.element->type;
4056
4057                         switch (type)
4058                         {
4059                                 case ECPGt_char:
4060                                 case ECPGt_unsigned_char:
4061                                         $$ = $1;
4062                                         break;
4063                                 case ECPGt_varchar:
4064                                         $$ = make2_str($1, make_str(".arr"));
4065                                         break;
4066                                 default:
4067                                         mmerror(PARSE_ERROR, ET_ERROR, "invalid datatype");
4068                                         break;
4069                         }
4070                 }
4071                 ;
4072
4073 opt_options: Op ColId
4074                 {
4075                         if (strlen($1) == 0)
4076                                 mmerror(PARSE_ERROR, ET_ERROR, "incomplete statement");
4077
4078                         if (strcmp($1, "?") != 0)
4079                         {
4080                                 snprintf(errortext, sizeof(errortext), "unrecognised token '%s'", $1);
4081                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
4082                         }
4083
4084                         $$ = make2_str(make_str("?"), $2);
4085                 }
4086                 | /*EMPTY*/     { $$ = EMPTY; }
4087                 ;
4088
4089 /*
4090  * Declare a prepared cursor. The syntax is different from the standard
4091  * declare statement, so we create a new rule.
4092  */
4093 ECPGCursorStmt:  DECLARE name opt_cursor CURSOR FOR ident
4094                 {
4095                         struct cursor *ptr, *this;
4096                         struct variable *thisquery = (struct variable *)mm_alloc(sizeof(struct variable));
4097
4098                         for (ptr = cur; ptr != NULL; ptr = ptr->next)
4099                         {
4100                                 if (strcmp($2, ptr->name) == 0)
4101                                 {
4102                                                 /* re-definition is a bug */
4103                                         snprintf(errortext, sizeof(errortext), "cursor %s already defined", $2);
4104                                         mmerror(PARSE_ERROR, ET_ERROR, errortext);
4105                                 }
4106                         }
4107
4108                         this = (struct cursor *) mm_alloc(sizeof(struct cursor));
4109
4110                         /* initial definition */
4111                         this->next = cur;
4112                         this->name = $2;
4113                         this->connection = connection;
4114                         this->command =  cat_str(4, make_str("declare"), mm_strdup($2), $3, make_str("cursor for ?"));
4115                         this->argsresult = NULL;
4116
4117                         thisquery->type = &ecpg_query;
4118                         thisquery->brace_level = 0;
4119                         thisquery->next = NULL;
4120                         thisquery->name = (char *) mm_alloc(sizeof("ECPGprepared_statement(\"\")") + strlen($6));
4121                         sprintf(thisquery->name, "ECPGprepared_statement(\"%s\")", $6);
4122
4123                         this->argsinsert = NULL;
4124                         add_variable(&(this->argsinsert), thisquery, &no_indicator);
4125
4126                         cur = this;
4127
4128                         $$ = cat_str(3, make_str("/*"), mm_strdup(this->command), make_str("*/"));
4129                 }
4130                 ;
4131
4132 /*
4133  * the exec sql deallocate prepare command to deallocate a previously
4134  * prepared statement
4135  */
4136 ECPGDeallocate: DEALLOCATE PREPARE ident
4137                         { $$ = cat_str(3, make_str("ECPGdeallocate(__LINE__, \""), $3, make_str("\");")); }
4138                 | DEALLOCATE ident
4139                         { $$ = cat_str(2, make_str("ECPGdeallocate(__LINE__, \""), $2, make_str("\");")); }
4140                 ;
4141
4142 /*
4143  * variable decalartion outside exec sql declare block
4144  */
4145 ECPGVarDeclaration: single_vt_declaration;
4146
4147 single_vt_declaration: type_declaration         { $$ = $1; }
4148                 | single_var_declaration        { $$ = $1; }
4149                 ;
4150
4151 single_var_declaration: storage_declaration
4152                 single_vt_type
4153                 {
4154                         actual_type[struct_level].type_enum = $2.type_enum;
4155                         actual_type[struct_level].type_dimension = $2.type_dimension;
4156                         actual_type[struct_level].type_index = $2.type_index;
4157                         actual_type[struct_level].type_sizeof = $2.type_sizeof;
4158
4159                         /* we do not need the string "varchar" for output */
4160                         /* so replace it with an empty string */
4161                         if ($2.type_enum == ECPGt_varchar)
4162                         {
4163                                 free($2.type_str);
4164                                 $2.type_str=EMPTY;
4165                         }
4166                 }
4167                 variable_list ';'
4168                 {
4169                         $$ = cat_str(5, actual_startline[struct_level], $1, $2.type_str, $4, make_str(";\n"));
4170                 }
4171                 ;
4172
4173 single_vt_type: common_type
4174                 | ECPGColLabelCommon
4175                 {
4176                         /*
4177                          * Check for type names that the SQL grammar treats as
4178                          * unreserved keywords
4179                          */
4180                         if (strcmp($1, "varchar") == 0)
4181                         {
4182                                 $$.type_enum = ECPGt_varchar;
4183                                 $$.type_str = make_str("varchar");
4184                                 $$.type_dimension = -1;
4185                                 $$.type_index = -1;
4186                                 $$.type_sizeof = NULL;
4187                         }
4188                         else if (strcmp($1, "float") == 0)
4189                         {
4190                                 $$.type_enum = ECPGt_float;
4191                                 $$.type_str = make_str("float");
4192                                 $$.type_dimension = -1;
4193                                 $$.type_index = -1;
4194                                 $$.type_sizeof = NULL;
4195                         }
4196                         else if (strcmp($1, "double") == 0)
4197                         {
4198                                 $$.type_enum = ECPGt_double;
4199                                 $$.type_str = make_str("double");
4200                                 $$.type_dimension = -1;
4201                                 $$.type_index = -1;
4202                                 $$.type_sizeof = NULL;
4203                         }
4204                         else
4205                         {
4206                                 /* this is for typedef'ed types */
4207                                 struct typedefs *this = get_typedef($1);
4208
4209                                 $$.type_str = (this->type->type_enum == ECPGt_varchar) ? EMPTY : mm_strdup(this->name);
4210                                 $$.type_enum = this->type->type_enum;
4211                                 $$.type_dimension = this->type->type_dimension;
4212                                 $$.type_index = this->type->type_index;
4213                                 $$.type_sizeof = this->type->type_sizeof;
4214                                 struct_member_list[struct_level] = ECPGstruct_member_dup(this->struct_member_list);
4215                         }
4216                 }
4217                 ;
4218
4219 /*
4220  * variable declaration inside exec sql declare block
4221  */
4222 ECPGDeclaration: sql_startdeclare
4223                 { fputs("/* exec sql begin declare section */", yyout); }
4224                 var_type_declarations sql_enddeclare
4225                 {
4226                         fprintf(yyout, "%s/* exec sql end declare section */", $3);
4227                         free($3);
4228                         output_line_number();
4229                 }
4230                 ;
4231
4232 sql_startdeclare: ecpgstart BEGIN_P DECLARE SQL_SECTION ';' {};
4233
4234 sql_enddeclare: ecpgstart END_P DECLARE SQL_SECTION ';' {};
4235
4236 var_type_declarations:  /*EMPTY*/                       { $$ = EMPTY; }
4237                 | vt_declarations                       { $$ = $1; }
4238                 ;
4239
4240 vt_declarations:  var_declaration                       { $$ = $1; }
4241                 | type_declaration                      { $$ = $1; }
4242                 | vt_declarations var_declaration       { $$ = cat2_str($1, $2); }
4243                 | vt_declarations type_declaration      { $$ = cat2_str($1, $2); }
4244                 ;
4245
4246 variable_declarations:  var_declaration                         { $$ = $1; }
4247                 | variable_declarations var_declaration         { $$ = cat2_str($1, $2); }
4248                 ;
4249
4250 type_declaration: S_TYPEDEF
4251         {
4252                 /* reset this variable so we see if there was */
4253                 /* an initializer specified */
4254                 initializer = 0;
4255         }
4256         type opt_pointer ECPGColLabel opt_type_array_bounds ';'
4257         {
4258                 /* add entry to list */
4259                 struct typedefs *ptr, *this;
4260                 int dimension = $6.index1;
4261                 int length = $6.index2;
4262
4263                 if (($3.type_enum == ECPGt_struct ||
4264                      $3.type_enum == ECPGt_union) &&
4265                     initializer == 1)
4266                 {
4267                         mmerror(PARSE_ERROR, ET_ERROR, "Initializer not allowed in typedef command");
4268
4269                 }
4270                 else
4271                 {
4272                         for (ptr = types; ptr != NULL; ptr = ptr->next)
4273                         {
4274                                 if (strcmp($5, ptr->name) == 0)
4275                                 {
4276                                         /* re-definition is a bug */
4277                                         snprintf(errortext, sizeof(errortext), "Type %s already defined", $5);
4278                                         mmerror(PARSE_ERROR, ET_ERROR, errortext);
4279                                 }
4280                         }
4281
4282                         adjust_array($3.type_enum, &dimension, &length, $3.type_dimension, $3.type_index, *$4?1:0);
4283
4284                         this = (struct typedefs *) mm_alloc(sizeof(struct typedefs));
4285
4286                         /* initial definition */
4287                         this->next = types;
4288                         this->name = $5;
4289                         this->type = (struct this_type *) mm_alloc(sizeof(struct this_type));
4290                         this->type->type_enum = $3.type_enum;
4291                         this->type->type_str = mm_strdup($5);
4292                         this->type->type_dimension = dimension; /* dimension of array */
4293                         this->type->type_index = length;    /* lenght of string */
4294                         this->type->type_sizeof = ECPGstruct_sizeof;
4295                         this->struct_member_list = ($3.type_enum == ECPGt_struct || $3.type_enum == ECPGt_union) ?
4296                                 struct_member_list[struct_level] : NULL;
4297
4298                         if ($3.type_enum != ECPGt_varchar &&
4299                             $3.type_enum != ECPGt_char &&
4300                             $3.type_enum != ECPGt_unsigned_char &&
4301                             this->type->type_index >= 0)
4302                                 mmerror(PARSE_ERROR, ET_ERROR, "No multi-dimensional array support for simple data types");
4303
4304                         types = this;
4305                 }
4306
4307                 fprintf(yyout, "typedef %s %s %s %s;\n", $3.type_str, *$4?"*":"", $5, $6.str);
4308                 output_line_number();
4309                 $$ = make_str("");
4310         };
4311
4312 var_declaration: storage_declaration
4313                 type
4314                 {
4315                         actual_type[struct_level].type_enum = $2.type_enum;
4316                         actual_type[struct_level].type_dimension = $2.type_dimension;
4317                         actual_type[struct_level].type_index = $2.type_index;
4318                         actual_type[struct_level].type_sizeof = $2.type_sizeof;
4319
4320                         /* we do not need the string "varchar" for output */
4321                         /* so replace it with an empty string */
4322                         if ($2.type_enum == ECPGt_varchar)
4323                         {
4324                                 free($2.type_str);
4325                                 $2.type_str=EMPTY;
4326                         }
4327                 }
4328                 variable_list ';'
4329                 {
4330                         $$ = cat_str(5, actual_startline[struct_level], $1, $2.type_str, $4, make_str(";\n"));
4331                 }
4332                 ;
4333
4334 storage_declaration: storage_clause storage_modifier
4335                 {
4336                         actual_storage[struct_level] = cat2_str(mm_strdup($1), mm_strdup($2));
4337                         actual_startline[struct_level] = hashline_number();
4338                 }
4339                 ;
4340
4341 storage_clause : S_EXTERN               { $$ = make_str("extern"); }
4342                 | S_STATIC                              { $$ = make_str("static"); }
4343                 | S_REGISTER                    { $$ = make_str("register"); }
4344                 | S_AUTO                                { $$ = make_str("auto"); }
4345                 | /*EMPTY*/                             { $$ = EMPTY; }
4346                 ;
4347
4348 storage_modifier : S_CONST              { $$ = make_str("const"); }
4349                 | S_VOLATILE                    { $$ = make_str("volatile"); }
4350                 | /*EMPTY*/                             { $$ = EMPTY; }
4351                 ;
4352
4353 common_type: simple_type
4354                 {
4355                         $$.type_enum = $1;
4356                         $$.type_str = mm_strdup(ECPGtype_name($1));
4357                         $$.type_dimension = -1;
4358                         $$.type_index = -1;
4359                         $$.type_sizeof = NULL;
4360                 }
4361                 | struct_type
4362                 {
4363                         $$.type_enum = ECPGt_struct;
4364                         $$.type_str = $1;
4365                         $$.type_dimension = -1;
4366                         $$.type_index = -1;
4367                         $$.type_sizeof = ECPGstruct_sizeof;
4368                 }
4369                 | union_type
4370                 {
4371                         $$.type_enum = ECPGt_union;
4372                         $$.type_str = $1;
4373                         $$.type_dimension = -1;
4374                         $$.type_index = -1;
4375                         $$.type_sizeof = NULL;
4376                 }
4377                 | enum_type
4378                 {
4379                         $$.type_str = $1;
4380                         $$.type_enum = ECPGt_int;
4381                         $$.type_dimension = -1;
4382                         $$.type_index = -1;
4383                         $$.type_sizeof = NULL;
4384                 }
4385                 ;
4386
4387 type:           common_type
4388                 | ECPGColLabel
4389                 {
4390                         /*
4391                          * Check for type names that the SQL grammar treats as
4392                          * unreserved keywords
4393                          */
4394                         if (strcmp($1, "varchar") == 0)
4395                         {
4396                                 $$.type_enum = ECPGt_varchar;
4397                                 $$.type_str = make_str("varchar");
4398                                 $$.type_dimension = -1;
4399                                 $$.type_index = -1;
4400                                 $$.type_sizeof = NULL;
4401                         }
4402                         else if (strcmp($1, "float") == 0)
4403                         {
4404                                 $$.type_enum = ECPGt_float;
4405                                 $$.type_str = make_str("float");
4406                                 $$.type_dimension = -1;
4407                                 $$.type_index = -1;
4408                                 $$.type_sizeof = NULL;
4409                         }
4410                         else if (strcmp($1, "double") == 0)
4411                         {
4412                                 $$.type_enum = ECPGt_double;
4413                                 $$.type_str = make_str("double");
4414                                 $$.type_dimension = -1;
4415                                 $$.type_index = -1;
4416                                 $$.type_sizeof = NULL;
4417                         }
4418                         else
4419                         {
4420                                 /* this is for typedef'ed types */
4421                                 struct typedefs *this = get_typedef($1);
4422
4423                                 $$.type_str = (this->type->type_enum == ECPGt_varchar) ? EMPTY : mm_strdup(this->name);
4424                                 $$.type_enum = this->type->type_enum;
4425                                 $$.type_dimension = this->type->type_dimension;
4426                                 $$.type_index = this->type->type_index;
4427                                 $$.type_sizeof = this->type->type_sizeof;
4428                                 struct_member_list[struct_level] = ECPGstruct_member_dup(this->struct_member_list);
4429                         }
4430                 }
4431                 ;
4432
4433 enum_type: SQL_ENUM opt_symbol enum_definition
4434                         { $$ = cat_str(3, make_str("enum"), $2, $3); }
4435                 |  SQL_ENUM symbol
4436                         { $$ = cat2_str(make_str("enum"), $2); }
4437                 ;
4438
4439 enum_definition: '{' c_list '}'
4440                         { $$ = cat_str(3, make_str("{"), $2, make_str("}")); };
4441
4442 struct_type: s_struct '{' variable_declarations '}'
4443                 {
4444                         ECPGfree_struct_member(struct_member_list[struct_level]);
4445                         struct_member_list[struct_level] = NULL;
4446                         free(actual_storage[struct_level--]);
4447                         $$ = cat_str(4, $1, make_str("{"), $3, make_str("}"));
4448                 }
4449                 ;
4450
4451 union_type: s_union '{' variable_declarations '}'
4452                 {
4453                         ECPGfree_struct_member(struct_member_list[struct_level]);
4454                         struct_member_list[struct_level] = NULL;
4455                         free(actual_storage[struct_level--]);
4456                         $$ = cat_str(4, $1, make_str("{"), $3, make_str("}"));
4457                 }
4458                 ;
4459
4460 s_struct: SQL_STRUCT opt_symbol
4461                 {
4462                         struct_member_list[struct_level++] = NULL;
4463                         $$ = cat2_str(make_str("struct"), $2);
4464                         ECPGstruct_sizeof = cat_str(3, make_str("sizeof("), strdup($$), make_str(")"));
4465                         if (struct_level >= STRUCT_DEPTH)
4466                                  mmerror(PARSE_ERROR, ET_ERROR, "Too many levels in nested structure definition");
4467                 }
4468                 ;
4469
4470 s_union: UNION opt_symbol
4471                 {
4472                         struct_member_list[struct_level++] = NULL;
4473                         if (struct_level >= STRUCT_DEPTH)
4474                                  mmerror(PARSE_ERROR, ET_ERROR, "Too many levels in nested structure definition");
4475
4476                         $$ = cat2_str(make_str("union"), $2);
4477                 }
4478                 ;
4479
4480 simple_type: unsigned_type                                      { $$=$1; }
4481                 |       opt_signed signed_type                  { $$=$2; }
4482                 ;
4483
4484 unsigned_type: SQL_UNSIGNED SQL_SHORT           { $$ = ECPGt_unsigned_short; }
4485                 | SQL_UNSIGNED SQL_SHORT INT    { $$ = ECPGt_unsigned_short; }
4486                 | SQL_UNSIGNED                                          { $$ = ECPGt_unsigned_int; }
4487                 | SQL_UNSIGNED INT                              { $$ = ECPGt_unsigned_int; }
4488                 | SQL_UNSIGNED SQL_LONG                         { $$ = ECPGt_unsigned_long; }
4489                 | SQL_UNSIGNED SQL_LONG INT             { $$ = ECPGt_unsigned_long; }
4490                 | SQL_UNSIGNED SQL_LONG SQL_LONG
4491                 {
4492 #ifdef HAVE_LONG_LONG_INT_64
4493                         $$ = ECPGt_unsigned_long_long;
4494 #else
4495                         $$ = ECPGt_unsigned_long;
4496 #endif
4497                 }
4498                 | SQL_UNSIGNED SQL_LONG SQL_LONG INT
4499                 {
4500 #ifdef HAVE_LONG_LONG_INT_64
4501                         $$ = ECPGt_unsigned_long_long;
4502 #else
4503                         $$ = ECPGt_unsigned_long;
4504 #endif
4505                 }
4506                 | SQL_UNSIGNED CHAR_P                   { $$ = ECPGt_unsigned_char; }
4507                 ;
4508
4509 signed_type: SQL_SHORT                          { $$ = ECPGt_short; }
4510                 | SQL_SHORT INT                 { $$ = ECPGt_short; }
4511                 | INT                                   { $$ = ECPGt_int; }
4512                 | SQL_LONG                                      { $$ = ECPGt_long; }
4513                 | SQL_LONG INT                  { $$ = ECPGt_long; }
4514                 | SQL_LONG SQL_LONG
4515                 {
4516 #ifdef HAVE_LONG_LONG_INT_64
4517                         $$ = ECPGt_long_long;
4518 #else
4519                         $$ = ECPGt_long;
4520 #endif
4521                 }
4522                 | SQL_LONG SQL_LONG INT
4523                 {
4524 #ifdef HAVE_LONG_LONG_INT_64
4525                         $$ = ECPGt_long_long;
4526 #else
4527                         $$ = ECPGt_long;
4528 #endif
4529                 }
4530                 | SQL_BOOL                                      { $$ = ECPGt_bool; }
4531                 | CHAR_P                                        { $$ = ECPGt_char; }
4532                 ;
4533
4534 opt_signed: SQL_SIGNED
4535                 |       /* EMPTY */
4536                 ;
4537
4538 variable_list: variable
4539                         { $$ = $1; }
4540                 | variable_list ',' variable
4541                         { $$ = cat_str(3, $1, make_str(","), $3); }
4542                 ;
4543
4544 variable: opt_pointer ECPGColLabel opt_array_bounds opt_initializer
4545                 {
4546                         struct ECPGtype * type;
4547                         int dimension = $3.index1; /* dimension of array */
4548                         int length = $3.index2;    /* lenght of string */
4549                         char dim[14L], ascii_len[12];
4550
4551                         adjust_array(actual_type[struct_level].type_enum, &dimension, &length, actual_type[struct_level].type_dimension, actual_type[struct_level].type_index, strlen($1));
4552
4553                         switch (actual_type[struct_level].type_enum)
4554                         {
4555                                 case ECPGt_struct:
4556                                 case ECPGt_union:
4557                                         if (dimension < 0)
4558                                                 type = ECPGmake_struct_type(struct_member_list[struct_level], actual_type[struct_level].type_enum, actual_type[struct_level].type_sizeof);
4559                                         else
4560                                                 type = ECPGmake_array_type(ECPGmake_struct_type(struct_member_list[struct_level], actual_type[struct_level].type_enum, actual_type[struct_level].type_sizeof), dimension);
4561
4562                                         $$ = cat_str(4, $1, mm_strdup($2), $3.str, $4);
4563                                         break;
4564
4565                                 case ECPGt_varchar:
4566                                         if (dimension < 0)
4567                                                 type = ECPGmake_simple_type(actual_type[struct_level].type_enum, length);
4568                                         else
4569                                                 type = ECPGmake_array_type(ECPGmake_simple_type(actual_type[struct_level].type_enum, length), dimension);
4570
4571                                         switch(dimension)
4572                                         {
4573                                                 case 0:
4574                                                 case -1:
4575                                                 case 1:
4576                                                         *dim = '\0';
4577                                                         break;
4578                                                 default:
4579                                                         sprintf(dim, "[%d]", dimension);
4580                                                         break;
4581                                         }
4582                                         sprintf(ascii_len, "%d", length);
4583
4584                                         if (length == 0)
4585                                                 mmerror(PARSE_ERROR, ET_ERROR, "pointer to varchar are not implemented");
4586
4587                                         if (dimension == 0)
4588                                                 $$ = cat_str(7, mm_strdup(actual_storage[struct_level]), make2_str(make_str(" struct varchar_"), mm_strdup($2)), make_str(" { int len; char arr["), mm_strdup(ascii_len), make_str("]; } *"), mm_strdup($2), $4);
4589                                         else
4590                                            $$ = cat_str(8, mm_strdup(actual_storage[struct_level]), make2_str(make_str(" struct varchar_"), mm_strdup($2)), make_str(" { int len; char arr["), mm_strdup(ascii_len), make_str("]; } "), mm_strdup($2), mm_strdup(dim), $4);
4591                                         break;
4592
4593                                 case ECPGt_char:
4594                                 case ECPGt_unsigned_char:
4595                                         if (dimension == -1)
4596                                                 type = ECPGmake_simple_type(actual_type[struct_level].type_enum, length);
4597                                         else
4598                                                 type = ECPGmake_array_type(ECPGmake_simple_type(actual_type[struct_level].type_enum, length), dimension);
4599
4600                                         $$ = cat_str(4, $1, mm_strdup($2), $3.str, $4);
4601                                         break;
4602
4603                                 default:
4604                                         if (dimension < 0)
4605                                                 type = ECPGmake_simple_type(actual_type[struct_level].type_enum, 1);
4606                                         else
4607                                                 type = ECPGmake_array_type(ECPGmake_simple_type(actual_type[struct_level].type_enum, 1), dimension);
4608
4609                                         $$ = cat_str(4, $1, mm_strdup($2), $3.str, $4);
4610                                         break;
4611                         }
4612
4613                         if (struct_level == 0)
4614                                 new_variable($2, type, braces_open);
4615                         else
4616                                 ECPGmake_struct_member($2, type, &(struct_member_list[struct_level - 1]));
4617
4618                         free($2);
4619                 }
4620                 ;
4621
4622 opt_initializer: /*EMPTY*/
4623                         { $$ = EMPTY; }
4624                 | '=' c_term
4625                 {
4626                         initializer = 1;
4627                         $$ = cat2_str(make_str("="), $2);
4628                 }
4629                 ;
4630
4631 opt_pointer: /*EMPTY*/                          { $$ = EMPTY; }
4632                 | '*'                                           { $$ = make_str("*"); }
4633                 | '*' '*'                                       { $$ = make_str("**"); }
4634                 ;
4635
4636 /*
4637  * As long as the prepare statement is not supported by the backend, we will
4638  * try to simulate it here so we get dynamic SQL
4639  */
4640 ECPGDeclare: DECLARE STATEMENT ident
4641                 {
4642                         /* this is only supported for compatibility */
4643                         $$ = cat_str(3, make_str("/* declare statement"), $3, make_str("*/"));
4644                 }
4645                 ;
4646 /*
4647  * the exec sql disconnect statement: disconnect from the given database
4648  */
4649 ECPGDisconnect: SQL_DISCONNECT dis_name { $$ = $2; }
4650                 ;
4651
4652 dis_name: connection_object                             { $$ = $1; }
4653                 | SQL_CURRENT                                           { $$ = make_str("\"CURRENT\""); }
4654                 | ALL                                                   { $$ = make_str("\"ALL\""); }
4655                 | /*EMPTY*/                                             { $$ = make_str("\"CURRENT\""); }
4656                 ;
4657
4658 connection_object: connection_target    { $$ = $1; }
4659                 | DEFAULT                                               { $$ = make_str("\"DEFAULT\""); }
4660                 ;
4661
4662 /*
4663  * execute a given string as sql command
4664  */
4665 ECPGExecute : EXECUTE IMMEDIATE execstring
4666                 {
4667                         struct variable *thisquery = (struct variable *)mm_alloc(sizeof(struct variable));
4668
4669                         thisquery->type = &ecpg_query;
4670                         thisquery->brace_level = 0;
4671                         thisquery->next = NULL;
4672                         thisquery->name = $3;
4673
4674                         add_variable(&argsinsert, thisquery, &no_indicator);
4675
4676                         $$ = make_str("?");
4677                 }
4678                 | EXECUTE name
4679                 {
4680                         struct variable *thisquery = (struct variable *)mm_alloc(sizeof(struct variable));
4681
4682                         thisquery->type = &ecpg_query;
4683                         thisquery->brace_level = 0;
4684                         thisquery->next = NULL;
4685                         thisquery->name = (char *) mm_alloc(sizeof("ECPGprepared_statement(\"\")") + strlen($2));
4686                         sprintf(thisquery->name, "ECPGprepared_statement(\"%s\")", $2);
4687
4688                         add_variable(&argsinsert, thisquery, &no_indicator);
4689                 }
4690                 opt_ecpg_using opt_ecpg_into
4691                 {
4692                         $$ = make_str("?");
4693                 }
4694                 ;
4695
4696 execstring: char_variable
4697                         { $$ = $1; }
4698                 |       CSTRING
4699                         { $$ = make3_str(make_str("\""), $1, make_str("\"")); }
4700                 ;
4701
4702 /*
4703  * the exec sql free command to deallocate a previously
4704  * prepared statement
4705  */
4706 ECPGFree:       SQL_FREE name   { $$ = $2; };
4707
4708 /*
4709  * open is an open cursor, at the moment this has to be removed
4710  */
4711 ECPGOpen: SQL_OPEN name opt_ecpg_using { $$ = $2; };
4712
4713 opt_ecpg_using: /*EMPTY*/               { $$ = EMPTY; }
4714                 | USING variablelist
4715                 {
4716                         /* mmerror ("open cursor with variables not implemented yet"); */
4717                         $$ = EMPTY;
4718                 }
4719                 ;
4720
4721 opt_sql: /*EMPTY*/ | SQL_SQL;
4722
4723 ecpg_into: INTO into_list
4724                 {
4725                         $$ = EMPTY;
4726                 }
4727                 | INTO opt_sql SQL_DESCRIPTOR quoted_ident_stringvar
4728                 {
4729                         add_variable(&argsresult, descriptor_variable($4,0), &no_indicator);
4730                         $$ = EMPTY;
4731                 }
4732                 ;
4733
4734 opt_ecpg_into: /*EMPTY*/                        { $$ = EMPTY; }
4735                 | ecpg_into                                     { $$ = $1; }
4736                 ;
4737
4738 variable: civarind | civar
4739                 ;
4740 variablelist: variable | variable ',' variablelist;
4741
4742 /*
4743  * As long as the prepare statement is not supported by the backend, we will
4744  * try to simulate it here so we get dynamic SQL
4745  */
4746 ECPGPrepare: PREPARE name FROM execstring
4747                         { $$ = cat2_str(make3_str(make_str("\""), $2, make_str("\",")), $4); }
4748                 ;
4749
4750 /*
4751  * dynamic SQL: descriptor based access
4752  *      written by Christof Petig <christof.petig@wtal.de>
4753  */
4754
4755 /*
4756  * deallocate a descriptor
4757  */
4758 ECPGDeallocateDescr:    DEALLOCATE SQL_DESCRIPTOR quoted_ident_stringvar
4759                 {
4760                         drop_descriptor($3,connection);
4761                         $$ = $3;
4762                 }
4763                 ;
4764
4765 /*
4766  * allocate a descriptor
4767  */
4768 ECPGAllocateDescr:      SQL_ALLOCATE SQL_DESCRIPTOR quoted_ident_stringvar
4769                 {
4770                         add_descriptor($3,connection);
4771                         $$ = $3;
4772                 };
4773
4774 /*
4775  * read from descriptor
4776  */
4777
4778 ECPGGetDescHeaderItem: CVARIABLE '=' desc_header_item
4779                         { push_assignment($1, $3); }
4780                 ;
4781
4782 desc_header_item:       SQL_COUNT                       { $$ = ECPGd_count; }
4783                 ;
4784
4785 ECPGGetDescItem: CVARIABLE '=' descriptor_item  { push_assignment($1, $3); };
4786
4787 descriptor_item:        SQL_CARDINALITY         { $$ = ECPGd_cardinality; }
4788                 | SQL_DATA                                              { $$ = ECPGd_data; }
4789                 | SQL_DATETIME_INTERVAL_CODE    { $$ = ECPGd_di_code; }
4790                 | SQL_DATETIME_INTERVAL_PRECISION { $$ = ECPGd_di_precision; }
4791                 | SQL_INDICATOR                                 { $$ = ECPGd_indicator; }
4792                 | SQL_KEY_MEMBER                                { $$ = ECPGd_key_member; }
4793                 | SQL_LENGTH                                    { $$ = ECPGd_length; }
4794                 | SQL_NAME                                              { $$ = ECPGd_name; }
4795                 | SQL_NULLABLE                                  { $$ = ECPGd_nullable; }
4796                 | SQL_OCTET_LENGTH                              { $$ = ECPGd_octet; }
4797                 | PRECISION                                             { $$ = ECPGd_precision; }
4798                 | SQL_RETURNED_LENGTH                   { $$ = ECPGd_length; }
4799                 | SQL_RETURNED_OCTET_LENGTH             { $$ = ECPGd_ret_octet; }
4800                 | SQL_SCALE                                             { $$ = ECPGd_scale; }
4801                 | TYPE_P                                                { $$ = ECPGd_type; }
4802                 ;
4803
4804 ECPGGetDescHeaderItems: ECPGGetDescHeaderItem
4805                 | ECPGGetDescHeaderItems ',' ECPGGetDescHeaderItem
4806                 ;
4807
4808 ECPGGetDescItems: ECPGGetDescItem
4809                 | ECPGGetDescItems ',' ECPGGetDescItem
4810                 ;
4811
4812 ECPGGetDescriptorHeader:        GET SQL_DESCRIPTOR quoted_ident_stringvar
4813                                                                 ECPGGetDescHeaderItems
4814                         {  $$ = $3; }
4815                 ;
4816
4817 ECPGGetDescriptor:      GET SQL_DESCRIPTOR quoted_ident_stringvar SQL_VALUE CVARIABLE ECPGGetDescItems
4818                         {  $$.str = $5; $$.name = $3; }
4819                 |       GET SQL_DESCRIPTOR quoted_ident_stringvar SQL_VALUE Iconst ECPGGetDescItems
4820                         {  $$.str = $5; $$.name = $3; }
4821                 ;
4822
4823 /*
4824  * for compatibility with ORACLE we will also allow the keyword RELEASE
4825  * after a transaction statement to disconnect from the database.
4826  */
4827
4828 ECPGRelease: TransactionStmt SQL_RELEASE
4829                 {
4830                         if (strcmp($1, "begin") == 0)
4831                                                         mmerror(PARSE_ERROR, ET_ERROR, "RELEASE does not make sense when beginning a transaction");
4832
4833                         fprintf(yyout, "ECPGtrans(__LINE__, %s, \"%s\");",
4834                                         connection ? connection : "NULL", $1);
4835                         whenever_action(0);
4836                         fprintf(yyout, "ECPGdisconnect(__LINE__, %s);",
4837                                         connection ? connection : "\"CURRENT\"");
4838                         whenever_action(0);
4839                         free($1);
4840                 }
4841                 ;
4842
4843 /*
4844  * set/reset the automatic transaction mode, this needs a differnet handling
4845  * as the other set commands
4846  */
4847 ECPGSetAutocommit:      SET SQL_AUTOCOMMIT '=' on_off   { $$ = $4; }
4848                 |  SET SQL_AUTOCOMMIT TO on_off   { $$ = $4; }
4849                 ;
4850
4851 on_off: ON                              { $$ = make_str("on"); }
4852                 | OFF                   { $$ = make_str("off"); }
4853                 ;
4854
4855 /*
4856  * set the actual connection, this needs a differnet handling as the other
4857  * set commands
4858  */
4859 ECPGSetConnection:      SET SQL_CONNECTION TO connection_object { $$ = $4; }
4860                 | SET SQL_CONNECTION '=' connection_object { $$ = $4; }
4861                 | SET SQL_CONNECTION  connection_object { $$ = $3; }
4862                 ;
4863
4864 /*
4865  * define a new type for embedded SQL
4866  */
4867 ECPGTypedef: TYPE_P
4868                 {
4869                         /* reset this variable so we see if there was */
4870                         /* an initializer specified */
4871                         initializer = 0;
4872                 }
4873                 ColLabel IS type opt_type_array_bounds opt_reference
4874                 {
4875                         /* add entry to list */
4876                         struct typedefs *ptr, *this;
4877                         int dimension = $6.index1;
4878                         int length = $6.index2;
4879
4880                         if (($5.type_enum == ECPGt_struct ||
4881                                  $5.type_enum == ECPGt_union) &&
4882                                 initializer == 1)
4883                                 mmerror(PARSE_ERROR, ET_ERROR, "Initializer not allowed in EXEC SQL TYPE command");
4884                         else
4885                         {
4886                                 for (ptr = types; ptr != NULL; ptr = ptr->next)
4887                                 {
4888                                         if (strcmp($3, ptr->name) == 0)
4889                                         {
4890                                                 /* re-definition is a bug */
4891                                                 snprintf(errortext, sizeof(errortext), "Type %s already defined", $3);
4892                                                 mmerror(PARSE_ERROR, ET_ERROR, errortext);
4893                                         }
4894                                 }
4895
4896                                 adjust_array($5.type_enum, &dimension, &length, $5.type_dimension, $5.type_index, *$7?1:0);
4897
4898                                 this = (struct typedefs *) mm_alloc(sizeof(struct typedefs));
4899
4900                                 /* initial definition */
4901                                 this->next = types;
4902                                 this->name = $3;
4903                                 this->type = (struct this_type *) mm_alloc(sizeof(struct this_type));
4904                                 this->type->type_enum = $5.type_enum;
4905                                 this->type->type_str = mm_strdup($3);
4906                                 this->type->type_dimension = dimension; /* dimension of array */
4907                                 this->type->type_index = length;        /* lenght of string */
4908                                 this->type->type_sizeof = ECPGstruct_sizeof;
4909                                 this->struct_member_list = ($5.type_enum == ECPGt_struct || $5.type_enum == ECPGt_union) ?
4910                                         struct_member_list[struct_level] : NULL;
4911
4912                                 if ($5.type_enum != ECPGt_varchar &&
4913                                         $5.type_enum != ECPGt_char &&
4914                                         $5.type_enum != ECPGt_unsigned_char &&
4915                                         this->type->type_index >= 0)
4916                                         mmerror(PARSE_ERROR, ET_ERROR, "No multi-dimensional array support for simple data types");
4917
4918                                 types = this;
4919                         }
4920
4921                         if (auto_create_c == false)
4922                                 $$ = cat_str(7, make_str("/* exec sql type"), mm_strdup($3), make_str("is"), mm_strdup($5.type_str), mm_strdup($6.str), $7, make_str("*/"));
4923                         else
4924                                 $$ = cat_str(6, make_str("typedef "), mm_strdup($5.type_str), *$7?make_str("*"):make_str(""), mm_strdup($6.str), mm_strdup($3), make_str(";"));
4925                 }
4926                 ;
4927
4928 opt_type_array_bounds:  '[' ']' opt_type_array_bounds
4929                 {
4930                         $$.index1 = 0;
4931                         $$.index2 = $3.index1;
4932                         $$.str = cat2_str(make_str("[]"), $3.str);
4933                 }
4934                 | '(' ')' opt_type_array_bounds
4935                 {
4936                         $$.index1 = 0;
4937                         $$.index2 = $3.index1;
4938                         $$.str = cat2_str(make_str("[]"), $3.str);
4939                 }
4940                 | '[' Iresult ']' opt_type_array_bounds
4941                 {
4942                         char *txt = mm_alloc(20L);
4943
4944                         sprintf (txt, "%d", $2);
4945                         $$.index1 = $2;
4946                         $$.index2 = $4.index1;
4947                         $$.str = cat_str(4, make_str("["), txt, make_str("]"), $4.str);
4948                 }
4949                 | '(' Iresult ')' opt_type_array_bounds
4950                 {
4951                         char *txt = mm_alloc(20L);
4952
4953                         sprintf (txt, "%d", $2);
4954                         $$.index1 = $2;
4955                         $$.index2 = $4.index1;
4956                         $$.str = cat_str(4, make_str("["), txt, make_str("]"), $4.str);
4957                 }
4958                 | /* EMPTY */
4959                 {
4960                         $$.index1 = -1;
4961                         $$.index2 = -1;
4962                         $$.str= EMPTY;
4963                 }
4964                 ;
4965
4966 opt_reference: SQL_REFERENCE            { $$ = make_str("reference"); }
4967                 | /*EMPTY*/                                     { $$ = EMPTY; }
4968                 ;
4969
4970 /*
4971  * define the type of one variable for embedded SQL
4972  */
4973 ECPGVar: SQL_VAR
4974                 {
4975                         /* reset this variable so we see if there was */
4976                         /* an initializer specified */
4977                         initializer = 0;
4978                 }
4979                 ColLabel IS type opt_type_array_bounds opt_reference
4980                 {
4981                         struct variable *p = find_variable($3);
4982                         int dimension = $6.index1;
4983                         int length = $6.index2;
4984                         struct ECPGtype * type;
4985
4986                         if (($5.type_enum == ECPGt_struct ||
4987                                  $5.type_enum == ECPGt_union) &&
4988                                 initializer == 1)
4989                                 mmerror(PARSE_ERROR, ET_ERROR, "Initializer not allowed in EXEC SQL VAR command");
4990                         else
4991                         {
4992                                 adjust_array($5.type_enum, &dimension, &length, $5.type_dimension, $5.type_index, *$7?1:0);
4993
4994                                 switch ($5.type_enum)
4995                                 {
4996                                         case ECPGt_struct:
4997                                         case ECPGt_union:
4998                                                 if (dimension < 0)
4999                                                         type = ECPGmake_struct_type(struct_member_list[struct_level], $5.type_enum, $5.type_sizeof);
5000                                                 else
5001                                                         type = ECPGmake_array_type(ECPGmake_struct_type(struct_member_list[struct_level], $5.type_enum,$5.type_sizeof), dimension);
5002                                                 break;
5003
5004                                         case ECPGt_varchar:
5005                                                 if (dimension == -1)
5006                                                         type = ECPGmake_simple_type($5.type_enum, length);
5007                                                 else
5008                                                         type = ECPGmake_array_type(ECPGmake_simple_type($5.type_enum, length), dimension);
5009                                                 break;
5010
5011                                         case ECPGt_char:
5012                                         case ECPGt_unsigned_char:
5013                                                 if (dimension == -1)
5014                                                         type = ECPGmake_simple_type($5.type_enum, length);
5015                                                 else
5016                                                         type = ECPGmake_array_type(ECPGmake_simple_type($5.type_enum, length), dimension);
5017                                                 break;
5018
5019                                         default:
5020                                                 if (length >= 0)
5021                                                         mmerror(PARSE_ERROR, ET_ERROR, "No multi-dimensional array support for simple data types");
5022
5023                                                 if (dimension < 0)
5024                                                         type = ECPGmake_simple_type($5.type_enum, 1);
5025                                                 else
5026                                                         type = ECPGmake_array_type(ECPGmake_simple_type($5.type_enum, 1), dimension);
5027                                                 break;
5028                                 }
5029
5030                                 ECPGfree_type(p->type);
5031                                 p->type = type;
5032                         }
5033
5034                         $$ = cat_str(7, make_str("/* exec sql var"), mm_strdup($3), make_str("is"), mm_strdup($5.type_str), mm_strdup($6.str), $7, make_str("*/"));
5035                 }
5036                 ;
5037
5038 /*
5039  * whenever statement: decide what to do in case of error/no data found
5040  * according to SQL standards we lack: SQLSTATE, CONSTRAINT and SQLEXCEPTION
5041  */
5042 ECPGWhenever: SQL_WHENEVER SQL_SQLERROR action
5043                 {
5044                         when_error.code = $<action>3.code;
5045                         when_error.command = $<action>3.command;
5046                         $$ = cat_str(3, make_str("/* exec sql whenever sqlerror "), $3.str, make_str("; */\n"));
5047                 }
5048                 | SQL_WHENEVER NOT SQL_FOUND action
5049                 {
5050                         when_nf.code = $<action>4.code;
5051                         when_nf.command = $<action>4.command;
5052                         $$ = cat_str(3, make_str("/* exec sql whenever not found "), $4.str, make_str("; */\n"));
5053                 }
5054                 | SQL_WHENEVER SQL_SQLWARNING action
5055                 {
5056                         when_warn.code = $<action>3.code;
5057                         when_warn.command = $<action>3.command;
5058                         $$ = cat_str(3, make_str("/* exec sql whenever sql_warning "), $3.str, make_str("; */\n"));
5059                 }
5060                 ;
5061
5062 action : SQL_CONTINUE
5063                 {
5064                         $<action>$.code = W_NOTHING;
5065                         $<action>$.command = NULL;
5066                         $<action>$.str = make_str("continue");
5067                 }
5068                 | SQL_SQLPRINT
5069                 {
5070                         $<action>$.code = W_SQLPRINT;
5071                         $<action>$.command = NULL;
5072                         $<action>$.str = make_str("sqlprint");
5073                 }
5074                 | SQL_STOP
5075                 {
5076                         $<action>$.code = W_STOP;
5077                         $<action>$.command = NULL;
5078                         $<action>$.str = make_str("stop");
5079                 }
5080                 | SQL_GOTO name
5081                 {
5082                         $<action>$.code = W_GOTO;
5083                         $<action>$.command = strdup($2);
5084                         $<action>$.str = cat2_str(make_str("goto "), $2);
5085                 }
5086                 | SQL_GO TO name
5087                 {
5088                         $<action>$.code = W_GOTO;
5089                         $<action>$.command = strdup($3);
5090                         $<action>$.str = cat2_str(make_str("goto "), $3);
5091                 }
5092                 | DO name '(' c_args ')'
5093                 {
5094                         $<action>$.code = W_DO;
5095                         $<action>$.command = cat_str(4, $2, make_str("("), $4, make_str(")"));
5096                         $<action>$.str = cat2_str(make_str("do"), mm_strdup($<action>$.command));
5097                 }
5098                 | DO SQL_BREAK
5099                 {
5100                         $<action>$.code = W_BREAK;
5101                         $<action>$.command = NULL;
5102                         $<action>$.str = make_str("break");
5103                 }
5104                 | SQL_CALL name '(' c_args ')'
5105                 {
5106                         $<action>$.code = W_DO;
5107                         $<action>$.command = cat_str(4, $2, make_str("("), $4, make_str(")"));
5108                         $<action>$.str = cat2_str(make_str("call"), mm_strdup($<action>$.command));
5109                 }
5110                 | SQL_CALL name
5111                 {
5112                         $<action>$.code = W_DO;
5113                         $<action>$.command = cat_str(3, $2, make_str("("), make_str(")"));
5114                         $<action>$.str = cat2_str(make_str("call"), mm_strdup($<action>$.command));
5115                 }
5116                 ;
5117
5118 /* some other stuff for ecpg */
5119
5120 /* additional unreserved keywords */
5121 ECPGKeywords:  SQL_BREAK                { $$ = make_str("break"); }
5122                 | SQL_CALL                              { $$ = make_str("call"); }
5123                 | SQL_CARDINALITY               { $$ = make_str("cardinality"); }
5124                 | SQL_CONNECT                   { $$ = make_str("connect"); }
5125                 | SQL_CONTINUE                  { $$ = make_str("continue"); }
5126                 | SQL_COUNT                             { $$ = make_str("count"); }
5127                 | SQL_DATA                              { $$ = make_str("data"); }
5128                 | SQL_DATETIME_INTERVAL_CODE    { $$ = make_str("datetime_interval_code"); }
5129                 | SQL_DATETIME_INTERVAL_PRECISION       { $$ = make_str("datetime_interval_precision"); }
5130                 | SQL_DISCONNECT                { $$ = make_str("disconnect"); }
5131                 | SQL_FOUND                             { $$ = make_str("found"); }
5132                 | SQL_GO                                { $$ = make_str("go"); }
5133                 | SQL_GOTO                              { $$ = make_str("goto"); }
5134                 | SQL_IDENTIFIED                { $$ = make_str("identified"); }
5135                 | SQL_INDICATOR                 { $$ = make_str("indicator"); }
5136                 | SQL_KEY_MEMBER                { $$ = make_str("key_member"); }
5137                 | SQL_LENGTH                    { $$ = make_str("length"); }
5138                 | SQL_NAME                              { $$ = make_str("name"); }
5139                 | SQL_NULLABLE                  { $$ = make_str("nullable"); }
5140                 | SQL_OCTET_LENGTH              { $$ = make_str("octet_length"); }
5141                 | SQL_OPEN                              { $$ = make_str("open"); }
5142                 | SQL_RELEASE                   { $$ = make_str("release"); }
5143                 | SQL_RETURNED_LENGTH           { $$ = make_str("returned_length"); }
5144                 | SQL_RETURNED_OCTET_LENGTH { $$ = make_str("returned_octet_length"); }
5145                 | SQL_SCALE                             { $$ = make_str("scale"); }
5146                 | SQL_SECTION                   { $$ = make_str("section"); }
5147                 | SQL_SQLERROR                  { $$ = make_str("sqlerror"); }
5148                 | SQL_SQLPRINT                  { $$ = make_str("sqlprint"); }
5149                 | SQL_SQLWARNING                { $$ = make_str("sqlwarning"); }
5150                 | SQL_STOP                              { $$ = make_str("stop"); }
5151                 | SQL_VAR                               { $$ = make_str("var"); }
5152                 | SQL_WHENEVER                  { $$ = make_str("whenever"); }
5153                 ;
5154
5155 /* additional keywords that can be SQL type names (but not ECPGColLabels) */
5156 ECPGTypeName:  SQL_BOOL                         { $$ = make_str("bool"); }
5157                 | SQL_LONG                      { $$ = make_str("long"); }
5158                 | SQL_SHORT                     { $$ = make_str("short"); }
5159                 | SQL_STRUCT                    { $$ = make_str("struct"); }
5160                 | SQL_SIGNED                    { $$ = make_str("signed"); }
5161                 | SQL_UNSIGNED                  { $$ = make_str("unsigned"); }
5162                 ;
5163
5164 opt_symbol: symbol                              { $$ = $1; }
5165                 | /*EMPTY*/                             { $$ = EMPTY; }
5166                 ;
5167
5168 symbol: ColLabel                                { $$ = $1; }
5169                 ;
5170
5171 /*
5172  * Name classification hierarchy.
5173  *
5174  * IDENT is the lexeme returned by the lexer for identifiers that match
5175  * no known keyword.  In most cases, we can accept certain keywords as
5176  * names, not only IDENTs.      We prefer to accept as many such keywords
5177  * as possible to minimize the impact of "reserved words" on programmers.
5178  * So, we divide names into several possible classes.  The classification
5179  * is chosen in part to make keywords acceptable as names wherever possible.
5180  */
5181
5182 /* Column identifier --- names that can be column, table, etc names.
5183  */
5184 ColId:  ident                                                   { $$ = $1; }
5185                 | unreserved_keyword                    { $$ = $1; }
5186                 | col_name_keyword                              { $$ = $1; }
5187                 | ECPGKeywords                                  { $$ = $1; }
5188                 | CHAR_P                                                { $$ = make_str("char"); }
5189                 ;
5190
5191 /* Type identifier --- names that can be type names.
5192  */
5193 type_name:      ident                                           { $$ = $1; }
5194                 | unreserved_keyword                    { $$ = $1; }
5195                 | ECPGKeywords                                  { $$ = $1; }
5196                 | ECPGTypeName                                  { $$ = $1; }
5197                 ;
5198
5199 /* Function identifier --- names that can be function names.
5200  */
5201 function_name:  ident                                           { $$ = $1; }
5202                 | unreserved_keyword                    { $$ = $1; }
5203                 | func_name_keyword                             { $$ = $1; }
5204                 | ECPGKeywords                                  { $$ = $1; }
5205                 ;
5206
5207 /* Column label --- allowed labels in "AS" clauses.
5208  * This presently includes *all* Postgres keywords.
5209  */
5210 ColLabel:  ECPGColLabel                                 { $$ = $1; }
5211                 | ECPGTypeName                                  { $$ = $1; }
5212                 | CHAR_P                                                { $$ = make_str("char"); }
5213                 | INT                                                   { $$ = make_str("int"); }
5214                 | UNION                                                 { $$ = make_str("union"); }
5215                 ;
5216
5217 ECPGColLabelCommon:  ident                              { $$ = $1; }
5218                 | col_name_keyword                      { $$ = $1; }
5219                 | func_name_keyword                     { $$ = $1; }
5220                 ;
5221
5222 ECPGColLabel:  ECPGColLabelCommon                       { $$ = $1; }
5223                 | unreserved_keyword                    { $$ = $1; }
5224                 | reserved_keyword                      { $$ = $1; }
5225                 | ECPGKeywords                          { $$ = $1; }
5226                 ;
5227
5228 /*
5229  * Keyword classification lists.  Generally, every keyword present in
5230  * the Postgres grammar should appear in exactly one of these lists.
5231  *
5232  * Put a new keyword into the first list that it can go into without causing
5233  * shift or reduce conflicts.  The earlier lists define "less reserved"
5234  * categories of keywords.
5235  */
5236
5237 /* "Unreserved" keywords --- available for use as any kind of name.
5238  */
5239 unreserved_keyword:
5240                   ABORT_P                                       { $$ = make_str("abort"); }
5241                 | ABSOLUTE                                              { $$ = make_str("absolute"); }
5242                 | ACCESS                                                { $$ = make_str("access"); }
5243                 | ACTION                                                { $$ = make_str("action"); }
5244                 | ADD                                                   { $$ = make_str("add"); }
5245                 | AFTER                                                 { $$ = make_str("after"); }
5246                 | AGGREGATE                                             { $$ = make_str("aggregate"); }
5247                 | ALTER                                                 { $$ = make_str("alter"); }
5248                 | ASSERTION                                             { $$ = make_str("assertion"); }
5249                 | ASSIGNMENT                                            { $$ = make_str("assignment"); }
5250                 | AT                                                    { $$ = make_str("at"); }
5251                 | BACKWARD                                              { $$ = make_str("backward"); }
5252                 | BEFORE                                                { $$ = make_str("before"); }
5253                 | BEGIN_P                                       { $$ = make_str("begin"); }
5254                 | BY                                                    { $$ = make_str("by"); }
5255                 | CACHE                                                 { $$ = make_str("cache"); }
5256                 | CASCADE                                               { $$ = make_str("cascade"); }
5257                 | CHAIN                                                 { $$ = make_str("chain"); }
5258                 | CHARACTERISTICS                               { $$ = make_str("characteristics"); }
5259                 | CHECKPOINT                                    { $$ = make_str("checkpoint"); }
5260                 | CLASS                                                 { $$ = make_str("class"); }
5261                 | CLOSE                                                 { $$ = make_str("close"); }
5262                 | CLUSTER                                               { $$ = make_str("cluster"); }
5263                 | COMMENT                                               { $$ = make_str("comment"); }
5264                 | COMMIT                                                { $$ = make_str("commit"); }
5265                 | COMMITTED                                             { $$ = make_str("committed"); }
5266                 | CONSTRAINTS                                           { $$ = make_str("constraints"); }
5267                 | CONVERSION_P                                          { $$ = make_str("conversion"); }
5268                 | COPY                                                  { $$ = make_str("copy"); }
5269                 | CREATEDB                                              { $$ = make_str("createdb"); }
5270                 | CREATEUSER                                    { $$ = make_str("createuser"); }
5271                 | CURSOR                                                { $$ = make_str("cursor"); }
5272                 | CYCLE                                                 { $$ = make_str("cycle"); }
5273                 | DATABASE                                              { $$ = make_str("database"); }
5274                 | DAY_P                                                 { $$ = make_str("day"); }
5275                 | DEALLOCATE                                            { $$ = make_str("deallocate"); }
5276                 | DECLARE                                               { $$ = make_str("declare"); }
5277                 | DEFERRED                                              { $$ = make_str("deferred"); }
5278                 | DELETE_P                                              { $$ = make_str("delete"); }
5279                 | DELIMITER                                     { $$ = make_str("delimiter"); }
5280                 | DELIMITERS                                    { $$ = make_str("delimiters"); }
5281                 | DOMAIN_P                                      { $$ = make_str("domain"); }
5282                 | DOUBLE                                                { $$ = make_str("double"); }
5283                 | DROP                                                  { $$ = make_str("drop"); }
5284                 | EACH                                                  { $$ = make_str("each"); }
5285                 | ENCODING                                              { $$ = make_str("encoding"); }
5286                 | ENCRYPTED                                             { $$ = make_str("encrypted"); }
5287                 | ESCAPE                                                { $$ = make_str("escape"); }
5288                 | EXCLUSIVE                                             { $$ = make_str("exclusive"); }
5289                 | EXECUTE                                               { $$ = make_str("execute"); }
5290                 | EXPLAIN                                               { $$ = make_str("explain"); }
5291                 | FETCH                                                 { $$ = make_str("fetch"); }
5292                 | FORCE                                                 { $$ = make_str("force"); }
5293                 | FORWARD                                               { $$ = make_str("forward"); }
5294                 | FUNCTION                                              { $$ = make_str("function"); }
5295                 | GLOBAL                                                { $$ = make_str("global"); }
5296                 | HANDLER                                               { $$ = make_str("handler"); }
5297                 | HOUR_P                                                { $$ = make_str("hour"); }
5298                 | IMMEDIATE                                             { $$ = make_str("immediate"); }
5299                 | IMMUTABLE                                             { $$ = make_str("immutable"); }
5300                 | IMPLICIT_P                                            { $$ = make_str("implicit"); }
5301                 | INCREMENT                                             { $$ = make_str("increment"); }
5302                 | INDEX                                                 { $$ = make_str("index"); }
5303                 | INHERITS                                              { $$ = make_str("inherits"); }
5304                 | INOUT                                                 { $$ = make_str("inout"); }
5305                 | INSENSITIVE                                   { $$ = make_str("insensitive"); }
5306                 | INSERT                                                { $$ = make_str("insert"); }
5307                 | INSTEAD                                               { $$ = make_str("instead"); }
5308                 | ISOLATION                                             { $$ = make_str("isolation"); }
5309                 | KEY                                                   { $$ = make_str("key"); }
5310                 | LANCOMPILER                                           { $$ = make_str("lancompiler"); }
5311                 | LANGUAGE                                              { $$ = make_str("language"); }
5312                 | LEVEL                                                 { $$ = make_str("level"); }
5313                 | LISTEN                                                { $$ = make_str("listen"); }
5314                 | LOAD                                                  { $$ = make_str("load"); }
5315                 | LOCAL                                                 { $$ = make_str("local"); }
5316                 | LOCATION                                              { $$ = make_str("location"); }
5317                 | LOCK_P                                                { $$ = make_str("lock"); }
5318                 | MATCH                                                 { $$ = make_str("match"); }
5319                 | MAXVALUE                                              { $$ = make_str("maxvalue"); }
5320                 | MINUTE_P                                              { $$ = make_str("minute"); }
5321                 | MINVALUE                                              { $$ = make_str("minvalue"); }
5322                 | MODE                                                  { $$ = make_str("mode"); }
5323                 | MONTH_P                                               { $$ = make_str("month"); }
5324                 | MOVE                                                  { $$ = make_str("move"); }
5325                 | NAMES                                                 { $$ = make_str("names"); }
5326                 | NATIONAL                                              { $$ = make_str("national"); }
5327                 | NEXT                                                  { $$ = make_str("next"); }
5328                 | NO                                                    { $$ = make_str("no"); }
5329                 | NOCREATEDB                                    { $$ = make_str("nocreatedb"); }
5330                 | NOCREATEUSER                                  { $$ = make_str("nocreateuser"); }
5331                 | NOTHING                                               { $$ = make_str("nothing"); }
5332                 | NOTIFY                                                { $$ = make_str("notify"); }
5333                 | OF                                                    { $$ = make_str("of"); }
5334                 | OIDS                                                  { $$ = make_str("oids"); }
5335                 | OPERATOR                                              { $$ = make_str("operator"); }
5336                 | OPTION                                                { $$ = make_str("option"); }
5337                 | OUT_P                                                 { $$ = make_str("out"); }
5338                 | OWNER                                                 { $$ = make_str("owner"); }
5339                 | PARTIAL                                               { $$ = make_str("partial"); }
5340                 | PASSWORD                                              { $$ = make_str("password"); }
5341                 | PATH_P                                                { $$ = make_str("path"); }
5342                 | PENDANT                                               { $$ = make_str("pendant"); }
5343                 | PRECISION                                             { $$ = make_str("precision"); }
5344                 | PREPARE                                               { $$ = make_str("prepare"); }
5345                 | PRESERVE                                              { $$ = make_str("preserver"); }
5346                 | PRIOR                                                 { $$ = make_str("prior"); }
5347                 | PRIVILEGES                                    { $$ = make_str("privileges"); }
5348                 | PROCEDURAL                                    { $$ = make_str("procedural"); }
5349                 | PROCEDURE                                             { $$ = make_str("procedure"); }
5350                 | READ                                                  { $$ = make_str("read"); }
5351                 | RECHECK                                               { $$ = make_str("recheck"); }
5352                 | REINDEX                                               { $$ = make_str("reindex"); }
5353                 | RELATIVE                                              { $$ = make_str("relative"); }
5354                 | RENAME                                                { $$ = make_str("rename"); }
5355                 | REPLACE                                               { $$ = make_str("replace"); }
5356                 | RESET                                                 { $$ = make_str("reset"); }
5357                 | RESTRICT                                              { $$ = make_str("restrict"); }
5358                 | RETURNS                                               { $$ = make_str("returns"); }
5359                 | REVOKE                                                { $$ = make_str("revoke"); }
5360                 | ROLLBACK                                              { $$ = make_str("rollback"); }
5361                 | ROWS                                                  { $$ = make_str("rows"); }
5362                 | RULE                                                  { $$ = make_str("rule"); }
5363                 | SCHEMA                                                { $$ = make_str("schema"); }
5364                 | SCROLL                                                { $$ = make_str("scroll"); }
5365                 | SECOND_P                                              { $$ = make_str("second"); }
5366                 | SESSION                                               { $$ = make_str("session"); }
5367                 | SEQUENCE                                              { $$ = make_str("sequence"); }
5368                 | SERIALIZABLE                                  { $$ = make_str("serializable"); }
5369                 | SET                                                   { $$ = make_str("set"); }
5370                 | SHARE                                                 { $$ = make_str("share"); }
5371                 | SHOW                                                  { $$ = make_str("show"); }
5372                 | SIMPLE                                                { $$ = make_str("simple"); }
5373                 | STABLE                                                { $$ = make_str("stable"); }
5374                 | START                                                 { $$ = make_str("start"); }
5375                 | STATEMENT                                             { $$ = make_str("statement"); }
5376                 | STATISTICS                                    { $$ = make_str("statistics"); }
5377                 | STDIN                                                 { $$ = make_str("stdin"); }
5378                 | STDOUT                                                { $$ = make_str("stdout"); }
5379                 | STORAGE                                               { $$ = make_str("storage"); }
5380                 | SYSID                                                 { $$ = make_str("sysid"); }
5381                 | TEMP                                                  { $$ = make_str("temp"); }
5382                 | TEMPLATE                                              { $$ = make_str("template"); }
5383                 | TEMPORARY                                             { $$ = make_str("temporary"); }
5384                 | TOAST                                                 { $$ = make_str("toast"); }
5385                 | TRANSACTION                                   { $$ = make_str("transaction"); }
5386                 | TRIGGER                                               { $$ = make_str("trigger"); }
5387                 | TRUNCATE                                              { $$ = make_str("truncate"); }
5388                 | TRUSTED                                               { $$ = make_str("trusted"); }
5389                 | TYPE_P                                                { $$ = make_str("type"); }
5390                 | UNENCRYPTED                                   { $$ = make_str("unencrypted"); }
5391                 | UNKNOWN                                               { $$ = make_str("unknown"); }
5392                 | UNLISTEN                                              { $$ = make_str("unlisten"); }
5393                 | UNTIL                                                 { $$ = make_str("until"); }
5394                 | UPDATE                                                { $$ = make_str("update"); }
5395                 | USAGE                                                 { $$ = make_str("usage"); }
5396                 | VACUUM                                                { $$ = make_str("vacuum"); }
5397                 | VALID                                                 { $$ = make_str("valid"); }
5398                 | VALUES                                                { $$ = make_str("values"); }
5399                 | VARYING                                               { $$ = make_str("varying"); }
5400                 | VERSION                                               { $$ = make_str("version"); }
5401                 | VIEW                                                  { $$ = make_str("view"); }
5402                 | WITH                                                  { $$ = make_str("with"); }
5403                 | WITHOUT                                               { $$ = make_str("without"); }
5404                 | WRITE                                                 { $$ = make_str("write"); }
5405                 | WORK                                                  { $$ = make_str("work"); }
5406                 | YEAR_P                                                { $$ = make_str("year"); }
5407                 | ZONE                                                  { $$ = make_str("zone"); }
5408                 ;
5409
5410 /* Column identifier --- keywords that can be column, table, etc names.
5411  *
5412  * Many of these keywords will in fact be recognized as type or function
5413  * names too; but they have special productions for the purpose, and so
5414  * can't be treated as "generic" type or function names.
5415  *
5416  * The type names appearing here are not usable as function names
5417  * because they can be followed by '(' in typename productions, which
5418  * looks too much like a function call for an LR(1) parser.
5419  */
5420 col_name_keyword:
5421                 BIGINT                  { $$ = make_str("bigint");}
5422                 | BIT                   { $$ = make_str("bit"); }
5423 /* CHAR must be excluded from ECPGColLabel because of conflict with UNSIGNED
5424                 | CHAR_P                { $$ = make_str("char"); }
5425  */
5426                 | CHARACTER             { $$ = make_str("character"); }
5427                 | COALESCE              { $$ = make_str("coalesce"); }
5428                 | CONVERT               { $$ = make_str("convert"); }
5429                 | DEC                   { $$ = make_str("dec"); }
5430                 | DECIMAL               { $$ = make_str("decimal"); }
5431                 | EXISTS                { $$ = make_str("exists"); }
5432                 | EXTRACT               { $$ = make_str("extract"); }
5433                 | FLOAT_P               { $$ = make_str("float"); }
5434 /* INT must be excluded from ECPGColLabel because of conflict
5435                 | INT                   { $$ = make_str("int"); }
5436  */
5437                 | INTEGER               { $$ = make_str("integer"); }
5438                 | INTERVAL              { $$ = make_str("interval"); }
5439                 | NCHAR                 { $$ = make_str("nchar"); }
5440                 | NONE                  { $$ = make_str("none"); }
5441                 | NULLIF                { $$ = make_str("nullif"); }
5442                 | NUMERIC               { $$ = make_str("numeric"); }
5443                 | POSITION              { $$ = make_str("position"); }
5444                 | REAL                  { $$ = make_str("real"); }
5445                 | ROW                   { $$ = make_str("row"); }
5446                 | SETOF                 { $$ = make_str("setof"); }
5447                 | SMALLINT              { $$ = make_str("smallint"); }
5448                 | SUBSTRING             { $$ = make_str("substring"); }
5449                 | TIME                  { $$ = make_str("time"); }
5450                 | TIMESTAMP             { $$ = make_str("timestamp"); }
5451                 | TREAT                 { $$ = make_str("treat"); }
5452                 | TRIM                  { $$ = make_str("trim"); }
5453                 | VARCHAR               { $$ = make_str("varchar"); }
5454                 ;
5455
5456 /* Function identifier --- keywords that can be function names.
5457  *
5458  * Most of these are keywords that are used as operators in expressions;
5459  * in general such keywords can't be column names because they would be
5460  * ambiguous with variables, but they are unambiguous as function identifiers.
5461  *
5462  * Do not include POSITION, SUBSTRING, etc here since they have explicit
5463  * productions in a_expr to support the goofy SQL9x argument syntax.
5464  *      - thomas 2000-11-28
5465  */
5466 func_name_keyword:
5467                   AUTHORIZATION                                 { $$ = make_str("authorization"); }
5468                 | BETWEEN                                               { $$ = make_str("between"); }
5469                 | BINARY                                                { $$ = make_str("binary"); }
5470                 | CROSS                                                 { $$ = make_str("cross"); }
5471                 | FREEZE                                                { $$ = make_str("freeze"); }
5472                 | FULL                                                  { $$ = make_str("full"); }
5473                 | ILIKE                                                 { $$ = make_str("ilike"); }
5474                 | IN_P                                                  { $$ = make_str("in"); }
5475                 | INNER_P                                               { $$ = make_str("inner"); }
5476                 | IS                                                    { $$ = make_str("is"); }
5477                 | ISNULL                                                { $$ = make_str("isnull"); }
5478                 | JOIN                                                  { $$ = make_str("join"); }
5479                 | LEFT                                                  { $$ = make_str("left"); }
5480                 | LIKE                                                  { $$ = make_str("like"); }
5481                 | NATURAL                                               { $$ = make_str("natural"); }
5482                 | NOTNULL                                               { $$ = make_str("notnull"); }
5483                 | OUTER_P                                               { $$ = make_str("outer"); }
5484                 | OVERLAPS                                              { $$ = make_str("overlaps"); }
5485                 | RIGHT                                                 { $$ = make_str("right"); }
5486                 | SIMILAR                                               { $$ = make_str("similar"); }
5487                 | VERBOSE                                               { $$ = make_str("verbose"); }
5488                 ;
5489
5490 /* Reserved keyword --- these keywords are usable only as a ColLabel.
5491  *
5492  * Keywords appear here if they could not be distinguished from variable,
5493  * type, or function names in some contexts.  Don't put things here unless
5494  * forced to.
5495  */
5496 reserved_keyword:
5497                   ALL                                                   { $$ = make_str("all"); }
5498                 | ANALYSE                                               { $$ = make_str("analyse"); } /* British */
5499                 | ANALYZE                                               { $$ = make_str("analyze"); }
5500                 | AND                                                   { $$ = make_str("and"); }
5501                 | ANY                                                   { $$ = make_str("any"); }
5502                 | AS                                                    { $$ = make_str("as"); }
5503                 | ASC                                                   { $$ = make_str("asc"); }
5504                 | BOTH                                                  { $$ = make_str("both"); }
5505                 | CASE                                                  { $$ = make_str("case"); }
5506                 | CAST                                                  { $$ = make_str("cast"); }
5507                 | CHECK                                                 { $$ = make_str("check"); }
5508                 | COLLATE                                               { $$ = make_str("collate"); }
5509                 | COLUMN                                                { $$ = make_str("column"); }
5510                 | CONSTRAINT                                    { $$ = make_str("constraint"); }
5511                 | CREATE                                                { $$ = make_str("create"); }
5512                 | CURRENT_DATE                                  { $$ = make_str("current_date"); }
5513                 | CURRENT_TIME                                  { $$ = make_str("current_time"); }
5514                 | CURRENT_TIMESTAMP                             { $$ = make_str("current_timestamp"); }
5515                 | CURRENT_USER                                  { $$ = make_str("current_user"); }
5516                 | DEFAULT                                               { $$ = make_str("default"); }
5517                 | DEFERRABLE                                    { $$ = make_str("deferrable"); }
5518                 | DESC                                                  { $$ = make_str("desc"); }
5519                 | DISTINCT                                              { $$ = make_str("distinct"); }
5520                 | DO                                                    { $$ = make_str("do"); }
5521                 | ELSE                                                  { $$ = make_str("else"); }
5522                 | END_P                                         { $$ = make_str("end"); }
5523                 | EXCEPT                                                { $$ = make_str("except"); }
5524                 | FALSE_P                                               { $$ = make_str("false"); }
5525                 | FOR                                                   { $$ = make_str("for"); }
5526                 | FOREIGN                                               { $$ = make_str("foreign"); }
5527                 | FROM                                                  { $$ = make_str("from"); }
5528                 | GRANT                                                 { $$ = make_str("grant"); }
5529                 | GROUP_P                                               { $$ = make_str("group"); }
5530                 | HAVING                                                { $$ = make_str("having"); }
5531                 | INITIALLY                                             { $$ = make_str("initially"); }
5532                 | INTERSECT                                             { $$ = make_str("intersect"); }
5533                 | INTO                                                  { $$ = make_str("into"); }
5534                 | LEADING                                               { $$ = make_str("leading"); }
5535                 | LIMIT                                                 { $$ = make_str("limit"); }
5536                 | NEW                                                   { $$ = make_str("new"); }
5537                 | NOT                                                   { $$ = make_str("not"); }
5538                 | NULL_P                                                { $$ = make_str("null"); }
5539                 | OFF                                                   { $$ = make_str("off"); }
5540                 | OFFSET                                                { $$ = make_str("offset"); }
5541                 | OLD                                                   { $$ = make_str("old"); }
5542                 | ON                                                    { $$ = make_str("on"); }
5543                 | ONLY                                                  { $$ = make_str("only"); }
5544                 | OR                                                    { $$ = make_str("or"); }
5545                 | ORDER                                                 { $$ = make_str("order"); }
5546                 | PRIMARY                                               { $$ = make_str("primary"); }
5547                 | REFERENCES                                    { $$ = make_str("references"); }
5548                 | SELECT                                                { $$ = make_str("select"); }
5549                 | SESSION_USER                                  { $$ = make_str("session_user"); }
5550                 | SOME                                                  { $$ = make_str("some"); }
5551                 | TABLE                                                 { $$ = make_str("table"); }
5552                 | THEN                                                  { $$ = make_str("then"); }
5553                 | TO                                                    { $$ = make_str("to"); }
5554                 | TRAILING                                              { $$ = make_str("trailing"); }
5555                 | TRUE_P                                                { $$ = make_str("true"); }
5556 /* UNION must be excluded from ECPGColLabel because of conflict with s_union
5557                 | UNION                                                 { $$ = make_str("union"); }
5558  */
5559                 | UNIQUE                                                { $$ = make_str("unique"); }
5560                 | USER                                                  { $$ = make_str("user"); }
5561                 | USING                                                 { $$ = make_str("using"); }
5562                 | WHEN                                                  { $$ = make_str("when"); }
5563                 | WHERE                                                 { $$ = make_str("where"); }
5564                 ;
5565
5566
5567 into_list : coutputvariable | into_list ',' coutputvariable
5568                 ;
5569
5570 ecpgstart: SQL_START    { reset_variables(); }
5571                 ;
5572
5573 c_args: /*EMPTY*/               { $$ = EMPTY; }
5574                 | c_list                { $$ = $1; }
5575                 ;
5576
5577 coutputvariable: CVARIABLE indicator
5578                         { add_variable(&argsresult, find_variable($1), find_variable($2)); }
5579                 | CVARIABLE
5580                         { add_variable(&argsresult, find_variable($1), &no_indicator); }
5581                 ;
5582
5583
5584 civarind: CVARIABLE indicator
5585                 {
5586                         if ($2 != NULL && (find_variable($2))->type->type == ECPGt_array)
5587                                 mmerror(PARSE_ERROR, ET_ERROR, "arrays of indicators are not allowed on input");
5588
5589                         add_variable(&argsinsert, find_variable($1), ($2 == NULL) ? &no_indicator : find_variable($2));
5590                 }
5591                 ;
5592
5593 civar: CVARIABLE
5594                 {
5595                         add_variable(&argsinsert, find_variable($1), &no_indicator);
5596                         $$ = $1;
5597                 }
5598                 ;
5599
5600 indicator: CVARIABLE                            { check_indicator((find_variable($1))->type); $$ = $1; }
5601                 | SQL_INDICATOR CVARIABLE       { check_indicator((find_variable($2))->type); $$ = $2; }
5602                 | SQL_INDICATOR name            { check_indicator((find_variable($2))->type); $$ = $2; }
5603                 ;
5604
5605 ident: IDENT                                            { $$ = $1; }
5606                 | CSTRING                                       { $$ = make3_str(make_str("\""), $1, make_str("\"")); }
5607                 ;
5608
5609 quoted_ident_stringvar: name
5610                         { $$ = make3_str(make_str("\""), $1, make_str("\"")); }
5611                 | char_variable
5612                         { $$ = make3_str(make_str("("), $1, make_str(")")); }
5613                 ;
5614
5615 /*
5616  * C stuff
5617  */
5618
5619 c_stuff_item: c_anything                        { $$ = $1; }
5620                 | '(' ')'                       { $$ = make_str("()"); }
5621                 | '(' c_stuff ')'
5622                         { $$ = cat_str(3, make_str("("), $2, make_str(")")); }
5623                 ;
5624
5625 c_stuff: c_stuff_item   { $$ = $1; }
5626                 | c_stuff c_stuff_item
5627                         { $$ = cat2_str($1, $2); }
5628                 ;
5629
5630 c_list: c_term                          { $$ = $1; }
5631                 | c_list ',' c_term     { $$ = cat_str(3, $1, make_str(","), $3); }
5632                 ;
5633
5634 c_term:  c_stuff                        { $$ = $1; }
5635                 | '{' c_list '}'        { $$ = cat_str(3, make_str("{"), $2, make_str("}")); }
5636                 ;
5637
5638 c_thing:        c_anything      { $$ = $1; }
5639                 |       '('     { $$ = make_str("("); }
5640                 |       ')'     { $$ = make_str(")"); }
5641                 |       ','     { $$ = make_str(","); }
5642                 |       ';'     { $$ = make_str(";"); }
5643                 ;
5644
5645 c_anything:  IDENT                                      { $$ = $1; }
5646                 | CSTRING                                       { $$ = make3_str(make_str("\""), $1, make_str("\"")); }
5647                 | PosIntConst                           { $$ = $1; }
5648                 | Fconst                                        { $$ = $1; }
5649                 | Sconst                                        { $$ = $1; }
5650                 | '*'                                           { $$ = make_str("*"); }
5651                 | '+'                                           { $$ = make_str("+"); }
5652                 | '-'                                           { $$ = make_str("-"); }
5653                 | '/'                                           { $$ = make_str("/"); }
5654                 | '%'                                           { $$ = make_str("%"); }
5655                 | NULL_P                                        { $$ = make_str("NULL"); }
5656                 | S_ADD                                         { $$ = make_str("+="); }
5657                 | S_AND                                         { $$ = make_str("&&"); }
5658                 | S_ANYTHING                            { $$ = make_name(); }
5659                 | S_AUTO                                        { $$ = make_str("auto"); }
5660                 | S_CONST                                       { $$ = make_str("const"); }
5661                 | S_DEC                                         { $$ = make_str("--"); }
5662                 | S_DIV                                         { $$ = make_str("/="); }
5663                 | S_DOTPOINT                            { $$ = make_str(".*"); }
5664                 | S_EQUAL                                       { $$ = make_str("=="); }
5665                 | S_EXTERN                                      { $$ = make_str("extern"); }
5666                 | S_INC                                         { $$ = make_str("++"); }
5667                 | S_LSHIFT                                      { $$ = make_str("<<"); }
5668                 | S_MEMBER                                      { $$ = make_str("->"); }
5669                 | S_MEMPOINT                            { $$ = make_str("->*"); }
5670                 | S_MOD                                         { $$ = make_str("%="); }
5671                 | S_MUL                                         { $$ = make_str("*="); }
5672                 | S_NEQUAL                                      { $$ = make_str("!="); }
5673                 | S_OR                                          { $$ = make_str("||"); }
5674                 | S_REGISTER                            { $$ = make_str("register"); }
5675                 | S_RSHIFT                                      { $$ = make_str(">>"); }
5676                 | S_STATIC                                      { $$ = make_str("static"); }
5677                 | S_SUB                                         { $$ = make_str("-="); }
5678                 | S_TYPEDEF                             { $$ = make_str("typedef"); }
5679                 | SQL_BOOL                                      { $$ = make_str("bool"); }
5680                 | SQL_ENUM                                      { $$ = make_str("enum"); }
5681                 | INT                                   { $$ = make_str("int"); }
5682                 | SQL_LONG                                      { $$ = make_str("long"); }
5683                 | SQL_SHORT                                     { $$ = make_str("short"); }
5684                 | SQL_SIGNED                            { $$ = make_str("signed"); }
5685                 | SQL_STRUCT                            { $$ = make_str("struct"); }
5686                 | SQL_UNSIGNED                          { $$ = make_str("unsigned"); }
5687                 | CHAR_P                                        { $$ = make_str("char"); }
5688                 | DOUBLE                                        { $$ = make_str("double"); }
5689                 | FLOAT_P                                       { $$ = make_str("float"); }
5690                 | UNION                                         { $$ = make_str("union"); }
5691                 | VARCHAR                                       { $$ = make_str("varchar"); }
5692                 | '['                                           { $$ = make_str("["); }
5693                 | ']'                                           { $$ = make_str("]"); }
5694                 | '='                                           { $$ = make_str("="); }
5695                 ;
5696
5697 %%
5698
5699 void yyerror( char * error)
5700 {
5701         char buf[1024];
5702
5703         snprintf(buf,sizeof buf,"%s at or near \"%s\"", error, token_start ? token_start : yytext);
5704         buf[sizeof(buf)-1]=0;
5705         mmerror(PARSE_ERROR, ET_ERROR, buf);
5706 }
5707
5708 #include "pgc.c"