public static LispObject evaluate(String name, Environment environment, List<LispObject> args) {
for (Class c : getSubroutineContainers()) {
for (Method m : c.getMethods()) {
Subroutine annotation = m.getAnnotation(Subroutine.class);
if (annotation == null || !annotation.value().equals(name)) continue;
if (!Arrays.asList(mySpecialForms).contains(c)) {
if (!environment.areArgumentsEvaluated()) {
for (int i = 0, dataSize = args.size(); i < dataSize; i++) {
args.set(i, args.get(i).evaluate(environment));
}
} else {
environment.setArgumentsEvaluated(false);
}
}
ArgumentsList arguments = parseArguments(m, environment, args);
checkArguments(name, arguments, args);
try {
return (LispObject) m.invoke(null, arguments.getValues());
} catch (IllegalAccessException | InvocationTargetException e) {
if (e.getCause().getMessage() == null) e.getCause().printStackTrace();
else System.err.println(e.getCause().getMessage());
Throwable cause = getCause(e);
if (cause instanceof LispThrow) throw (LispThrow) cause;
if (cause instanceof VoidVariableException && TestMode.TEST && c == Key.class) {
System.err.println("Skip keymap errors in test mode");
return LispSymbol.ourNil;
}
if (cause instanceof LispException) throw (LispException) cause;
cause.printStackTrace();
throw new LispException(e.getCause().getMessage());
}
}
}
throw new InternalException(JelispBundle.message("unknown.subroutine", name));
}
private static int checkSingleArgument(
String subroutineName,
Class expectedType,
ArgumentsList arguments,
List<LispObject> args,
int argsCounter,
int i) {
try {
if (!(expectedType.isInstance(args.get(argsCounter)))) {
if (expectedType.equals(LispList.class)
&& args.get(argsCounter).equals(LispSymbol.ourNil)) {
arguments.setValue(i, LispList.list());
return argsCounter + 1;
}
if (expectedType.equals(LispSymbol.class)
&& args.get(argsCounter).equals(LispSymbol.ourNil)) {
arguments.setValue(i, LispSymbol.ourNil);
return argsCounter + 1;
}
if (arguments.isOptional(i)) return -1;
throw new WrongTypeArgumentException(expectedType.getSimpleName(), args.get(argsCounter));
}
arguments.setValue(i, args.get(argsCounter));
return argsCounter + 1;
} catch (IndexOutOfBoundsException e) {
if (arguments.isOptional(i)) return -1;
throw new WrongNumberOfArgumentsException(subroutineName, i);
}
}
private static int checkParameterizedType(
String subroutineName,
ParameterizedType expectedType,
ArgumentsList arguments,
List<LispObject> args,
int argsCounter,
int i) {
Type rawType = expectedType.getRawType();
Type expectedTypeArguments = expectedType.getActualTypeArguments()[0];
try {
if (((Class) rawType).isInstance(args.get(argsCounter))) {
Type actualTypeArguments =
((ParameterizedType) (Type) args.get(argsCounter).getClass())
.getActualTypeArguments()[0];
if (!expectedTypeArguments.equals(actualTypeArguments)) {
throw new WrongTypeArgumentException(
((Class) rawType).getSimpleName()
+ "<"
+ ((Class) expectedTypeArguments).getSimpleName()
+ ">",
args.get(argsCounter));
}
arguments.setValue(i, args.get(argsCounter));
return argsCounter + 1;
} else {
if (arguments.isOptional(i)) return -1;
throw new WrongTypeArgumentException(expectedType.toString(), args.get(argsCounter));
}
} catch (IndexOutOfBoundsException e) {
if (arguments.isOptional(i)) return -1;
throw new WrongNumberOfArgumentsException(subroutineName, i);
}
}
private static void setOptional(
ArgumentsList arguments, Annotation[][] parametersAnnotations, Type[] parametersTypes) {
boolean optional = false;
int nRequiredParameters = parametersAnnotations.length;
for (int i = 0; i != parametersAnnotations.length; ++i) {
if (!optional) {
if (isOptional(parametersAnnotations[i])) {
nRequiredParameters = i;
optional = true;
}
}
arguments.add(optional, parametersTypes[i]);
}
arguments.setRequiredSize(nRequiredParameters);
}
private static void checkArguments(
String subroutineName, ArgumentsList arguments, List<LispObject> args) {
int argsCounter = 0;
for (int i = 0; i != arguments.getSize(); ++i) {
Type expectedType = arguments.getType(i);
if (i == 0 && expectedType.equals(Environment.class)) continue;
if (ParameterizedType.class.isInstance(expectedType)) {
argsCounter =
checkParameterizedType(
subroutineName, (ParameterizedType) expectedType, arguments, args, argsCounter, i);
} else if (((Class) expectedType).isArray()) {
argsCounter = checkArray((Class) expectedType, arguments, args, argsCounter, i);
} else {
argsCounter =
checkSingleArgument(
subroutineName, (Class) expectedType, arguments, args, argsCounter, i);
}
if (argsCounter == -1) break;
}
}
private static int checkArray(
Class expectedType, ArgumentsList arguments, List<LispObject> args, int argsCounter, int i) {
Class componentType = expectedType.getComponentType();
ArrayList<LispObject> array = new ArrayList<>();
while (argsCounter != args.size()) {
if (!componentType.isInstance(args.get(argsCounter)))
throw new WrongTypeArgumentException(componentType.toString(), args.get(argsCounter));
array.add(args.get(argsCounter));
++argsCounter;
}
arguments.setValue(i, customizeArrayList(componentType, array));
return argsCounter;
}
private static ArgumentsList parseArguments(
Method m, Environment environment, List<LispObject> args) {
Type[] parametersTypes = m.getGenericParameterTypes();
Annotation[][] parametersAnnotations = m.getParameterAnnotations();
if (parametersAnnotations.length != parametersTypes.length) {
throw new InternalException(JelispBundle.message("subroutine.args.properties.mismatch"));
}
ArgumentsList arguments = new ArgumentsList();
setOptional(arguments, parametersAnnotations, parametersTypes);
int nActual = args.size();
if (parametersTypes.length != 0) {
if (parametersTypes[0].equals(Environment.class)) {
++nActual;
arguments.setValue(0, environment);
}
}
if ((nActual < arguments.getRequiredSize())
|| (nActual > parametersTypes.length && !m.isVarArgs()))
throw new WrongNumberOfArgumentsException(m.getAnnotation(Subroutine.class).value(), nActual);
return arguments;
}
