What is the function to jump from Rascal to a certain Location in IDE

Question

If I have a Rascal visualization with location information (e.g. to start/endline of a Java Method), how can I jump into the IDE and highlight the selected lines?

So essentially how can I get the same behavior as clicking on a printed loc in the Rascal Console?

E.g:

onMouseDown(bool (int butnr, map[KeyModifier,bool] modifiers)   {
    jumpIntoEclipseHighlightLoc(loc);
}

Answer 1

Probably you are looking for the edit functions in util::Editors.