Как добавить ключевое слово в желудь или анализатор esprima - PullRequest
Новая
       24

Как добавить ключевое слово в желудь или анализатор esprima

0 голосов
/ 18 января 2020

Я работаю над языком, который переносится на javascript и имеет аналогичный синтаксис. Однако я хочу включить некоторые новые типы операторов блока. В целях синтаксиса они совпадают с IfStatement. Как я могу получить esprima или желудь, чтобы разобрать эту программу MyStatement {a=1;} без выдачи ошибки? Хорошо, если он называет это IfStatement. Я бы предпочел не раскошелиться на esprima.

1 Ответ

0 голосов
/ 21 января 2020

Оказывается, что возможности плагина желудя на самом деле не документированы. Кажется, что разветвление желудя было бы самым легким маршрутом. В этом случае это так же просто, как поиск вхождений _if и следование аналогичному шаблону для _MyStatement.

Однако можно написать плагин для достижения sh того, что я пытался делать. Это похоже на взлом, но вот код. Основные шаги c:

  1. Для расширения Parse и добавления в список ключевых слов, которые будут распознаны при первом проходе

  2. Создайте TokenType для нового ключевого слова и добавьте его к Parser.acorn.keywordTypes, расширьте parseStatement, чтобы он обрабатывал новый TokenType

  3. Создайте обработчик для нового TokenType, который будет добавить информацию в Абстрактное синтаксическое дерево в соответствии с требованиями ключевого слова, а также использовать токены, используя такие команды, как this.expect(tt.parenR), чтобы использовать '(' или this.parseExpression() для обработки всего выражения.

Вот код: 

var program = 
`
  MyStatement {
    MyStatement(true) {
      MyStatement() {
        var a = 1;
      }
    }
    if (1) {
      var c = 0;
    }
  }
`;

const acorn = require("acorn");

const Parser = acorn.Parser;
const tt = acorn.tokTypes; //used to access standard token types like "("
const TokenType = acorn.TokenType; //used to create new types of Tokens.

//add a new keyword to Acorn.
Parser.acorn.keywordTypes["MyStatement"] = new TokenType("MyStatement",{keyword: "MyStatement"});

//const isIdentifierStart = acorn.isIdentifierStart;

function wordsRegexp(words) {
  return new RegExp("^(?:" + words.replace(/ /g, "|") + ")$")
}

var bruceware = function(Parser) {
  return class extends Parser {
    parse(program) {
      console.log("hooking parse.");

      //it appears it is necessary to add keywords here also.
      var newKeywords = "break case catch continue debugger default do else finally for function if return switch throw try var while with null true false instanceof typeof void delete new in this const class extends export import super";
      newKeywords += " MyStatement";
      this.keywords = wordsRegexp(newKeywords);

      return(super.parse(program));
    }

    parseStatement(context, topLevel, exports) {
      var starttype = this.type;
      console.log("!!!hooking parseStatement", starttype);

      if (starttype == Parser.acorn.keywordTypes["MyStatement"]) {
        console.log("Parse MyStatement");
        var node = this.startNode();
        return this.parseMyStatement(node);
      }
      else {
        return(super.parseStatement(context, topLevel, exports));
      }
    }

    parseMyStatement(node) {
      console.log("parse MyStatement");
      this.next();

      //In my language, MyStatement doesn't have to have a parameter. It could be called as `MyStatement { ... }`
      if (this.type == tt.parenL) {
        node.test = this.parseOptionalParenExpression();
      }
      else {
        node.test = 0; //If there is no test, just make it 0 for now (note that this may break code generation later).
      }

      node.isMyStatement = true; //set a flag so we know that this if a "MyStatement" instead of an if statement.

      //process the body of the block just like a normal if statement for now.

      // allow function declarations in branches, but only in non-strict mode
      node.consequent = this.parseStatement("if");
      //node.alternate = this.eat(acornTypes["else"]) ? this.parseStatement("if") : null;
      return this.finishNode(node, "IfStatement")
    };

    //In my language, MyStatement, optionally has a parameter. It can also by called as MyStatement() { ... }
    parseOptionalParenExpression() {
      this.expect(tt.parenL);

      //see what type it is
      console.log("Type: ", this.type);

      //allow it to be blank.
      var val = 0; //for now just make the condition 0. Note that this may break code generation later.
      if (this.type == tt.parenR) {
        this.expect(tt.parenR);
      }
      else { 
        val = this.parseExpression();
        this.expect(tt.parenR);
      }

      return val
    };

  }
}

process.stdout.write('\033c'); //cls

var result2 = Parser.extend(bruceware).parse(program); //attempt to parse

console.log(JSON.stringify(result2,null,' ')); //show the results.
...