OpenCASCADE Expression Interpreter by Flex & Bison

Stella981
• 阅读 534

OpenCASCADE Expression Interpreter by Flex & Bison

eryar@163.com

Abstract. OpenCASCADE provide data structure of any expression, relation or function used in mathematics. Flex and Bison are tools for building programs that handle structured input. They were originally tools for building compilers, but they have proven to be useful in many other areas. The Expression Interpreter in OpenCASCADE is made by Flex and Bison. So let’s know something about Flex and Bison.

Key Words. OpenCASCADE, Expression Interpreter, Flex, Bison

1.Introduction

OpenCASCADE的TKMath中提供了数学表达式求解的包Expr和ExprIntrp,用来对数学表达式或函数进行解析计算。所谓的数学表达式如:sin(10)+20*6-6/3等。以前在《数据结构》的书上看到用栈的方式来对简单表达式求值,感觉已经很不错了。但是如果表达式中包含三角函数、对数、指数等,程序就要复杂了。如何简单、优雅地去解决这个问题,当时也是很茫然。

工作中遇到前辈自己写了一个用于定义几何的语言,还可以计算表达式。虽然没有看到源码,对其已是崇拜不已。后来接触了脚本语言,像Tcl/Tk,Python之类,发现原来利用这些开源库,也是可以实现一个简单、稳定的自定义开发语言。因为这类脚本不仅可以计算表达式,还可以计算带参数的表达式,如:

set x 3
set y 4 
set z [expr sqrt($x*$x+$y*$y)]

只要你在Unix环境中写过程序,你必定会邂逅神秘的Lex&YACC,就如GUN/Linux用户所熟知的Flex&Bison,这里的Flex就是由Vern Paxon实现的一个Lex,Bison则是GNU版本的YACC。学习过《编译原理》的同学们对这两个神器应该不会陌生。使用这两个工具,不仅可以实现一个表达式解析计算器,还可以用来解析SQL语法,如PostgreSQL中就是使用他们实现SQL语法解析。甚至还可以实现一个编译器。

因为是Unix上的工具,在Windows上需要使用winflexbison,可以从sourceforge上下载:https://sourceforge.net/projects/winflexbison/

本文介绍如何使用Flex来理解OpenCASCADE中ExprInterp的实现,开阔视野。OpenCASCADE中ExprInterp的用法见:Evaluate Math Expression

http://www.cppblog.com/eryar/archive/2013/10/09/203625.html

2.Flex Example

FLEX是一个自动化工具,可以按照定义好的规则自动生成一个C函数yylex(),也成为扫描器(Scanner)。这个C函数把文本串作为输入,按照定义好的规则分析文本串中的字符,找到符合规则的一些字符序列后,就执行在规则中定义好的动作(Action)。例如在规则中可以这样定义:如果遇到一个换行字符\n,那么就把行计数器的值加一。 

Flex文件就是一个文本文件,内容包括定义好的一系列词法规则。文件的命名习惯上以小写字母l(L)来作为文件后缀。如果为了清晰,也可以用.flx或者.flex作为文件的后缀名。Flex文件完成后,就执行下列命令: 

$ flex example.flex 

这个命令执行后将生成一个C文件,默认文件名为lex.yy.c。这个C文件主要内容就是函数yylex()的定义。 

如果要直接将这个文件编译成为一个可执行程序,还有一些要注意的地方。如果在Flex文件中没有提供main()函数的定义,那么这个C文件中不会有main()函数。此时单独编译这个C文件的时候,一定要加上-lfl的连接库参数;若提供了main()函数,就不必要提供这个连接库参数了。连接库libfl提供了一个缺省的main函数。缺省的main()函数中只是简单地调用yyflex()函数,而自己提供的main()函数则可以根据需要加入许多其他的处理代码。 

词法规范定义文件给出了单词构成规则。词法文件在习惯上用字母l(即L的小写)来作为后缀。Flex文件由三个部分组成。或者说三个段。三个段之间用两个%%分隔。 

定义段(definitions) 

%% 

规则段(rules) 

%% 

用户代码段(user code) 

下面给出一个简单的Flex程序,代码如下所示: 

/* hello world for Flex. */
%option noyywrap
%{
int char_count = 0;
int line_count = 0;
%}

%%

\n { ++char_count; ++line_count; }
.  { ++char_count; }

%%

int main(int argc, char* argv[])
{
    yylex();
    
    printf("# of lines = %d, # of chars = %d\n", line_count, char_count);
    
    return 0;
}

将上述文件保存为hello.lex,然后运行如下图所示命令:

OpenCASCADE Expression Interpreter by Flex & Bison

会生成一个lex.yy.c的源程序,将这个C源文件编译,链接即可生成一个可执行程序。运行程序如下图所示:

OpenCASCADE Expression Interpreter by Flex & Bison

3.Flex and Bison in occ

在OpenCASCADE的文件夹中也有相关的语法规则定义,如下图所示:

OpenCASCADE Expression Interpreter by Flex & Bison

由上图可知,OpenCASCADE的表达式解析功能的实现也是利用了Flex和Bison。

OpenCASCADE Expression Interpreter by Flex & Bison

OpenCASCADE Expression Interpreter by Flex & Bison

4.Conclusion

借助于Flex和Bison这两个强大的工具,你可以实现一个高级的计算器,即任意数学表达式计算器。

OpenCASCADE的ExprInterp使用了Flex和Bison实现了数学表达式的解析计算。当理解了工具的用途,有兴趣的读者不妨结合《编译原理》等理论知识,对工具的原理进行一番探究。

5.References

1. 严蔚敏, 吴伟民. 数据结构(C语言版). 清华大学出版社. 1997

2. 赵建华, 郑滔, 戴新宇 译. 编译原理. 机械工业出版社. 2011

3. John Levine, flex & bison. O’REILLY. 2009

PDF Version: OpenCASCADE Expression Interpreter by Flex & Bison

点赞
收藏
评论区
推荐文章
blmius blmius
2年前
MySQL:[Err] 1292 - Incorrect datetime value: ‘0000-00-00 00:00:00‘ for column ‘CREATE_TIME‘ at row 1
文章目录问题用navicat导入数据时,报错:原因这是因为当前的MySQL不支持datetime为0的情况。解决修改sql\mode:sql\mode:SQLMode定义了MySQL应支持的SQL语法、数据校验等,这样可以更容易地在不同的环境中使用MySQL。全局s
Wesley13 Wesley13
2年前
java将前端的json数组字符串转换为列表
记录下在前端通过ajax提交了一个json数组的字符串,在后端如何转换为列表。前端数据转化与请求varcontracts{id:'1',name:'yanggb合同1'},{id:'2',name:'yanggb合同2'},{id:'3',name:'yang
Jacquelyn38 Jacquelyn38
2年前
2020年前端实用代码段,为你的工作保驾护航
有空的时候,自己总结了几个代码段,在开发中也经常使用,谢谢。1、使用解构获取json数据let jsonData  id: 1,status: "OK",data: 'a', 'b';let  id, status, data: number   jsonData;console.log(id, status, number )
皕杰报表之UUID
​在我们用皕杰报表工具设计填报报表时,如何在新增行里自动增加id呢?能新增整数排序id吗?目前可以在新增行里自动增加id,但只能用uuid函数增加UUID编码,不能新增整数排序id。uuid函数说明:获取一个UUID,可以在填报表中用来创建数据ID语法:uuid()或uuid(sep)参数说明:sep布尔值,生成的uuid中是否包含分隔符'',缺省为
Stella981 Stella981
2年前
Building OpenCascade on Windows with Visual Studio
Building OpenCascade on Windows with Visual Studioeryar@163.com(https://www.oschina.net/action/GoToLink?urlmailto%3Aeryar%40
Wesley13 Wesley13
2年前
mysql设置时区
mysql设置时区mysql\_query("SETtime\_zone'8:00'")ordie('时区设置失败,请联系管理员!');中国在东8区所以加8方法二:selectcount(user\_id)asdevice,CONVERT\_TZ(FROM\_UNIXTIME(reg\_time),'08:00','0
Wesley13 Wesley13
2年前
00:Java简单了解
浅谈Java之概述Java是SUN(StanfordUniversityNetwork),斯坦福大学网络公司)1995年推出的一门高级编程语言。Java是一种面向Internet的编程语言。随着Java技术在web方面的不断成熟,已经成为Web应用程序的首选开发语言。Java是简单易学,完全面向对象,安全可靠,与平台无关的编程语言。
Stella981 Stella981
2年前
Django中Admin中的一些参数配置
设置在列表中显示的字段,id为django模型默认的主键list_display('id','name','sex','profession','email','qq','phone','status','create_time')设置在列表可编辑字段list_editable
Wesley13 Wesley13
2年前
MySQL部分从库上面因为大量的临时表tmp_table造成慢查询
背景描述Time:20190124T00:08:14.70572408:00User@Host:@Id:Schema:sentrymetaLast_errno:0Killed:0Query_time:0.315758Lock_
Python进阶者 Python进阶者
4个月前
Excel中这日期老是出来00:00:00,怎么用Pandas把这个去除
大家好,我是皮皮。一、前言前几天在Python白银交流群【上海新年人】问了一个Pandas数据筛选的问题。问题如下:这日期老是出来00:00:00,怎么把这个去除。二、实现过程后来【论草莓如何成为冻干莓】给了一个思路和代码如下:pd.toexcel之前把这