|
public static Lookup ( |
||
| table | ||
| name | string | |
| return | object | |
static public IASTNode Compile(SymbolTable symTable, object exp)
{
if (exp is string)
{
return(new ASTNode_GetVar {
address = SymbolTable.Lookup(symTable, (string)exp)
});
}
else if (exp is INumber)
{
return(new ASTNode_Literal {
value = exp
});
}
List <object> form = exp as List <object>;
switch (form[0] as string)
{
case "quote":
return(new ASTNode_Literal {
value = ListProcess.ListExpToPairExp(form[1])
});
case "if":
return(new ASTNode_If {
predNode = Compile(symTable, form[1]), thenNode = Compile(symTable, form[2]), elseNode = Compile(symTable, form[3])
});
case "begin":
return(new ASTNode_Begin {
nodes = form.Skip(1).Select(e => Compile(symTable, e)).ToList()
});
case "lambda": {
SymbolTable newSymTable = new SymbolTable(symTable);
var formals = ((List <object>)form[1]).Cast <string>();
foreach (var name in formals)
{
newSymTable.DefineLocalSymbol(name);
}
List <string> defines = new List <string>();
ListProcess.FindDefinition(defines, (List <object>)form[2], 1);
foreach (var name in defines)
{
newSymTable.DefineLocalSymbol(name);
}
IASTNode body = Compile(newSymTable, form[2]);
var finder = new ASTNodeVisitor_FindFreeAddresses(body);
return(new ASTNode_Lambda {
formalCount = ((List <object>)form[1]).Count,
locals = formals.Concat(defines).ToList(),
bodyNode = body,
bodyFreeAddresses = finder.BodyFreeAddresses.ToList(),
childrenFreeAddresses = finder.ChildrenFreeAddresses.ToList(),
});
}
case "define":
case "set!":
return(new ASTNode_SetVar {
address = SymbolTable.Lookup(symTable, (string)form[1]), rightNode = Compile(symTable, form[2])
});
default:
return(new ASTNode_Application {
procedureNode = Compile(symTable, form[0]),
actualNodes = form.Skip(1).Select(e => Compile(symTable, e)).ToList(),
});
}
}
