Recently I was struggling with java stubs and Tikhomirov Artem was kind enough to learn me how to fix one of them using the console (https://mps-support.jetbrains.com/hc/en-us/community/posts/360007678340-importing-jars-ASMClassType-out-of-search-scope-
Now that I got the hang of using the console, I would like to get more out of it. But it seems there is little documentation. I understand that most of it is just another way to use BaseLanguage, smodel queries etc and I am confortable with that (up to a point), that is not the issue. The issue is more like: what is the node (or pattern of nodes) that I ought to be looking for? For example
- I know how to traverse all models in a solution, but how to invoke "check model" on each of them?
- I know how to traverse all BaseLanguage nodes in a java stub, but how to query a node for for any associated errors? I was expecting to find such errors as annotations to the node -- but not so. Using the node explorer did not help. So my question really is: where are the errors that show as red wiggly underlines in the editor expressed in the java stub / BaseLanguage model?
I would appreciate to have some examples here.