Example #1
0
 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));
 }
Example #2
0
 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);
   }
 }
Example #3
0
 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);
   }
 }
Example #4
0
 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);
 }
Example #5
0
 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;
   }
 }
Example #6
0
 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;
 }
Example #7
0
  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;
  }