HomeSoftware Heritage

grammar.js: Improve grammar and export tokens

Description

grammar.js: Improve grammar and export tokens

  • Export grammar tokens through tokens.js file (so that swh-web can use them)
  • Improvements in the grammar to better handle sort_by and limit
  • Introduce annotateFilter function in grammar.js to assign tree-sitter fields to different parts of a filter (field, op, value)

Details

Provenance
KShivenduAuthored on Aug 17 2021, 8:58 PM
KShivenduPushed on Aug 18 2021, 11:44 AM
Differential Revision
D6109: grammar.js: Improve grammar and export tokens
Parents
rDSEAee04e01ae05f: cli.py: Add rpc-serve command
Branches
Unknown
Tags
Unknown
References
tag: v0.11.2
Build Status
Buildable 23064
Build 35964: test-and-buildJenkins console · Jenkins