navigation.py

import re

import sublime
import sublime_plugin

from Dart._init_ import editor_context
from Dart.lib.notifications import show_analysis_tooltip
from Dart.lib.notifications import show_status_tooltip


class DartGoToDeclaration(sublime_plugin.WindowCommand):
    def run(self):
        try:
            view = self.window.active_view()
            if not view:
                return
        except Exception as e:
            return

        sel = view.sel()[0]
        self.get_navigation(view, sel)

    def get_navigation(self, view, r):
        # FIXME(guillermooo): we may have a race condition here, or get info
        # for the wrong file.
        navigation = editor_context.navigation

        if not navigation:
            sublime.status_message('Dart: No navigation available.')
            return

        sources = navigation.regions

        # TODO(guillermooo): move this check to the generated API.
        targets = [source for source in sources
                        if source.offset <= r.begin() <= (source.offset + source.length)]

        if not targets:
            show_status_tooltip("No navigations available at this location.", timeout=3000)
            sublime.status_message('Dart: No navigations available for the current location.')
            return

        first_target = targets[0].targets[0]
        first_target = navigation.targets[first_target]

        fname = navigation.files[first_target.fileIndex]
        row = first_target.startLine
        col = first_target.startColumn

        self.window.open_file("{}:{}:{}".format(fname, row, col), sublime.ENCODED_POSITION)


class ErrorNavigator(object):
    '''
    Navigates the errors received from the analysis server and stored in the
    global EditorContext.
    '''

    ERROR_LINE_RX = re.compile(r'^(?P<severity>\w+)\|(?P<type>\w+)\|(?P<fname>.+)\|(?P<row>\d+)\|(?P<col>\d+)\|(?P<message>.+)$')

    def __init__(self, editor_context):
        self.editor_context = editor_context

    def next(self):
        self.editor_context.increment_error_index()

        match = self.ERROR_LINE_RX.match(editor_context.get_current_error())
        return match.groupdict()

    def previous(self):
        self.editor_context.decrement_error_index()

        match = self.ERROR_LINE_RX.match(editor_context.get_current_error())
        return match.groupdict()


class DartGoToNextResult(sublime_plugin.WindowCommand):
    def run(self):
        self.window.run_command('next_result')

        # todo(guillermo): check that the errors affect the current file.
        if editor_context.errors:
            navi = ErrorNavigator(editor_context)
            try:
                data = navi.next()
            except IndexError:
                return
            else:
                show_analysis_tooltip(data)


class DartGoToPrevResult(sublime_plugin.WindowCommand):
    def run(self):
        self.window.run_command('prev_result')

        # todo(guillermo): check that the errors affect the current file.
        if editor_context.errors:
            navi = ErrorNavigator(editor_context)
            try:
                data = navi.previous()
            except IndexError:
                return
            else:
                show_analysis_tooltip(data)