第二人生的源码分析(109)脚本的语法分析（3）

下面来详细地分析语法分析相关的类，以便了解整个语法分析的过程和细节，这样也方便地复用第二人生里的脚本编译器，达到源码复用的目标。先来分析类LLScriptFilePosition，它的声明代码如下：<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

#001 class LLScriptFilePosition

#002 {

#003 public:

构造函数，保存脚本所在的行号和列号。

#004 LLScriptFilePosition(S32 line, S32 col)

#005 : mLineNumber(line), mColumnNumber(col), mByteOffset(0), mByteSize(0)

#006 {

#007 }

#008

析构函数。

#009 virtual ~LLScriptFilePosition() {}

#010

下面函数接口实现递归处理。

#011 virtual void recurse(FILE *fp, S32 tabs, S32 tabsize,

#012 LSCRIPTCompilePass pass, LSCRIPTPruneType ptype, BOOL &prunearg,

#013 LLScriptScope *scope, LSCRIPTType &type, LSCRIPTType basetype, U64 &count,

#014 LLScriptByteCodeChunk *chunk, LLScriptByteCodeChunk *heap, S32 stacksize,

#015 LLScriptScopeEntry *entry, S32 entrycount, LLScriptLibData **ldata) = 0;

获取代码的大小。

#016 virtual S32 getSize() = 0;

#017

输出对齐字符。

#018 void fdotabs(FILE *fp, S32 tabs, S32 tabsize);

#019

保存当前的行号。

#020 S32 mLineNumber;

保存当前的列号。

#021 S32 mColumnNumber;

#022

字节偏移位置。

#023 S32 mByteOffset;

字节的大小。

#024 S32 mByteSize;

#025 };

通过上面这个类来实现代码行号和列号的保存，并且可以递归调用生成代码。这个类是基类，后面会有很多类都继承它，用它来保存单词是出现在那里的，下面就来看看单词出现的类型，它的声明如下：

#001 class LLScriptType : public LLScriptFilePosition

从这里可以看到它是继承上面介绍的类LLScriptFilePosition。

#002 {

#003 public:

构造函数，可以初始化保存行号，列号和单词的类型。

#004 LLScriptType(S32 line, S32 col, LSCRIPTType type)

#005 : LLScriptFilePosition(line, col), mType(type)

#006 {

#007 }

#008

析构函数。

#009 ~LLScriptType() {}

#010

递归函数接口的实现。

#011 void recurse(FILE *fp, S32 tabs, S32 tabsize, LSCRIPTCompilePass pass, LSCRIPTPruneType ptype, BOOL &prunearg, LLScriptScope *scope, LSCRIPTType &type,

#012 LSCRIPTType basetype, U64 &count, LLScriptByteCodeChunk *chunk, LLScriptByteCodeChunk *heap, S32 stacksize, LLScriptScopeEntry *entry, S32 entrycount, LLScriptLibData **ldata);

获取大小的实现。

#013 S32 getSize();

#014

只存单词的类型。

#015 LSCRIPTType mType;

#016 };

#017

在第15行里定义一个类型LSCRIPTType，这是脚本文件里出现的类型，它的定义如下：

#001 typedef enum e_lscript_types

#002 {

空类型。

#003 LST_NULL,

整数类型。

#004 LST_INTEGER,

浮点数类型。

#005 LST_FLOATINGPOINT,

字符串类型。

#006 LST_STRING,

关键字类型。

#007 LST_KEY,

数组类型。

#008 LST_VECTOR,

四元数类型。

#009 LST_QUATERNION,

列表类型。

#010 LST_LIST,

未有定义类型。

#011 LST_UNDEFINED,

结束类型。

#012 LST_EOF

#013 } LSCRIPTType;

因此，上面的类里只能保存这几种类型，下面再来看类LLScriptType的实现代码：

#001 void LLScriptType::recurse(FILE *fp, S32 tabs, S32 tabsize, LSCRIPTCompilePass pass, LSCRIPTPruneType ptype, BOOL &prunearg, LLScriptScope *scope, LSCRIPTType &type,

#002 LSCRIPTType basetype, U64 &count, LLScriptByteCodeChunk *chunk, LLScriptByteCodeChunk *heap, S32 stacksize, LLScriptScopeEntry *entry, S32 entrycount, LLScriptLibData **ldata)

#003 {

如果脚本代码有错，就不用处理。

#004 if (gErrorToText.getErrors())

#005 {

#006 return;

#007 }

根据编译那一遍进行不同的处理。

#008 switch(pass)

#009 {

这两遍是输出类型名称。

#010 case LSCP_PRETTY_PRINT:

#011 case LSCP_EMIT_ASSEMBLY:

根据类型mType从数组LSCRIPTTypeNames里获取相应的类字符串输出。

#012 fprintf(fp,"%s",LSCRIPTTypeNames[mType]);

#013 break;

获取类型。

#014 case LSCP_TYPE:

#015 type = mType;

#016 break;

输出CIL的汇编。

#017 case LSCP_EMIT_CIL_ASSEMBLY:

#018 print_cil_type(fp, mType);

#019 break;

#020 default:

#021 break;

#022 }

#023 }

#024

获取类型的大小，比如整数是4字节。

#025 S32 LLScriptType::getSize()

#026 {

#027 return LSCRIPTDataSize[mType];

#028 }

数组LSCRIPTDataSize具体值如下：

#001 const S32 LSCRIPTDataSize[LST_EOF] =

#002 {

#003 0, // VOID

#004 4, // integer

#005 4, // float

#006 4, // string

#007 4, // key

#008 12, // vector

#009 16, // quaternion

#010 4, // list

#011 0 // invalid

#012 };

#013

这个数组就是定义每一个类型占用内存的大小。到这里就把类型分析完成了，下一次再来分析其它的代码。