Skip to main content

module IDEServices



import util::IDEServices;


extend analysis::diff::edits::TextEdits;
extend Content;
extend Message;

function browse


Open a browser for a given location.

void browse(loc uri)

function edit


Open an editor for file at a given location.

void edit(loc uri)

function applyDocumentsEdits


Let the IDE apply a list of document edits.


Asks the IDE to apply document edits as defined in the standard library module analysis::diff::edits::TextEdits, according to the semantics defined in analysis::diff::edits::ExecuteTextEdits. However, the IDE can take care of these changes in order to provide important UI experience features such as "preview" and "undo".

Typically a call to this IDE service method is included in the implementation of refactoring and quick-fix features of the language service protocol.

void applyDocumentsEdits(list[DocumentEdit] edits)

function showInteractiveContent


Asks the IDE to show a "browser window" with the given interactive Content.

void showInteractiveContent(Content content)

function showMessage

void showMessage(Message message)

function logMessage

void logMessage(Message message)

function registerDiagnostics

void registerDiagnostics(list[Message] messages)

function unregisterDiagnostics

void unregisterDiagnostics(list[loc] resources)