Go to definition PVL VS Code IDE #1169
-
|
Hello, @pieter-bos I start this discussion concerning the go to definition feature we discussed earlier this week. We had discussed setting up a stage with resolution and parsing steps for PVL only . My question is the following. How would i bind this stage to a certain command within this project which would take a file path argument and return the results of this stage only. (Could you point us towards examples within the vercors project ?) (If this is not the way and there is a way to use the already existing commands but run this stage using an additional option that also would be fine) Additionnally it will be necessary for us to compile/make a release of vercors so we can use it within the IDE when we will have modified (Or added this stage for example), so we can use it within the extension by setting the right bin path. Could you also tell us a little more on how we could achieve the following ? |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
|
You can add a mode to the options here and here, the main method splits by mode here, typically a mode chains stages together to run them. There should be plenty of examples in the options for file arguments. Instructions for compiling VerCors are here, or you can see about importing it into an IDE here (but this can be a bit fiddly) |
Beta Was this translation helpful? Give feedback.
You can add a mode to the options here and here, the main method splits by mode here, typically a mode chains stages together to run them. There should be plenty of examples in the options for file arguments.
Instructions for compiling VerCors are here, or you can see about importing it into an IDE here (but this can be a bit fiddly)