specscanner.l File Reference

#include "postgres_fe.h"
#include "isolationtester.h"
#include "specparse.h"

Go to the source code of this file.

Macros
#define	LITBUF_INIT   1024 /* initial size of litbuf */

Functions
static void	addlitchar (char c)
int	yylex (void)
void	spec_yyerror (const char *message)

Variables
static int	yyline = 1
static char *	litbuf = NULL
static size_t	litbufsize = 0
static size_t	litbufpos = 0

Macro Definition Documentation

LITBUF_INIT

#define LITBUF_INIT   1024 /* initial size of litbuf */

Definition at line 25 of file specscanner.l.

Function Documentation

addlitchar()

static void addlitchar ( char  c )

static

Definition at line 150 of file specscanner.l.

{
    /* We must always leave room to add a trailing \0 */
    if (litbufpos >= litbufsize - 1)
    {
        /* Double the size of litbuf if it gets full */
        litbufsize += litbufsize;
        litbuf = pg_realloc(litbuf, litbufsize);
    }
    litbuf[litbufpos++] = c;
}

References litbuf, litbufpos, litbufsize, and pg_realloc().

spec_yyerror()

void spec_yyerror

(

const char *

message

)

Definition at line 163 of file specscanner.l.

{
    fprintf(stderr, "%s at line %d\n", message, yyline);
    exit(1);
}

References fb(), fprintf, and yyline.

yylex()

int yylex

(

void

)

Definition at line 62 of file specscanner.l.

 {
    /* Allocate litbuf in first call of yylex() */
    if (litbuf == NULL)
    {
        litbuf = pg_malloc(LITBUF_INIT);
        litbufsize = LITBUF_INIT;
    }
%}
 
 /* Keywords (must appear before the {identifier} rule!) */
notices         { return NOTICES; }
permutation     { return PERMUTATION; }
session         { return SESSION; }
setup           { return SETUP; }
step            { return STEP; }
teardown        { return TEARDOWN; }
 
 /* Whitespace and comments */
[\n]            { yyline++; }
{comment}       { /* ignore */ }
{space}         { /* ignore */ }
 
 /* Plain identifiers */
{identifier}    {
                    spec_yylval.str = pg_strdup(yytext);
                    return(identifier);
                }
 
 /* Quoted identifiers: "foo" */
\"              {
                    litbufpos = 0;
                    BEGIN(qident);
                }
<qident>\"\"    { addlitchar(yytext[0]); }
<qident>\"      {
                    litbuf[litbufpos] = '\0';
                    spec_yylval.str = pg_strdup(litbuf);
                    BEGIN(INITIAL);
                    return(identifier);
                }
<qident>.       { addlitchar(yytext[0]); }
<qident>\n      { spec_yyerror("unexpected newline in quoted identifier"); }
<qident><<EOF>> { spec_yyerror("unterminated quoted identifier"); }
 
 /* SQL blocks: { UPDATE ... } */
 /* We trim leading/trailing whitespace, otherwise they're unprocessed */
"{"{space}*     {
 
                    litbufpos = 0;
                    BEGIN(sql);
                }
<sql>{space}*"}" {
                    litbuf[litbufpos] = '\0';
                    spec_yylval.str = pg_strdup(litbuf);
                    BEGIN(INITIAL);
                    return(sqlblock);
                }
<sql>.          {
                    addlitchar(yytext[0]);
                }
<sql>\n         {
                    yyline++;
                    addlitchar(yytext[0]);
                }
<sql><<EOF>>    {
                    spec_yyerror("unterminated sql block");
                }
 
 /* Numbers and punctuation */
{digit}+        {
                    spec_yylval.integer = atoi(yytext);
                    return INTEGER;
                }
 
{self}          { return yytext[0]; }
 
 /* Anything else is an error */
.               {
                    fprintf(stderr, "syntax error at line %d: unexpected character \"%s\"\n", yyline, yytext);
                    exit(1);
                }
%%

Variable Documentation

litbuf

char* litbuf = NULL

static

Definition at line 26 of file specscanner.l.

Referenced by addlitchar().

litbufpos

size_t litbufpos = 0

static

Definition at line 28 of file specscanner.l.

Referenced by addlitchar().

litbufsize

size_t litbufsize = 0

static

Definition at line 27 of file specscanner.l.

Referenced by addlitchar().

yyline

int yyline = 1

static

Definition at line 23 of file specscanner.l.

Referenced by spec_yyerror().