internal WhileExpression(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
this.test = interpreter.analyze(args.first, env, loc);
this.body = interpreter.analyze(new Cons(interpreter.BLOCK, args.rest), env, loc);
}
internal DynamicLet(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Cons bindlist = (Cons)args.first;
Int32 blen = Cons.Length(bindlist);
if ((blen % 2) != 0) //odd
{
throw new Exception("Odd number of args in dynamic-let binding list");
}
binds = new BindPair[blen / 2];
for (int i = 0; i < binds.Length; i++)
{
// MEH: Better error instead of InvalidCastException
//binds[i].dvar = (DynamicVar)interpreter.analyze(bindlist.first, env,loc);
if ((binds[i].dvar = (interpreter.analyze(bindlist.first, env, loc) as DynamicVar)) == null)
{
throw new Exception("Dynamic vars must have prefix *");
}
bindlist = bindlist.rest;
binds[i].expr = interpreter.analyze(bindlist.first, env, loc);
bindlist = bindlist.rest;
}
this.body = interpreter.analyze(new Cons(interpreter.BLOCK, args.rest), env, loc);
}
internal SetExpression(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Int32 len = Cons.Length(args);
if (len != 2)
{
throw new Exception("Wrong number of args for set");
}
var = (IVar)interpreter.analyze(args.first, env, loc);
val = interpreter.analyze(Cons.Second(args), env, loc);
}
internal ApplyExpression(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
fexpr = interpreter.analyze(args.first,env,loc);
if(fexpr is IVar)
{
fsym = ((IVar)fexpr).getSymbol();
}
Int32 len = Cons.Length(args.rest);
argexprs = new IExpression[len];
args = args.rest;
for(Int32 i=0;i<argexprs.Length;i++,args = args.rest)
{
argexprs[i] = interpreter.analyze(args.first,env,loc);
}
}
internal ApplyExpression(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
fexpr = interpreter.analyze(args.first, env, loc);
if (fexpr is IVar)
{
fsym = ((IVar)fexpr).getSymbol();
}
Int32 len = Cons.Length(args.rest);
argexprs = new IExpression[len];
args = args.rest;
for (Int32 i = 0; i < argexprs.Length; i++, args = args.rest)
{
argexprs[i] = interpreter.analyze(args.first, env, loc);
}
}
internal OrExpression(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
exprs = new IExpression[Cons.Length(args)];
for (Int32 i = 0; i < exprs.Length; i++, args = args.rest)
{
exprs[i] = interpreter.analyze(args.first, env, loc);
}
}
internal IfExpression(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Int32 len = Cons.Length(args);
if (len < 2 || len > 3)
{
throw new Exception("Wrong number of args for if");
}
test = interpreter.analyze(args.first, env, loc);
brtrue = interpreter.analyze(Cons.Second(args), env, loc);
if (len == 3)
{
brfalse = interpreter.analyze(Cons.Third(args), env, loc);
}
else
{
brfalse = new QuoteExpr(null);
}
}
internal Closure(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.interpreter = interpreter;
this.loc = loc;
ArgSpecs specs = analyzeArgSpec((Cons)args.first,env,loc);
//create an env expanded by params in which to analyze body
Env env2 = new Env(specs.parameters, null, env, interpreter);
this.argSpecs = specs;
this.body = interpreter.analyze(new Cons(interpreter.BLOCK,args.rest), env2,loc);
this.env = env;
}
internal Closure(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.interpreter = interpreter;
this.loc = loc;
ArgSpecs specs = analyzeArgSpec((Cons)args.first, env, loc);
//create an env expanded by params in which to analyze body
Env env2 = new Env(specs.parameters, null, env);
this.argSpecs = specs;
this.body = interpreter.analyze(new Cons(interpreter.BLOCK, args.rest), env2, loc);
this.env = env;
}
internal DynamicLet(Cons args, Env env, Interpreter interpreter, Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Cons bindlist = (Cons)args.first;
Int32 blen = Cons.Length(bindlist);
if ((blen % 2) != 0) //odd
{
throw new Exception("Odd number of args in dynamic-let binding list");
}
binds = new BindPair[blen / 2];
for (int i = 0; i < binds.Length; i++)
{
binds[i].dvar = (DynamicVar)interpreter.analyze(bindlist.first, env, loc);
bindlist = bindlist.rest;
binds[i].expr = interpreter.analyze(bindlist.first, env, loc);
bindlist = bindlist.rest;
}
this.body = interpreter.analyze(new Cons(interpreter.BLOCK, args.rest), env, loc);
}
//parse out params from spec (which may contain &optional, &key, &rest, initforms etc
internal ArgSpecs analyzeArgSpec(Cons arglist, Env env, Loc loc)
{
//count the params
int nParams = 0;
Cons a = arglist;
while (a != null)
{
Object p = a.first;
if (p != interpreter.AMPOPT && p != interpreter.AMPKEY && p != interpreter.AMPREST)
{
++nParams;
}
a = a.rest;
}
ArgSpecs ret = new ArgSpecs(env);
ret.parameters = new Parameter[nParams];
Parameter.Spec state = Parameter.Spec.REQ;
int param = 0;
a = arglist;
while (a != null)
{
Object p = a.first;
switch (state)
{
case Parameter.Spec.REQ:
if (p == interpreter.AMPOPT)
{
state = Parameter.Spec.OPT;
}
else if (p == interpreter.AMPKEY)
{
state = Parameter.Spec.KEY;
}
else if (p == interpreter.AMPREST)
{
state = Parameter.Spec.REST;
}
else
{
if (p is Symbol)
{
ret.parameters[param++] =
new Parameter((Symbol)p, Parameter.Spec.REQ, null);
++ret.numReq;
}
else if (p is Cons)
{
ret.parameters[param] =
new Parameter((Symbol)((Cons)p).first, Parameter.Spec.REQ, null);
ret.parameters[param].typeSpec = interpreter.eval(Cons.Second((Cons)p), env);
++param;
++ret.numReq;
}
}
break;
case Parameter.Spec.OPT:
if (p == interpreter.AMPOPT)
{
throw new Exception("&optional can appear only once in arg list");
}
else if (p == interpreter.AMPKEY)
{
state = Parameter.Spec.KEY;
}
else if (p == interpreter.AMPREST)
{
state = Parameter.Spec.REST;
}
else
{
if (p is Symbol)
{
ret.parameters[param++] =
new Parameter((Symbol)p, Parameter.Spec.OPT, null);
++ret.numOpt;
}
else if (p is Cons)
{
ret.parameters[param++] =
new Parameter((Symbol)((Cons)p).first, Parameter.Spec.OPT,
interpreter.analyze(Cons.Second((Cons)p), env, loc));
++ret.numOpt;
}
else
{
throw new Exception("&optional parameters must be symbols or (symbol init-form)");
}
}
break;
case Parameter.Spec.KEY:
if (p == interpreter.AMPOPT)
{
throw new Exception("&optional must appear before &key in arg list");
}
else if (p == interpreter.AMPKEY)
{
throw new Exception("&key can appear only once in arg list");
}
else if (p == interpreter.AMPREST)
{
state = Parameter.Spec.REST;
}
else
{
if (p is Symbol)
{
ret.parameters[param] =
new Parameter((Symbol)p, Parameter.Spec.KEY, null);
ret.parameters[param].key = interpreter.intern(":" + ((Symbol)p).name);
++param;
++ret.numKey;
}
else if (p is Cons)
{
ret.parameters[param] =
new Parameter((Symbol)((Cons)p).first, Parameter.Spec.KEY,
interpreter.analyze(Cons.Second((Cons)p), env, loc));
ret.parameters[param].key =
interpreter.intern(":" + ((Symbol)((Cons)p).first).name);
++param;
++ret.numKey;
}
else
{
throw new Exception("&key parameters must be symbols or (symbol init-form)");
}
}
break;
case Parameter.Spec.REST:
if (p == interpreter.AMPOPT)
{
throw new Exception("&optional must appear before &rest in arg list");
}
else if (p == interpreter.AMPKEY)
{
throw new Exception("&key must appear before &rest in arg list");
}
else if (p == interpreter.AMPREST)
{
throw new Exception("&rest can appear only once in arg list");
}
else
{
if (!(p is Symbol))
{
throw new Exception("&rest parameter must be a symbol");
}
else
{
if (ret.numRest > 0) //already got a rest param
{
throw new Exception("Only one &rest arg can be specified");
}
ret.parameters[param++] =
new Parameter((Symbol)p, Parameter.Spec.REST, null);
++ret.numRest;
}
}
break;
}
a = a.rest;
}
return(ret);
}
internal SetExpression(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Int32 len = Cons.Length(args);
if(len != 2)
throw new Exception("Wrong number of args for set");
var = (IVar)interpreter.analyze(args.first,env,loc);
val = interpreter.analyze(Cons.Second(args),env,loc);
}
internal IfExpression(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Int32 len = Cons.Length(args);
if(len < 2 || len > 3)
throw new Exception("Wrong number of args for if");
test = interpreter.analyze(args.first,env,loc);
brtrue = interpreter.analyze(Cons.Second(args),env,loc);
if(len == 3)
brfalse = interpreter.analyze(Cons.Third(args),env,loc);
else
brfalse = new QuoteExpr(null);
}
internal OrExpression(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
exprs = new IExpression[Cons.Length(args)];
for(Int32 i=0;i<exprs.Length;i++,args = args.rest)
{
exprs[i] = interpreter.analyze(args.first,env,loc);
}
}
internal WhileExpression(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
this.test = interpreter.analyze(args.first,env,loc);
this.body = interpreter.analyze(new Cons(interpreter.BLOCK,args.rest),env,loc);
}
internal DynamicLet(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Cons bindlist = (Cons)args.first;
Int32 blen = Cons.Length(bindlist);
if((blen%2) != 0) //odd
{
throw new Exception("Odd number of args in dynamic-let binding list");
}
binds = new BindPair[blen/2];
for(int i = 0;i<binds.Length;i++)
{
binds[i].dvar = (DynamicVar)interpreter.analyze(bindlist.first, env,loc);
bindlist = bindlist.rest;
binds[i].expr = interpreter.analyze(bindlist.first, env,loc);
bindlist = bindlist.rest;
}
this.body = interpreter.analyze(new Cons(interpreter.BLOCK,args.rest), env,loc);
}
internal DynamicLet(Cons args,Env env,Interpreter interpreter,Loc loc)
{
this.loc = loc;
this.interpreter = interpreter;
Cons bindlist = (Cons)args.first;
Int32 blen = Cons.Length(bindlist);
if((blen%2) != 0) //odd
{
throw new Exception("Odd number of args in dynamic-let binding list");
}
binds = new BindPair[blen/2];
for(int i = 0;i<binds.Length;i++)
{
// MEH: Better error instead of InvalidCastException
//binds[i].dvar = (DynamicVar)interpreter.analyze(bindlist.first, env,loc);
if((binds[i].dvar = (interpreter.analyze(bindlist.first, env,loc) as DynamicVar)) == null)
throw new Exception("Dynamic vars must have prefix *");
bindlist = bindlist.rest;
binds[i].expr = interpreter.analyze(bindlist.first, env,loc);
bindlist = bindlist.rest;
}
this.body = interpreter.analyze(new Cons(interpreter.BLOCK,args.rest), env,loc);
}