`

Lua5.1代码阅读(四):lparser.h/lparser.c

 
阅读更多

(未完成,待修改)

 

一、概述

lparser.h/lparser.c是Lua的语法分析器。

用于分析Lua脚本的语法以及把上下文信息传递给代码生成器,

完成文本代码到二进制代码的转换,以及语法检查。

在线版:

http://www.lua.org/source/5.1/lparser.h.html

http://www.lua.org/source/5.1/lparser.c.html

lparser内部主要函数的引用图如下:(只含部分)


在Lua参考手册(LRM)中描述了Lua的基本语法,见

http://www.lua.org/manual/5.1/manual.html#8

可以画出的关系图大概是这样子:


 

二、枚举值

1. typedef enum {

 VVOID, /* 无值 */

 VNIL,

 VTRUE,

 VFALSE,

 VK, /* info = k内常量的索引 */

 VKNUM, /* nval = 数值 */

 VLOCAL, /* info = 局部寄存器 */

 VUPVAL,   /* info = upvalues内的上值索引 */

 VGLOBAL, /* info = 表索引; aux = k内全局名称的索引 */

 VINDEXED, /* info = 表寄存器; aux = 索引寄存器(或k) */

 VJMP, /* info = 指令pc */

 VRELOCABLE, /* info = 指令pc */

 VNONRELOC, /* info = 结果寄存器 */

 VCALL, /* info = 指令pc */

 VVARARG /* info = 指令pc */

} expkind;

 

三、结构体、联合体

1. typedef struct expdesc {

 expkind k;

 union {

struct { int info, aux; } s;

lua_Number nval;

 } u;

 int t;  /* 真时退出的补丁列表 */

 int f;  /* 假时退出的补丁列表 */

} expdesc;

2. typedef struct upvaldesc {

 lu_byte k;

 lu_byte info;

} upvaldesc;

3. typedef struct FuncState {

 Proto *f;  /* 当前函数头 */

 Table *h;  /* 用来查找(或重用)k内元素的表*/

 struct FuncState *prev;  /* 闭合函数 */

 struct LexState *ls;  /* 词法状态 */

 struct lua_State *L;  /* Lua状态的复制 */

 struct BlockCnt *bl;  /* 当前块链 */

 int pc;  /* 代码的下一个位置(等价于ncode) */

 int lasttarget;   /* 上一次jump target的pc */

 int jpc;  /* 即将跳转的pc列表 */

 int freereg;  /* 第一个空闲的寄存器 */

 int nk;  /* k内的元素个数 */

 int np;  /* p内的元素个数 */

 short nlocvars;  /* locvars内的元素个数 */

 lu_byte nactvar;  /*激活的局部变量的个数 */

 upvaldesc upvalues[LUAI_MAXUPVALUES];  /* 上值 */

 unsigned short actvar[LUAI_MAXVARS];  /* 已声明变量的堆栈 */

} FuncState;

4. typedef struct BlockCnt {

 struct BlockCnt *previous;  /* 链 */

 int breaklist;  /* 跳出此循环的列表 */

 lu_byte nactvar;  /* 在可跳出结构外的激活局部变量 */

 lu_byte upval;  /* 如果块的一些变量为上值的话为真 */

 lu_byte isbreakable;  /* 如果块为循环的话为真 */

} BlockCnt;

5. struct ConsControl {

 expdesc v;  /* 上一次读入的列表项 */

 expdesc *t;  /* 表描述符 */

 int nh;  /* record元素的总数 */

 int na;  /* 数组元素的总数 */

 int tostore;  /* 将要被存储的数组元素的个数 */

};

6. static const struct {

 lu_byte left;  /* 每个二元操作符的左优先级 */

 lu_byte right; /* 右优先级 */

} priority[] = {  /* ORDER OPR */

  {6, 6}, {6, 6}, {7, 7}, {7, 7}, {7, 7},  /* `+' `-' `/' `%' */

  {10, 9}, {5, 4},                 /* 乘幂和拼接 (右结合) */

  {3, 3}, {3, 3},                  /* 相等和不等 */

  {3, 3}, {3, 3}, {3, 3}, {3, 3},  /* 排序 */

  {2, 2}, {1, 1}                   /* 逻辑(与或) */

};

7. struct LHS_assign {

 struct LHS_assign *prev;

 expdesc v;  /* 变量(全局,局部,上值,或索引) */

};

 

四、宏

1. #define lparser_c

2. #define LUA_CORE

3. #define hasmultret(k) ((k) == VCALL || (k) == VVARARG)

4. #define getlocvar(fs, i) ((fs)->f->locvars[(fs)->actvar[i]])

5. #define luaY_checklimit(fs,v,l,m) if ((v)>(l)) errorlimit(fs,l,m)

6. #define check_condition(ls,c,msg) { if (!(c)) luaX_syntaxerror(ls, msg); }

7. #define new_localvarliteral(ls,v,n) \

new_localvar(ls, luaX_newstring(ls, "" v, (sizeof(v)/sizeof(char))-1), n)

8. #define leavelevel(ls) ((ls)->L->nCcalls--)

9. #define UNARY_PRIORITY 8  /* 一元操作符的优先级 */

五、公共全局函数

1. Proto *luaY_parser (lua_State *L, ZIO *z, Mbuffer *buff, const char *name) {

 

六、私有静态函数

1. static void anchor_token (LexState *ls) {

2. static void error_expected (LexState *ls, int token) {

3. static void errorlimit (FuncState *fs, int limit, const char *what) {

4. static int testnext (LexState *ls, int c) {

5. static void check (LexState *ls, int c) {

6. static void checknext (LexState *ls, int c) {

7. static void check_match (LexState *ls, int what, int who, int where) {

8. static TString *str_checkname (LexState *ls) {

9. static void init_exp (expdesc *e, expkind k, int i) {

10. static void codestring (LexState *ls, expdesc *e, TString *s) {

11. static void checkname(LexState *ls, expdesc *e) {

12. static int registerlocalvar (LexState *ls, TString *varname) {

13. static void new_localvar (LexState *ls, TString *name, int n) {

14. static void adjustlocalvars (LexState *ls, int nvars) {

15. static void removevars (LexState *ls, int tolevel) {

16. static int indexupvalue (FuncState *fs, TString *name, expdesc *v) {

17. static int searchvar (FuncState *fs, TString *n) {

18. static void markupval (FuncState *fs, int level) {

19. static int singlevaraux (FuncState *fs, TString *n, expdesc *var, int base) {

20. static void singlevar (LexState *ls, expdesc *var) {

21. static void adjust_assign (LexState *ls, int nvars, int nexps, expdesc *e) {

22. static void enterlevel (LexState *ls) {

23. static void enterblock (FuncState *fs, BlockCnt *bl, lu_byte isbreakable) {

24. static void leaveblock (FuncState *fs) {

25. static void pushclosure (LexState *ls, FuncState *func, expdesc *v) {

26. static void open_func (LexState *ls, FuncState *fs) {

27. static void close_func (LexState *ls) {

28. static void field (LexState *ls, expdesc *v) {

29. static void yindex (LexState *ls, expdesc *v) {

30. static void recfield (LexState *ls, struct ConsControl *cc) {

31. static void closelistfield (FuncState *fs, struct ConsControl *cc) {

32. static void lastlistfield (FuncState *fs, struct ConsControl *cc) {

33. static void listfield (LexState *ls, struct ConsControl *cc) {

34. static void constructor (LexState *ls, expdesc *t) {

35. static void parlist (LexState *ls) {

36. static void body (LexState *ls, expdesc *e, int needself, int line) {

37. static int explist1 (LexState *ls, expdesc *v) {

38. static void funcargs (LexState *ls, expdesc *f) {

39. static void prefixexp (LexState *ls, expdesc *v) {

40. static void primaryexp (LexState *ls, expdesc *v) {

41. static void simpleexp (LexState *ls, expdesc *v) {

42. static UnOpr getunopr (int op) {

43. static BinOpr getbinopr (int op) {

44. static BinOpr subexpr (LexState *ls, expdesc *v, unsigned int limit) {

45. static void expr (LexState *ls, expdesc *v) {

46. static int block_follow (int token) {

47. static void block (LexState *ls) {

48. static void check_conflict (LexState *ls, struct LHS_assign *lh, expdesc *v) {

49. static void assignment (LexState *ls, struct LHS_assign *lh, int nvars) {

50. static int cond (LexState *ls) {

51. static void breakstat (LexState *ls) {

52. static void whilestat (LexState *ls, int line) {

53. static void repeatstat (LexState *ls, int line) {

54. static int exp1 (LexState *ls) {

55. static void forbody (LexState *ls, int base, int line, int nvars, int isnum) {

56. static void fornum (LexState *ls, TString *varname, int line) {

57. static void forlist (LexState *ls, TString *indexname) {

58. static void forstat (LexState *ls, int line) {

59. static int test_then_block (LexState *ls) {

60. static void ifstat (LexState *ls, int line) {

61. static void localfunc (LexState *ls) {

62. static void localstat (LexState *ls) {

63. static int funcname (LexState *ls, expdesc *v) {

64. static void funcstat (LexState *ls, int line) {

65. static void exprstat (LexState *ls) {

66. static void retstat (LexState *ls) {

67. static int statement (LexState *ls) {

68. static void chunk (LexState *ls) {

 

七、值得观察的代码

1. luaY_parser

Lua语法分析器的入口

2. chunk/block/expr/subexpr/constructor/explist1

Lua语法中几个重要元素

(未完成,待修改)

 

  • 大小: 86.8 KB
  • 大小: 286.4 KB
分享到:
评论

相关推荐

    lua-utf8.zip

    a utf-8 support module for Lua and LuaJIT 源码地址:https://github.com/starwing/luautf8 编译后可用的库: Linux版:lua-utf8.so Windows版:lua-utf8.dll(若是用在openresty中,openresty版本需使用32位版本...

    luadec解密工具 包含了5.1、5.2、5.3版本的 luareplace.exe/ luaopswap.exe/ luadec.exe/ lua.exe

    ├─5.1 │ └─bin │ liblua51.lib │ lua.exe │ lua51.dll │ lua51.lib │ luac.exe │ luadec.exe │ luaopswap.exe │ luareplace.exe │ ├─5.2 │ └─bin │ liblua52.lib │ lua.exe │ lua52.dll │ ...

    lua5.1 cjson.dll模块

    cjson.dll 需要lua5.1.dll 调用require “cjson” cjson.dll 需要lua5.1.dll 调用require “cjson”

    Lua5.1.5-lib库

    1. **lua.h**: 这是Lua C API的头文件,定义了所有与C语言交互的函数和数据结构。 2. **lua.c/lua.o**: Lua的主解析器和虚拟机实现,编译后的对象文件或静态库。 3. **lapi.c/lapi.o**: 实现了Lua与C之间的接口,...

    Lua5.1全三套:Lua Programming(中英文版)+中文手册

    本文将详细解析"Lua5.1全三套:Lua Programming(中英文版)+中文手册"中包含的知识点。 首先,我们有《Lua Programming》第二版的中文版和英文版。这本书由Mario J. Silva、Luiz Henrique de Figueiredo和Roberto ...

    lua5.1基础环境包(LuaForWindows_v5.1.5-52及mingw).zip

    总结来说,这个压缩包为Windows用户提供了完整的Lua 5.1开发环境,包括解释器、调试工具以及用于编译C扩展的MinGW。通过这个环境,开发者能够快速入门并深入掌握Lua编程,利用其强大的功能来解决各种问题。

    FairyGUI生成lua代码插件.rar

    FairyGUI生成lua代码插件 导入到FairyGUI编辑器,可以为UI生成lua代码。 Git路径: https://github.com/qufangliu/Plugin_FairyGUI_Lua

    lua-5.1.5-Win64-bin (exe)程序

    2. **luac5.1.exe**:这是Lua的编译器,它可以将Lua源代码转换为预编译的字节码,这种字节码可以直接由Lua虚拟机执行,提高了加载速度。这对于大型应用或者需要快速启动的环境尤其有用。 3. **bin2c5.1.exe**:这是...

    在线编码环境Praxis.zip

    Praxis 是基于 Lua,Lisp 和 Forth 的在线编码环境。 特性 OpenGL 实时音频生成 Midi 立体引擎 可编程的文本编辑器 等等 Introduction: https://www.youtube.com/watch?v=1VRtRazMYSA Running the ...

    ZeroBraneStudio1.9和lua脚本测试代码

    ZeroBrane Studio是一个免费、开源、跨平台(Windows、MacOSX和Linux)的Lua集成开发环境(IDE),它提供了代码提示、远程调试、代码分析、语法高亮等功能,支持Lua 5.1、Lua 5.2、Lua 5.3、LuaJIT和其他Lua引擎1。

    Lua-5.1.5-部分源码注释.rar

    1. **API接口(lapi.c)**:这部分代码定义了Lua与C语言交互的接口,包括创建和销毁lua_State,调用lua_pcall,注册C函数到全局环境等操作。 2. **编译器(lcode.c, llex.c, lparser.c)**:Lua的编译器将源代码转换为...

    lua5.1.lib

    lua5.1.lib文件缺失,LNK1181

    lua5.1 +luarocks for windows64安装版

    Lua 5.1是Lua语言的一个版本,发布于2006年,它提供了强大的数据结构,如表(tables),支持动态类型的面向对象编程,以及灵活的接口机制,使它能够方便地与各种C/C++程序进行交互。这个版本相对于更早期或更晚期的...

    lua-nginx-module-0.10.9rc7

    例如,使用`lua_code_cache on|off`来控制Lua代码缓存策略,用`set_by_lua_file`或`access_by_lua_file`等指令执行Lua脚本。 4. **测试与启动**:在修改配置后,务必先运行`nginx -t`测试配置文件的正确性,无误后...

    lua5.1静态库

    源代码通常包含`.c`和`.h`文件,`.c`文件是实现函数和数据结构的C语言代码,`.h`文件则定义了头文件,包含对外接口声明。这对于理解Lua的内部工作原理以及根据特定需求定制功能非常有用。 "编译 lua5.1"标签指示了...

    lua源码下载 Lua-5.3.4 源码 最新 截止2017-3-7

    3. **lualib.h** 和 **luac.h**: 分别包含了标准库和编译器的接口。 4. **lstate.h**: 描述了lua_State结构,它是Lua执行环境的核心,保存了所有运行时信息。 5. **lparser.h** 和 **llex.h**: 用于解析Lua源代码...

    Cocos2d-x之C++和Lua通信5个入门Demo

    木头Cocos2d-x教程 Lua篇 Demo源代码。 教程地址: 第1章:http://blog.csdn.net/musicvs/article/details/8440707 第2章:http://blog.csdn.net/musicvs/article/details/8440919 第3章:...

    lua5.1压缩包源文件

    其中,`lua.c` 和 `luac.c` 分别是 Lua 解释器和编译器的主要实现。通过阅读这些源码,你可以了解到 Lua 如何解析和执行代码。 2. `lualib/`:这个目录包含了 Lua 标准库的源代码,如数学运算、字符串处理、文件I/O...

    c#调用脚本语言Lua——简单Demo

    c#调用脚本语言Lua——简单Demo 配置: 1. 下载c#下的Lua支持类库。下载地址:http://files.luaforge.net/releases/luainterface/luainterface/2.0.3 将(lua51.dll\LuaInterface.dll)引用自己的项目中。 2. 修改...

    windows下使用的luac 基于5.1版本

    《Windows环境下基于5.1版本的LuaC使用详解》 LuaC是一款用于编译Lua脚本的工具,它将源代码转换成预编译的字节码,以便于提高程序的加载速度和安全性。在Windows操作系统中,Luac 5.1版本是广泛使用的版本,与lua...

Global site tag (gtag.js) - Google Analytics