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

下面来详细地分析语法分析相关的类，以便了解整个语法分析的过程和细节，这样也方便地复用第二人生里的脚本编译器，达到源码复用的目标。先来分析类LLScriptFilePosition，它的声明代码如下：
#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

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