Getting error descriptions associated with a node

Answered

Hi,

I have been looking for ways to query the number of errors and error types associated with a certain node in a model. In other words, I would like to get the descriptions of model checker and traverse to the exact location on click. Could anyone tell me how can I focus on a certain part of a certain node by code? In other words, I would like to highlight a node by click.

Thanks in advance!

Regards,

salman

 

 

2 comments
Comment actions Permalink

Hi!

If you are talking about the way to open MPS editor for a node, you can try using following method on a root node:

Editor editor = jetbrains.mps.openapi.navigation.NavigationSupport.getInstance().openNode(...)

if you'd like to select some node inside this editor, you may call:

((BaseNodeEditor) editor).getEditorContext().getEditorComponent().selectNode(...)

0
Comment actions Permalink

Thanks  a lot! :) It helped so much!

0

Please sign in to leave a comment.