问答文章1 问答文章501 问答文章1001 问答文章1501 问答文章2001 问答文章2501 问答文章3001 问答文章3501 问答文章4001 问答文章4501 问答文章5001 问答文章5501 问答文章6001 问答文章6501 问答文章7001 问答文章7501 问答文章8001 问答文章8501 问答文章9001 问答文章9501

win10怎么使用flex和bison

发布网友 发布时间：2022-04-14 16:48

我来回答

共2个回答

懂视网 时间：2022-04-14 21:10

由于老师要求，最近在做oceanbase存储过程的实现，在oceanbase 0.4以前是不支持存储过程的。实现的主要步骤主要包括 1、语法解析 2、词法解析 3、具体执行语法树的步骤 现在先来说说语法解析吧，在这一块主要是使用的flex（ 词法分析器生成工具） 和bison(语

由于老师要求，最近在做oceanbase存储过程的实现，在oceanbase 0.4以前是不支持存储过程的。实现的主要步骤主要包括

1、语法解析

2、词法解析

3、具体执行语法树的步骤

现在先来说说语法解析吧，在这一块主要是使用的flex（ 词法分析器生成工具） 和bison(语法分析器生成器) 这两个是对用户输入的存储过程语句进行解析的

来具体说说该怎么实现对sql语句的分析吧

1、首先建立一个lex的文件

%option noyywrap nodefault yylineno case-insensitive

%{

#include "prosql.tab.hpp"
#include 
#include 
#include 
#include 
#include 
//YYSTYPE yylval;
int oldstate;
extern "C" int yylex();
//extern "C" int yyparse();
extern "C" void yyerror(const char *s, ...);
extern char globalInputText[10000];
extern int readInputForLexer( char *buffer, int *numBytesRead, int maxBytesToRead );
#undef YY_INPUT
#define YY_INPUT(b,r,s) readInputForLexer(b,&r,s)
%}

%x COMMENT

%%

CREATE		{ return CREATE; }
PROCEDURE	{ return PROCEDURE; }
SQL		{ return SQL; }

DECLARE		{ return DECLARE; }
SET		{ return SET; }
BEGIN		{ return BEGINT; }
END		{ return END; }

INT		{ return INT; }
VARCHAR		{ return VARCHAR; }
DATE		{ return DATE; }
TIME		{ return TIME; }
DOUBLE		{ return DOUBLE; }

IF		{ return IF; }
THEN		{ return THEN; }
ELSE		{ return ELSE; }
ENDIF		{ return ENDIF; }
FOR		{ return FOR; }
WHEN		{ return WHEN; }
WHILE		{ return WHILE; }


[0-9]+	{ yylval.strval = strdup(yytext);/*printf("number=%s
",yylval.strval);*/ return INTNUM; }/*number*/

[0-9]+"."[0-9]* |
"."[0-9]+	|
[0-9]+E[-+]?[0-9]+	|
[0-9]+"."[0-9]*E[-+]?[0-9]+ |
"."[0-9]*E[-+]?[0-9]+	{ yylval.strval = strdup(yytext);/*printf("float=%s
",yylval.strval);*/ return APPROXNUM; }/*double*/

TRUE	{ yylval.strval = "1";/*printf("bool=%s
",yylval.strval);*/ return BOOL; }/*bool*/

FALSE	{ yylval.strval = "0";/*printf("bool=%s
",yylval.strval);*/ return BOOL; }/*bool*/

'(\.|''|[^'
])*'	|
"(\.|""|[^"
])*" {
				char *temp = strdup(yytext); 
				yylval.strval = strdup(yytext);

				//GetCorrectString(yylval.strval, temp);
				
				/*printf("string=%s
",yylval.strval);*/
				return STRING;
			}/*string*/
'(\.|[^'
])*$		{ yyerror("Unterminated string %s", yytext); }
"(\.|[^"
])*$		{ yyerror("Unterminated string %s", yytext); }


X'[0-9A-F]+' | 
0X[0-9A-F]+ 	{ yylval.strval = strdup(yytext); return STRING; }


0B[01]+ |
B'[01]+' { yylval.strval = strdup(yytext); return STRING; }


[-+&~|^/%*(),.;!] { return yytext[0]; }

"&&"	{ return ANDOP; }
"||"	{ return OR; }

"<"	{ yylval.subtok = 1; return COMPARISON; }
">"	{ yylval.subtok = 2; return COMPARISON; }
"!="	|
"<>"	{ yylval.subtok = 3; return COMPARISON; }
"="	{ yylval.subtok = 4; return COMPARISON; }
"<="	{ yylval.subtok = 5; return COMPARISON; }
">="	{ yylval.subtok = 6; return COMPARISON; }
"<=>"	{ yylval.subtok = 12; return COMPARISON; }

"<<"	{ yylval.subtok = 1; return SHIFT; }
">>"	{ yylval.subtok = 2; return SHIFT; }


[A-Za-z][A-Za-z0-9_]*	{ yylval.strval = strdup(yytext);
			 /*printf("name 1=%s
",yylval.strval);*/
    return NAME; }
`[^`/\.
]+`  { yylval.strval = strdup(yytext+1);
			 /*printf("name 2=%s
",yylval.strval);*/
    yylval.strval[yyleng-2] = 0;
    return NAME; }

`[^`
]*$  { yyerror("unterminated quoted name %s", yytext); }


@[0-9a-z_.$]+ |
@"[^"
]+" |
@`[^`
]+` |
@'[^'
]+' { yylval.strval = strdup(yytext+1); return USERVAR; }

@"[^"
]*$ { yyerror("unterminated quoted user variable %s", yytext); }
@`[^`
]*$ { yyerror("unterminated quoted user variable %s", yytext); }
@'[^'
]*$ { yyerror("unterminated quoted user variable %s", yytext); }

":=" { return ASSIGN; }

#.*		;
"--"[ 	].*	;

"/*"  { oldstate = YY_START; BEGIN COMMENT; }
"*/" { BEGIN oldstate; }
.|
 ;
<> { yyerror("unclosed comment"); }


[ 	
]  /* white space */
.  { yyerror("mystery character '%c'", *yytext); }

%%

这一部分呢就是对 每个我们自定义的满足正则的识别

接下来是对词的语法识别

%{
#include 
#include 
#include 
#include 
#include 
char * parsetreeroot=NULL;
extern "C" int yylex();
extern "C" int yyparse();
extern "C" void yyerror(const char *s, ...);
char globalInputText[10000];
int globalReadOffset;
int readInputForLexer( char *buffer, int *numBytesRead, int maxBytesToRead );
char * mystrcat(char *s1,char *s2)
{
	char *p1=(char *)malloc(strlen(s1)+strlen(s2)+1);
	strcpy(p1,s1);
	strcat(p1,s2);
	return p1;
}
%}
%locations
%union {
	int intval;		
	double floatval;	
	char *strval;
	int subtok;
}
%token  NAME
%token  STRING
%token  INTNUM
%token  BOOL
%token  APPROXNUM
%token  USERVAR

%type  stmt_root create_stmt para_list definition data_type pro_block pro_parameters declare_list set_list 
%type  assign_var pro_body pro_stmt_list sql_stmt expr



%right ASSIGN
%left OR
%left XOR
%left ANDOP

%left NOT '!'
%left BETWEEN
%left  COMPARISON /* = <> < > <= >= <=> */
%left '|'
%left '&'
%left  SHIFT /* << >> */
%left '+' '-'
%left '*' '/' '%' MOD
%left '^'

%token CREATE
%token PROCEDURE
%token PRONAME
%token DECLARE
%token SET
%token BEGINT
%token END
%token SQL

%token INT
%token VARCHAR
%token DATE
%token TIME
%token DOUBLE

%token IF
%token NOT
%token EXISTS
%token THEN
%token ELSE
%token ENDIF
%token FOR
%token WHEN
%token WHILE
%start stmt_root
%%

stmt_root: create_stmt pro_block { $$=mystrcat($1,$2); parsetreeroot=$$;}
;
create_stmt: CREATE PROCEDURE NAME '(' para_list ')' 
		{
			char *temp=mystrcat("create procedure ",$3);
			temp=mystrcat(temp,"(");
			temp=mystrcat(temp,$5);
			$$=mystrcat(temp,")(create)
");
		}
;
/*
opt_if_not_exists:	 { $$ = 0; } 
 | IF NOT EXISTS  { $$ = 1; } 
 ;
*/
para_list: definition { $$=$1; }
|definition ',' para_list 
		{	
			
			char *temp=mystrcat($1,",");
			$$=mystrcat(temp,$3); 
		}
;
definition: USERVAR data_type 
		{	
			
			char *temp=mystrcat($1," ");
			$$=mystrcat(temp,$2);
			
		}
;

data_type:
 DATE 					{$$="date"; }
 | TIME					{$$="time"; }
 | VARCHAR '(' INTNUM ')' 			{$$="varchar"; }
 | INT 					{$$="int"; }
 | DOUBLE 					{$$="double"; }	
 ;

pro_block: BEGINT pro_parameters pro_body END 
		{ 
			char *temp=mystrcat("begin
",$2);
			temp=mystrcat(temp,"");
			temp=mystrcat(temp,$3);
			$$=mystrcat(temp,"end");
			//printf("pro_body %s
",$3);
		}
;

pro_parameters: declare_list ';' { $$=mystrcat($1,";(declare)
");}
|pro_parameters declare_list ';' 
		{ 
			char *temp=mystrcat($1,$2);
			$$=mystrcat(temp,";(declare)
");
		}
|pro_parameters set_list ';' 
		{
	 		char *temp=mystrcat($1,$2);
			$$=mystrcat(temp,";(set)
");
		}
;

declare_list:
|DECLARE definition 
		{
			$$=mystrcat("declare ",$2);
		}
|declare_list ',' definition 
		{ 
			char *temp=mystrcat($1,",");
			$$=mystrcat(temp,$3); 
		}
;

set_list:
|SET assign_var 
		{
			$$=mystrcat("set ",$2); 
		}
| set_list ',' assign_var 
		{	
			char *temp=mystrcat($1,",");
			$$=mystrcat(temp,$3); 
		}
;

assign_var : USERVAR COMPARISON expr
		{ 	
			char *temp=mystrcat($1,"=");
			$$=mystrcat(temp,$3); 
		}
;

expr: NAME  { $$=$1;}
 | STRING { $$=$1;}
 | INTNUM { $$=$1;}
 | APPROXNUM 	 { $$=$1;}	
 | BOOL  { $$=$1;}
 ;

pro_body : pro_stmt_list { $$=$1; }
;
pro_stmt_list: sql_stmt {$$=$1; }
|pro_stmt_list sql_stmt 
		{
			$$=mystrcat($1,$2);
		}
;
sql_stmt: 
|SQL NAME ';' { $$=mystrcat($2,";(sql)
");}
;
%%
/*
int main(int argc, char* argv[])
{
	yyparse();
}*/
int readInputForLexer( char *buffer, int *numBytesRead, int maxBytesToRead ) {
	int numBytesToRead = maxBytesToRead;
	int bytesRemaining = strlen(globalInputText)-globalReadOffset;
	int i;
	if ( numBytesToRead > bytesRemaining ) { numBytesToRead = bytesRemaining; }
	for ( i = 0; i < numBytesToRead; i++ ) {
		buffer[i] = globalInputText[globalReadOffset+i];
	}
	*numBytesRead = numBytesToRead;
	globalReadOffset += numBytesToRead;
	return 0;
}
void yyerror(const char *s, ...)
{
 fprintf(stderr, "error: %s
", s);
}
void zzerror(const char *s, ...)
{
	extern int yylineno;

	va_list ap;
	va_start(ap, s);

	fprintf(stderr, "%d: error: ", yylineno);
	vfprintf(stderr, s, ap);
	fprintf(stderr, "
");
}

int yywrap(void)
{
 return 1;
}
char* getsql()
{	
	return parsetreeroot;
}

这部分就是对上一个识别出来的词 进行顺序上的确定，构成一个完整的语法

这些需要在linux环境下进行调试

bison -d 文件名

flex 文件名

热心网友 时间：2022-04-14 18:18

你说的两个英文词是词法分析和语法分析程序的自动生成工具的软件名称。这些工具的作用是将用正规式和产生式书写的词法和语法规则描述代码转换成完成分析功能的源程序。编译原理里的实验有两类，一类是学习使用上述的工具自动生成编译分析程序，一类是自己手工编写编译分析程序。完成这些实验，可帮助学习者对编译过程有、更深入的了解。
声明声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com
工科考研50分数学能过国家线吗 数一工科国家线一般多少分 笔记本电脑无线连接epson爱普生打印机wifi怎么连接 爱普生如何无线连接 身份证注销了银行卡还可以用吗 8424西瓜是哪里产的? 一个人开两个支付宝是同一个二维码吗 买个衣服很生气,投诉无门, 拉夏贝尔衣服可以退吗 断桥铝门窗有多少种 龟虽寿整篇文章的拼音,准确性要高,速度要快 VC++能不能在WIN7环境下使用? 【vs2008】错误信息都看不懂... 卡巴斯基在扫面之后C盘空间由27G减少到19G的原因是什么，急求解决的方法 急求解决的方法 是WIN7系统 std::basic_istream&lt;char,std::char_traits&lt;char&gt;&gt; C++中的istream和ostream是什么关系?继承? VC++在win7下该如何使用 用c++运行代码，然后出现Access Violation,怎么解决。实际点的。 您好，我的电脑是win7的，打开电脑上的vc++2008应用程序，显示的却是维护模式，修复后，也是一样。 我的电脑这几天总是弹出 Load 窗口，内容是IStream（如图）这是什么情况?怎么解决？ 计算机一搜索就弹出Istream框框 - 信息提示 跪求大神们分享动物课完整版高清视频，最好是免费的百度网盘资源，谢谢啦 那位大佬有野花Kytice(2000)由F.A.布拉贝克导演的百度网盘高清免费视频链接分享一下 谁有百度网盘视频,ss 求给我分享些, - 信息提示 百度网盘高清视频分享 在群里面怎么改名字 手机QQ(MTK) 如何做到QQ名称不改的情况下在群里显示改了的名字?不用群名片。 歌词是关于学习的合唱歌曲 龟虽寿的拼音版 《魔道祖师》中有哪些女装大佬? 苹果手机扫脸开锁 用不了呢? 广联达图形算量绘制参数化楼梯时，怎样调换上下方向以及快速的90度旋转？_百度问一问 广联达 屏幕旋转 现在办微信办广东ETC粤通信用卡是二张卡吗,有没附卡 微信可以办理ETC借记卡，那么和银行办理的有什么区别？高速有打折优惠吗？还有其它什么区别呢？ 关于淘宝买家给差评的问题? 求救如何将AI文件转到CDR中 可以申请再安装一个电表么? 电表可以自己申请吗 AI格式的文件怎么转成CDR格式? 小区能自己安装电表吗 安装小区充电站可以自己安装电表吗 能说一下申请并户后的电表可以自行安装吗 宝宝拉肚子一天七八次，医院化验消化不良，己经拉7天啦，该怎么办？ 宝宝一岁拉肚子拉了三天全是水,每天拉七八次怎么办 一岁宝宝拉肚子厉害,一天十几次 怎么办 宝宝拉肚子一天拉七八次,有水,请问怎么回 1岁宝宝反反复复拉肚子,是什么回事?
懂视 51dongshi.com 版权所有
Copyright © 2019-2024