This grammar is not currently being worked on nor do I intend to work on it within the next few years. If you are looking to create a tree-sitter grammar for PRISM this might be a good starting point and I encourage you to take ownership. PRISM doesn't really have a language standard spec; you'll have to draw from the JavaCC grammar. See https://groups.google.com/g/prismmodelchecker/c/RhlVevq9GsU/m/1hf4aVy8AgAJ
- node.js & npm
- Windows:
choco install nodejs.install -y
- Windows:
- A C/C++ compiler
- Windows: Visual Studio C++ Compiler
- Clone repo and open terminal in root directory
- Run
npm install
- Ensure
.\node_modules\.bin
is in your PATH environment variable - Run
tree-sitter generate --log
- Run
tree-sitter test
- Run
tree-sitter generate
to createsrc
files - Run
npm install
to createbuild
files - Consume with
const prism = require('C:\\Users\\ahelwer\\source\\tree-sitter-prism');