internal Frame(IDictionary<String, Procedure> bindings, Frame parent, Frame callingFrame, Procedure proc, bool isSpecialForm, string name)
{
_bindings = bindings;
if (_bindings == null)
{
_bindings = new Dictionary<String, Procedure>();
}
ParentFrame = parent;
CallingFrame = callingFrame;
EvaluatedProcedure = proc;
EvaluatedProcedureName = name;
IsSpecialForm = isSpecialForm;
Name = name;
frameCount++;
}
private Frame FindCallingTailCallFrame(Procedure proc,string name)
{
Frame current = this.CallingFrame;
while (current != null && current.IsSpecialForm)
{
current = current.CallingFrame;
}
if (current != null &&
current._isLastCall &&
current.EvaluatedProcedure.Equals(proc) &&
current.EvaluatedProcedureName == name)
{
Frame tailCallFrame = current.CallingFrame;
while (tailCallFrame != null && tailCallFrame.IsSpecialForm)
{
tailCallFrame = tailCallFrame.CallingFrame;
}
if (tailCallFrame != null && tailCallFrame.CallingFrame != null)
{
return tailCallFrame;
}
else
{
return current;
}
}
return null;
}
private object ApplyProc(Expression expression,String name, Procedure proc, bool checkTailCall)
{
//Console.WriteLine(expression);
//Console.WriteLine(name);
//this.EvaluatedProcedure = proc;
List<Expression> operands = expression.GetRest();
if (proc is Identity && operands.Count > 0)
{
throw new Exception(String.Format("The object {0} is not applicable.",proc.Evaluate(this)));
}
if (operands.Count < proc.MinParameterCount)
{
throw new Exception("Insufficient arguments for procedure.");
}
if (!proc.HasVariableParameter && operands.Count > proc.Parameters.Count)
{
throw new Exception(String.Format("Procedure expects {0} arguments but {1} were supplied.",proc.Parameters.Count,operands.Count));
}
IDictionary<String, Procedure> bindings = new Dictionary<string, Procedure>();
for (int i = 0; i < proc.Parameters.Count; i++)
{
Frame operandEnv = new Frame(new Dictionary<string, Procedure>(0), this, null, new Identity(this, null),false, "operand");
if (proc.Parameters[i] == ".")
{
RestParameters restParameters = new RestParameters();
int j = i;
while (operands.Count - j >= proc.Parameters.Count - i)
{
restParameters.Add(operandEnv.Evaluate(operands[j]));
j++;
}
if (restParameters.Values.Count > 0)
{
bindings.Add(".", new Identity(this, restParameters));
}
continue;
}
object result = operandEnv.Evaluate(operands[i]);
if (result is Procedure)
{
bindings.Add(proc.Parameters[i], (Procedure)result);
}
else if (result is Continuation)
{
throw new Exception("");
}
else
{
//Console.WriteLine(proc.Parameters[i] + " - " + result);
bindings.Add(proc.Parameters[i], new Identity(this, result));
}
}
Frame env = new Frame(bindings, proc.DefinitionEnvironment, this,proc,name);
object o;
if (proc.Body != null && proc.Body.Count > 0)
{
o = env.Evaluate(proc.Body);
}
else
{
o = proc.Evaluate(env);
}
return o;
}
internal Frame(IDictionary<String, Procedure> bindings, Frame parent, Frame callingFrame, Procedure proc,string name)
: this(bindings,parent,callingFrame,proc,false,name)
{
}
internal void AddBinding(String name, Procedure proc)
{
_bindings[name] = proc;
}
