private static ArrayList<String> pushVariable(Token t) throws Exception {
   ArrayList<String> res = new ArrayList<>();
   Variable v = Alzheimer.variables.get(t.valueWithoutIndex());
   if (v == null) {
     if (!t.isNumber() && !t.isString() && !t.isCharacter()) {
       if (!t.isType()) {
         throw new CompilerException("Unknown variable " + t.value, t.file, t.line);
       } else {
         Type T = Alzheimer.types.get(t.valueBeforeFirstDot());
         if (T == null) {
           throw new CompilerException("Unknown type " + t.valueBeforeFirstDot(), t.file, t.line);
         } else {
           switch (t.valueAfterFirstDot()) {
             case "size":
               exec("push " + T.size() + "; " + t.value, res);
               break;
             default:
               throw new CompilerException(
                   "Type '"
                       + t.valueBeforeFirstDot()
                       + "' does not have property '"
                       + t.valueAfterFirstDot()
                       + "' ",
                   t.file,
                   t.line);
           }
         }
       }
     } else {
       exec("push " + t.value + ";", res);
     }
   } else {
     if (v.isArray && !t.isArray()) {
       res.addAll(pushArray(v, t.file, t.line));
     } else {
       if (t.isArray()) {
         v = new Variable();
         v.name = t.value;
         String alz = "" + v.accessVarName() + "=( " + v.arrayIndex() + " );\n";
         res.addAll(Alzheimer.compile(alz));
         res.addAll(v.type.push(v.nameWithoutIndex() + "[" + v.accessVarName() + "]"));
       } else {
         res.addAll(v.type.push(t.value));
       }
     }
   }
   return res;
 }
 private ArrayList<String> expression(ArrayList<Token> tokens) throws Exception {
   ArrayList<String> res = new ArrayList<>();
   Token opTok = tokens.remove(0);
   if (tokens.size() < 1) {
     Variable v = Alzheimer.variables.get(opTok.valueWithoutIndex());
     if (v == null && !opTok.isType()) {
       if (!opTok.isNumber()) {
         throw new CompilerException(
             "Number, variable or type property expected", opTok.file, opTok.line);
       }
       res.add("push " + opTok.value + ";");
       return res;
     }
     res.addAll(pushVariable(opTok));
     return res;
   }
   if (!opTok.value.equals("(")) {
     if (tokens.size() != 0) {
       Token tmp = tokens.remove(0);
       if (!tmp.value.equals("(")) {
         throw new CompilerException("( expected", tmp.file, tmp.line);
       }
     } else {
       throw new CompilerException("Something is wrong!", opTok.file, opTok.line);
     }
   }
   ArrayList<String> args = new ArrayList<>();
   while (tokens.size() != 0) {
     Token t;
     if (tokens.size() > 1) {
       t = tokens.get(1);
       if (t.value.equals("(")) {
         res.addAll(expression(tokens));
         args.add("");
       } else {
         t = tokens.remove(0);
         if (t.value.equals(")")) {
           break;
         }
         if (t.isString()) {
           exec(t.pushString(), res);
         } else {
           res.addAll(pushVariable(t));
         }
       }
     } else {
       t = tokens.remove(0);
       if (t.value.equals(")")) {
         break;
       }
       if (t.isString()) {
         exec(t.pushString(), res);
       } else {
         res.addAll(pushVariable(t));
       }
     }
   }
   switch (opTok.value) {
     case "(":
       break;
     case "+":
     case "add":
       exec("add", res);
       break;
     case "-":
     case "sub":
       exec("sub", res);
       break;
     case "*":
     case "mul":
       exec("mul", res);
       break;
     case "/":
     case "div":
       exec("div", res);
       break;
     case "floor":
       exec("floor", res);
       break;
     case "ceil":
       exec("ceil", res);
       break;
     default:
       exec("call $" + opTok.value, res);
   }
   return res;
 }
Example #3
0
  /**
   * exprA(0) ::= integer | float | variable | atom | atom( exprA(1200) { , exprA(1200) }* ) | '['
   * exprA(1200) { , exprA(1200) }* [ | exprA(1200) ] ']' | '{' [ exprA(1200) ] '}' | '('
   * exprA(1200) ')'
   */
  private Term expr0() throws InvalidTermException, IOException {
    Token t1 = tokenizer.readToken();

    /*Castagna 06/2011*/
    /*
    if (t1.isType(Tokenizer.INTEGER))
    	return Parser.parseInteger(t1.seq); //todo moved method to Number

    if (t1.isType(Tokenizer.FLOAT))
    	return Parser.parseFloat(t1.seq);   //todo moved method to Number

    if (t1.isType(Tokenizer.VARIABLE))
    	return new Var(t1.seq);             //todo switched to use the internal check for "_" in Var(String)
    */

    int tempStart = tokenizer.tokenStart();

    if (t1.isType(Tokenizer.INTEGER)) {
      Term i = Parser.parseInteger(t1.seq);
      map(i, tokenizer.tokenStart());
      return i; // todo moved method to Number
    }

    if (t1.isType(Tokenizer.FLOAT)) {
      Term f = Parser.parseFloat(t1.seq);
      map(f, tokenizer.tokenStart());
      return f; // todo moved method to Number
    }

    if (t1.isType(Tokenizer.VARIABLE)) {
      Term v = new Var(t1.seq);
      map(v, tokenizer.tokenStart());
      return v; // todo switched to use the internal check for "_" in Var(String)
    }
    /**/

    if (t1.isType(Tokenizer.ATOM)
        || t1.isType(Tokenizer.SQ_SEQUENCE)
        || t1.isType(Tokenizer.DQ_SEQUENCE)) {
      if (!t1.isFunctor())
      /*Castagna 06/2011*/
      {
        // return new Struct(t1.seq);
        Term f = new Struct(t1.seq);
        map(f, tokenizer.tokenStart());
        return f;
      }
      /**/

      String functor = t1.seq;
      Token t2 = tokenizer.readToken(); // reading left par
      if (!t2.isType(Tokenizer.LPAR))
        throw new InvalidTermException(
            "Something identified as functor misses its first left parenthesis"); // todo check can
      // be skipped
      LinkedList<Term> a = expr0_arglist(); // reading arguments
      Token t3 = tokenizer.readToken();
      if (t3.isType(Tokenizer.RPAR)) // reading right par
      /*Castagna 06/2011*/
      {
        // return new Struct(functor, a);
        Term c = new Struct(functor, a);
        map(c, tempStart);
        return c;
      }
      /**/
      /*Castagna 06/2011*/
      // throw new InvalidTermException("Missing right parenthesis: ("+a + " -> here <-");
      throw new InvalidTermException(
          "Missing right parenthesis '(" + a + "' -> here <-",
          tokenizer.offsetToRowColumn(getCurrentOffset())[0],
          tokenizer.offsetToRowColumn(getCurrentOffset())[1] - 1);
      /**/
    }

    if (t1.isType(Tokenizer.LPAR)) {
      Term term = expr(false);
      if (tokenizer.readToken().isType(Tokenizer.RPAR)) return term;
      /*Castagna 06/2011*/
      // throw new InvalidTermException("Missing right parenthesis: ("+term + " -> here <-");
      throw new InvalidTermException(
          "Missing right parenthesis '(" + term + "' -> here <-",
          tokenizer.offsetToRowColumn(getCurrentOffset())[0],
          tokenizer.offsetToRowColumn(getCurrentOffset())[1] - 1);
      /**/
    }

    if (t1.isType(Tokenizer.LBRA)) {
      Token t2 = tokenizer.readToken();
      if (t2.isType(Tokenizer.RBRA)) return new Struct();

      tokenizer.unreadToken(t2);
      Term term = expr0_list();
      if (tokenizer.readToken().isType(Tokenizer.RBRA)) return term;
      /*Castagna 06/2011*/
      // throw new InvalidTermException("Missing right bracket: ["+term + " -> here <-");
      throw new InvalidTermException(
          "Missing right bracket '[" + term + " ->' here <-",
          tokenizer.offsetToRowColumn(getCurrentOffset())[0],
          tokenizer.offsetToRowColumn(getCurrentOffset())[1] - 1);
      /**/
    }

    if (t1.isType(Tokenizer.LBRA2)) {
      Token t2 = tokenizer.readToken();
      if (t2.isType(Tokenizer.RBRA2))
      /*Castagna 06/2011*/
      {
        // return new Struct("{}");
        Term b = new Struct("{}");
        map(b, tempStart);
        return b;
      }
      /**/
      tokenizer.unreadToken(t2);
      Term arg = expr(false);
      t2 = tokenizer.readToken();
      if (t2.isType(Tokenizer.RBRA2))
      /*Castagna 06/2011*/
      {
        // return new Struct("{}", arg);
        Term b = new Struct("{}", arg);
        map(b, tempStart);
        return b;
      }
      /*Castagna 06/2011*/
      // throw new InvalidTermException("Missing right braces: {"+arg + " -> here <-");
      throw new InvalidTermException(
          "Missing right braces '{" + arg + "' -> here <-",
          tokenizer.offsetToRowColumn(getCurrentOffset())[0],
          tokenizer.offsetToRowColumn(getCurrentOffset())[1] - 1);
      /**/
    }
    /*Castagna 06/2011*/
    // throw new InvalidTermException("The following token could not be identified: "+t1.seq);
    throw new InvalidTermException(
        "Unexpected token '" + t1.seq + "'",
        tokenizer.offsetToRowColumn(getCurrentOffset())[0],
        tokenizer.offsetToRowColumn(getCurrentOffset())[1] - 1);
    /**/
  }