@krassowski/jupyterlab_go_to_definition/src/jump.ts

Jump to definition of a variable or function in JupyterLab

import { CodeEditor } from '@jupyterlab/codeeditor';

export interface IJump {
  /**
   * The token of origin (variable/function usage).
   */
  token: CodeEditor.IToken;
  /**
   * The clicked (or active) element of origin used to find the cell from which
   * the request originated.
   */
  origin: HTMLElement;
  /**
   * Optional mouse event used as a fallback to determine the cell of origin in
   * Firefox 57.
   */
  mouseEvent?: MouseEvent;
}

export interface IJumpPosition {
  /**
   * The token of origin (variable/function usage).
   */
  token: CodeEditor.IToken;
  /**
   * Optional number identifying the cell in a notebook
   */
  index?: number;
}

export interface IGlobalJump {
  /**
   * In notebooks, the index of the target editor
   */
  editor_index: number;

  line: number;
  column: number;

  uri: string;
}