Object checkVar(Object var) {
if (var == null) {
throw new NullPointerException("var is null");
} else if (Data.isSymbol(var)) {
Symbol sym = Data.symbol(var);
if (sym.isSelfeval() || Symbols.isLambdaListKeyword(sym))
throw new ProgramException("illegal symbol specified for var: ~S.", Lists.list(var));
} else {
if (!Data.isLambdaList(var))
throw new ProgramException("illegal object specified for var: ~S.", Lists.list(var));
}
return var;
}
/**
* LambdaList constructor for {@link Subr}.
*
* @param reqCount Number of required parameters
* @param optCount Number of optional parameters
* @param rest if true, then a function uses rest parameter
* @param keys List of keywords for keyword parameters
* @param allowOtherKeys if true, then a function accepts a keyword not defined in <code>keys
* </code>
*/
public LambdaList(int reqCount, int optCount, boolean rest, Object keys, boolean allowOtherKeys) {
int keyCount = Lists.length(keys);
// whole: not supported in SUBR
this.whole = null;
// req
this.required = new Required[reqCount];
for (int i = 0; i < reqCount; i++) {
this.required[i] = new Required(genVar());
}
// opt
this.optional = new Optional[optCount];
for (int i = 0; i < optCount; i++) {
this.optional[i] = new Optional(genVar(), Symbols.NIL, genVar());
}
// rest
if (rest) {
this.rest = new Rest(genVar());
} else {
this.rest = null;
}
// key
this.keyword = new Keyword[keyCount];
this.allowOtherKeys = false;
for (int i = 0; i < keyCount; i++) {
Symbol key = Data.symbol(Lists.car(keys));
// System.out.println("key = "+key);
// if (key == Symbols.LK_ALLOW_OTHER_KEYS) {
// //System.out.println("allowOtherKeys = true");
// this.allowOtherKeys = true;
// keys = Lists.cdr(keys);
// if (!Lists.isEnd(keys)) {
// throw new ProgramException
// ("no variable is allowed right after "+
// "&allow-other-keys: ~S.",
// Lists.list(keys));
// }
// }
// else {
// this.keyword[i] = new Keyword
// (genVar(), key, Symbols.NIL, genVar());
// keys = Lists.cdr(keys);
// }
this.keyword[i] = new Keyword(genVar(), key, Symbols.NIL, genVar());
keys = Lists.cdr(keys);
}
//
this.allowOtherKeys = allowOtherKeys;
// aux: not supported in SUBR
this.aux = new Aux[0];
}
/** Returns a flat list of variables held by this LambdaList. */
public Object vars() {
if (this.vars != null) return this.vars;
Object ret = Symbols.NIL;
// whole
if (this.whole != null) ret = Lists.nconc(this.whole.vars(), ret);
// required
for (int i = 0; i < this.required.length; i++) ret = Lists.nconc(this.required[i].vars(), ret);
// optional
for (int i = 0; i < this.optional.length; i++) ret = Lists.nconc(this.optional[i].vars(), ret);
// rest
if (this.rest != null) ret = Lists.nconc(this.rest.vars(), ret);
// keyword
for (int i = 0; i < this.keyword.length; i++) ret = Lists.nconc(this.keyword[i].vars(), ret);
// aux
for (int i = 0; i < this.aux.length; i++) ret = Lists.nconc(this.aux[i].vars(), ret);
this.vars = ret;
return ret;
}
UnexpectedCharTypeException(int cp) {
super("unexpected char type: ~S.", Lists.list(Data.toCharacter((char) cp)));
}
Object vars() {
if (svar == NOT_SPECIFIED) return super.vars();
else if (Data.isSymbol(var)) return Lists.list(svar, var);
else return Lists.cons(svar, Data.lambdaList(var).vars());
}
Object vars() {
if (Data.isSymbol(var)) return Lists.list(var);
else return Data.lambdaList(var).vars();
}
Symbol checkKey(Symbol key) {
if (key == null) throw new NullPointerException("key is null");
else if (!key.isSelfeval() || key == Symbols.NIL || key == Symbols.T)
throw new ProgramException("illegal symbol specified for key: ~S.", Lists.list(key));
return key;
}
Symbol checkSvar(Symbol svar) {
if (svar == null) throw new NullPointerException("svar is null");
else if (svar.isSelfeval())
throw new ProgramException("illegal symbol specified for svar: ~S.", Lists.list(svar));
return svar;
}
/**
* LambdaList constructor for {@link Expr}.
*
* @param params List which represents a LambdaList
* @param env
*/
public LambdaList(Object params, Env env) {
// if (Logger.tracelevelp(env))
// Logger.trace("[lambdaList] params=~S",
// Lists.list(params), env);
if (params == null) throw new NullPointerException("params is null");
if (env == null) throw new NullPointerException("env is null");
this.params = params;
/*
* parse params
*/
Object obj = null;
Object var = null;
Object initform = null;
Symbol svar = null;
Symbol key = null;
ArrayList tmp = new ArrayList();
int wholeCount = 0;
int reqCount = 0;
int optCount = 0;
int restCount = 0;
int keyCount = 0;
int allowOtherKeysCount = 0;
int auxCount = 0;
int step = BEGIN;
while (true) {
switch (step) {
case BEGIN:
if (params == Symbols.NIL) {
step = END;
} else if (Data.isAtom(params)) {
step = REST;
params = Lists.list(params);
} else {
obj = Lists.car(params);
if (obj == Symbols.LK_WHOLE) {
step = WHOLE;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_OPTIONAL) {
step = OPTIONAL;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_REST || obj == Symbols.LK_BODY) {
step = REST;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_KEY) {
step = KEYWORD;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_AUX) {
step = AUX;
params = Lists.cdr(params);
} else {
step = REQUIRED;
}
}
break;
case WHOLE:
/*
* params pattern:
* [&whole var]
*/
if (Lists.isEnd(params)) {
throw new ProgramException("whole parameter not exists", Symbols.NIL);
}
obj = Lists.car(params);
var = Data.isPair(obj) ? new LambdaList(obj, env) : obj;
tmp.add(new Whole(var));
wholeCount++;
params = Lists.cdr(params);
if (params == Symbols.NIL) {
step = END;
} else if (Data.isAtom(params)) {
step = REST;
params = Lists.list(params);
} else {
obj = Lists.car(params);
if (obj == Symbols.LK_OPTIONAL) {
step = OPTIONAL;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_REST || obj == Symbols.LK_BODY) {
step = REST;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_KEY) {
step = KEYWORD;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_AUX) {
step = AUX;
params = Lists.cdr(params);
} else {
step = REQUIRED;
}
}
break;
case REQUIRED:
/*
* params pattern:
* {var}*
*/
if (params == Symbols.NIL) {
step = END;
} else if (Data.isAtom(params)) {
step = REST;
params = Lists.list(params);
} else {
/* !Lists.isEnd(params) */
obj = Lists.car(params);
if (obj == Symbols.LK_OPTIONAL) {
step = OPTIONAL;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_REST || obj == Symbols.LK_BODY) {
step = REST;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_KEY) {
step = KEYWORD;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_AUX) {
step = AUX;
params = Lists.cdr(params);
} else {
var = Data.isPair(obj) ? new LambdaList(obj, env) : obj;
tmp.add(new Required(var));
reqCount++;
step = REQUIRED;
params = Lists.cdr(params);
}
}
break;
case OPTIONAL:
/*
* params pattern:
* [&optional {var | (var [initform [svar]])}*]
*/
if (params == Symbols.NIL) {
step = END;
} else if (Data.isAtom(params)) {
step = REST;
params = Lists.list(params);
} else {
/* !Lists.isEnd(params) */
obj = Lists.car(params);
if (obj == Symbols.LK_REST || obj == Symbols.LK_BODY) {
step = REST;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_KEY) {
step = KEYWORD;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_AUX) {
step = AUX;
params = Lists.cdr(params);
} else {
if (Data.isSymbol(obj)) {
/*
* obj pattern:
* var <symbol>
*/
var = Data.symbol(obj);
initform = Symbols.NIL;
svar = NOT_SPECIFIED;
} else {
/*
* obj pattern:
* (var [initform [svar]])
*/
var =
Data.isPair(Lists.car(obj))
? new LambdaList(Lists.car(obj), env)
: Lists.car(obj);
initform = Lists.cadr(obj);
svar = Lists.isEnd(Lists.cddr(obj)) ? NOT_SPECIFIED : Data.symbol(Lists.caddr(obj));
}
tmp.add(new Optional(var, initform, svar));
optCount++;
step = OPTIONAL;
params = Lists.cdr(params);
}
}
break;
case REST:
/*
* params pattern:
* [&rest var]
*/
if (Lists.isEnd(params)) {
throw new ProgramException("rest parameter not exists", Symbols.NIL);
}
obj = Lists.car(params);
var = Data.isPair(obj) ? new LambdaList(obj, env) : obj;
tmp.add(new Rest(var));
restCount++;
params = Lists.cdr(params);
if (Lists.isEnd(params)) {
step = END;
} else {
obj = Lists.car(params);
if (obj == Symbols.LK_KEY) {
step = KEYWORD;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_AUX) {
step = AUX;
params = Lists.cdr(params);
} else {
throw new ProgramException(
"unacceptable variable: ~S" + " (expected: &key, &aux or empty)",
Lists.list(obj));
}
}
break;
case KEYWORD:
/*
* params pattern:
* [&key {var | ({var | (keyword var)} [initform [svar]])}*]
*/
if (Lists.isEnd(params)) {
step = END;
} else {
obj = Lists.car(params);
if (obj == Symbols.LK_ALLOW_OTHER_KEYS) {
step = ALLOW_OTHER_KEYS;
params = Lists.cdr(params);
} else if (obj == Symbols.LK_AUX) {
step = AUX;
params = Lists.cdr(params);
} else {
if (Data.isSymbol(obj)) {
/*
* obj pattern:
* var <symbol>
*/
var = Data.symbol(obj);
initform = Symbols.NIL;
svar = NOT_SPECIFIED;
key = toKeyword(Data.symbol(var), env);
} else {
/*
* obj pattern:
* ({var | (keyword var)} [initform [svar]])
*/
var =
Data.isSymbol(Lists.car(obj))
? Lists.car(obj)
: Data.isSymbol(Lists.cadar(obj))
? Lists.cadar(obj)
: new LambdaList(Lists.cadar(obj), env);
initform = Lists.cadr(obj);
svar = Lists.isEnd(Lists.cddr(obj)) ? NOT_SPECIFIED : Data.symbol(Lists.caddr(obj));
key =
Data.isSymbol(Lists.car(obj))
? toKeyword(Data.symbol(var), env)
: Data.symbol(Lists.caar(obj));
}
tmp.add(new Keyword(var, key, initform, svar));
keyCount++;
step = KEYWORD;
params = Lists.cdr(params);
}
}
break;
case ALLOW_OTHER_KEYS:
// System.out.println("in ALLOW_OTHER_KEYS");
allowOtherKeysCount++;
if (Lists.isEnd(params)) {
// System.out.println("-> END");
step = END;
} else {
obj = Lists.car(params);
// System.out.println("-> obj="+obj);
if (obj == Symbols.LK_AUX) {
step = AUX;
params = Lists.cdr(params);
} else {
throw new ProgramException(
"unacceptable variable: ~S" + " (expected: &aux or empty)", Lists.list(obj));
}
}
break;
case AUX:
/*
* params pattern:
* [&aux {var | (var [initform])}*]
*/
if (Lists.isEnd(params)) {
step = END;
} else {
obj = Lists.car(params);
if (Data.isSymbol(obj)) {
/*
* obj pattern:
* var <symbol>
*/
var = Data.symbol(obj);
initform = Symbols.NIL;
} else {
/*
* obj pattern:
* (var [initform])
*/
var =
Data.isSymbol(Lists.car(obj))
? Lists.car(obj)
: new LambdaList(Lists.car(obj), env);
initform = Lists.cadr(obj);
}
tmp.add(new Aux(var, initform));
auxCount++;
step = AUX;
params = Lists.cdr(params);
}
break;
case END:
Iterator it = tmp.iterator();
this.required = new Required[reqCount];
this.optional = new Optional[optCount];
this.keyword = new Keyword[keyCount];
this.aux = new Aux[auxCount];
// fill whole param
this.whole = (wholeCount > 0) ? (Whole) it.next() : null;
// fill required params
for (int i = 0; i < reqCount; i++) this.required[i] = (Required) it.next();
// fill optional params
for (int i = 0; i < optCount; i++) this.optional[i] = (Optional) it.next();
// fill rest param
this.rest = (restCount > 0) ? (Rest) it.next() : null;
// fill keyword params
for (int i = 0; i < keyCount; i++) this.keyword[i] = (Keyword) it.next();
// fill allowOtherKeys flag
this.allowOtherKeys = (allowOtherKeysCount > 0);
// fill aux params
for (int i = 0; i < auxCount; i++) this.aux[i] = (Aux) it.next();
return;
default:
throw new NotReachedException("unacceptable step: " + step, Symbols.NIL);
}
}
}