public void program(){prolog();while (tok.NotEOF()){outerDecl();}if (Io.genexe && !mainseen)io.Abort("Generating executable with no main entrypoint");epilog();}void prolog(){emit = new Emit(io);emit.BeginModule();        // need assembly module
  emit.BeginClass();}

public void BeginModule(){// 委托给Exe类来创建这个module，虽然在.net里，一个assembly可以由// 多个module组成，但是在C程序里，只要一个module就足够了，因此// 下面的代码并没有在生成IL源码的时候产生module。
  exe.BeginModule(io.GetInputFilename());}public void BeginClass(){// 委托给Exe类来创建class，再进一步跟踪代码的时候，会发现它其实// 是根据反射技术来创建类型的。
  exe.BeginClass(Io.GetClassname(), TypeAttributes.Public);// 如果在执行程序的命令行里，启用了生成源码的开关，那么// 将会输出IL class的源码定义。if (Io.genlist)io.Out(".class " + Io.GetClassname() + "{\r\n");}

public void BeginModule(string ifile){// .net的动态assembly创建功能，要求跟appdomain绑定appdomain = System.Threading.Thread.GetDomain();appname = getAssemblyName(filename);// 调用AppDomain.DefineDynamiceAssembly创建一个Assembly，以这个为// 起点，可以创建类型，创建函数并执行。实际上，.net上的IronPython等// 动态语言的实现就非常依赖这个技术。appbuild = appdomain.DefineDynamicAssembly(appname,AssemblyBuilderAccess.Save,Io.genpath);// 在.net里，所有的代码实际上都应该保存在一个module里。emodule = appbuild.DefineDynamicModule(filename+"_module",Io.GetOutputFilename(),Io.gendebug);Guid g = System.Guid.Empty;if (Io.gendebug)srcdoc = emodule.DefineDocument(ifile, g, g, g);}

void fcWhile(){// 在一般的il或者汇编语言里，循环和判断语句一般都是在不同路径的入口// 出定义好标签（label），再通过判断条件的方式跳转到指定的label实现的String label1 = newLabel();String label2 = newLabel();// 记录当前源码的位置，以便生成IL源码的时候可以把源代码和IL代码对照生成CommentHolder();    /* mark the position in insn stream */// 一般来说，循环语句至少有两个分支代码块，一个是继续循环的代码块，// 一个是跳出循环的代码块，看后面的代码，这个label是循环中执行的代码块// 开始的地方，以便满足条件的时候跳到开头继续执行
  emit.Label(label1);tok.scan();// 做一些错误判断if (tok.getFirstChar() != '(')io.Abort("Expected '('");// 处理循环条件的判断语句相关代码
  boolExpr();CommentFillPreTok();// 跳出循环的labelemit.Branch("brfalse", label2);// 循环内部的代码块，进入blockInner进行循环里面的编译blockInner(label2, label1);    /* outer label, top of loop */// 如果满足循环条件，跳转到代码块开头继续执行emit.Branch("br", label1);// 循环结束，跳出循环的地方
  emit.Label(label2);}

public void Branch(String s, String lname){                // this is the branch sourceNextInsn(1);// 往语法树里添加一个类别为 Branch 的元素
  icur.setIType(IAsm.I_BRANCH);// 指令名称
  icur.setInsn(s);// 指令参数
  icur.setLabel(lname);}

// 因为C程序大部分都是由函数组成的，而且函数使用到的变量或者其他函数，
// 都必须在函数之前定义，所以只需要在解析函数的时候实时生成代码即可
void declFunc(Var e){
#if DEBUGConsole.WriteLine("declFunc token=["+tok+"]\n");
#endifCommentHolder();    // start new comment// 记录解析出来的函数名e.setName(tok.getValue()); /* value is the function name */// 如果函数名是main，则设置一个标识位 - mainseen为true// 在外层的函数里，会通过判断这个标志来确定程序是否有语义错误if (e.getName().Equals("main")){if (Io.gendll)io.Abort("Using main entrypoint when generating a DLL");mainseen = true;}// 函数名也是一个全局变量，放到全局变量表里，以便做语义分析// 例如要调用的函数之前没有定义，则应该报错，在后文我们将// 看到语义方面的处理staticvar.add(e);        /* add function name to static VarList */paramvar = paramList();    // track current param liste.setParams(paramvar);    // and set it in func var// 记录函数里面定义的局部变量localvar = new VarList();    // track new local parameters
  CommentFillPreTok();// 开始生成函数的prolog，例如参数传递，this对象等
  emit.FuncBegin(e);if (tok.getFirstChar() != '{')io.Abort("Expected ‘{'");// 递归分析函数里面的源码blockOuter(null, null);emit.FuncEnd();// 解析完整个函数后，执行代码生成操作
  emit.IL();// 如果需要生成IL源码，则调用LIST函数生成IL源码if (Io.genlist)emit.LIST();emit.Finish();}

public void IL(){IAsm a = iroot;IAsm p;// 循环遍历整个语法树while (a != null){// 根据语法树里各个节点的类型来执行对应的操作switch (a.getIType()){case IAsm.I_INSN:exe.Insn(a);break;case IAsm.I_LABEL:exe.Label(a);break;case IAsm.I_BRANCH:exe.Branch(a);break;// 省略一些代码default:io.Abort("Unhandled instruction type " + a.getIType());break;}p = a;a = a.getNext();}}

public void Branch(IAsm a){Object o = opcodehash[a.getInsn()];if (o == null)Io.ICE("Instruction branch opcode (" + a.getInsn() + ") not found in hash”);// 使用 ILGenerator 类生成跳转IL指令。
  il.Emit((OpCode) o, (Label) getILLabel(a));}

void statement(){Var e;String vname = tok.getValue();CommentHolder();    /* mark the position in insn stream */switch (io.getNextChar()){case '(':            /* this is a function call */// 省略一些语法处理方面的代码tok.scan();        /* move to next token */// 下面这一行即在生成函数调用代码之前，在全局变量列表里// 查找要调用的函数是否已经定义了，如果没有定义，则应该报告此错误e = staticvar.FindByName(vname); /* find the symbol (e cannot be null) */emit.Call(e);// 省略后面的代码
   }if (tok.getFirstChar() != ';')io.Abort("Expected ';'");tok.scan();}