Как завершение кода работает?

Механизм IntelliSense в моем сервисном продукте языка UnrealScript сложен, но я дам здесь как можно лучший обзор. Служба языка C # в VS2008 SP1 - моя цель производительности (не зря). Его еще нет, но он достаточно быстрый / точный, чтобы я мог безопасно предлагать предложения после ввода одного символа, не дожидаясь нажатия Ctrl + пробел или ввода пользователем . (точка). Чем больше информации об этом получат люди [работающие над языковыми услугами], тем лучше будут мои впечатления от использования их продуктов. Есть ряд продуктов, которые я У меня был неудачный опыт работы с тем, что не уделял такого пристального внимания деталям, и в результате я боролся с IDE больше, чем кодировал.

В моей языковой службе это выглядит следующим образом:

1. Получить выражение под курсором. Это идет от начала выражения доступа к члену до конца идентификатора, на котором находится курсор. Выражение доступа к членам обычно имеет вид aa.bb.cc , но может также содержать вызовы методов, как в aa.bb (3 + 2) .cc .
2. Get контекст , окружающий курсор. Это очень сложно, потому что он не всегда следует тем же правилам, что и компилятор (длинная история), но здесь предположим, что это так. Обычно это означает получение кэшированной информации о методе / классе, внутри которого находится курсор.
3. Допустим, объект контекста реализует IDeclarationProvider , где вы можете вызвать GetDeclarations () , чтобы получить IEnumerable всех элементов, видимых в области. В моем случае этот список содержит локальные переменные / параметры (если в методе), члены (поля и методы, только статические, если только в методе экземпляра, и нет закрытых членов базовых типов), глобальные переменные (типы и константы для языка I работаю над) и ключевыми словами. В этом списке будет элемент с именем aa . В качестве первого шага в оценке выражения в №1 мы выбираем элемент из контекстного перечисления с именем aa , что дает нам IDeclaration для следующего шага.
4. Далее , Я применяю оператор к объявлению ID , представляющему aa , чтобы получить другой IEnumerable , содержащий «элементы» (в некотором смысле) aa . Начиная с . отличается от оператора -> , я вызываю объявление.GetMembers (".") и ожидаю, что объект IDeclaration правильно применит указанный оператор.
5. Это продолжается до тех пор, пока я не нажму cc , где список объявлений может или не может содержать объект с именем cc . Как я уверен, вы знаете, если несколько элементов начинаются с cc , они тоже должны появиться. Я решаю эту проблему, взяв окончательное перечисление и пропустив его через мой документированный алгоритм , чтобы предоставить пользователю наиболее полезную возможную информацию.

Вот некоторые дополнительные примечания для серверной части IntelliSense:

• Я делаю широкое использование механизмов отложенной оценки LINQ при реализации GetMembers . Каждый объект в моем кэше может предоставить функтор, который оценивает его члены, поэтому выполнение сложных действий с деревом почти тривиально.
• Вместо того, чтобы каждый объект сохранял List своих членов , У меня есть список List , где Name - это структура, содержащая хеш-код специально отформатированной строки, описывающей член. Есть огромный кеш, который сопоставляет имена объектам. Таким образом, когда я повторно разбираю файл, Я могу удалить все элементы, объявленные в файле, из кеша и заново заполнить его обновленными членами. Из-за того, как сконфигурированы функторы, все выражения немедленно вычисляют новые элементы.

IntelliSense "frontend"

По мере того, как пользователь вводит, файл синтаксически неправильный чаще, чем правильный . Таким образом, я не хочу случайно удалять разделы кеша, когда пользователь вводит текст. У меня есть большое количество правил для особых случаев, чтобы как можно быстрее обрабатывать инкрементные обновления. Инкрементный кеш хранится только локально в открытом файле и помогает гарантировать, что пользователь не осознает, что их ввод заставляет внутренний кеш хранить неверную информацию о строках / столбцах для таких вещей, как каждый метод в файле.

• Одно искупление фактор мой парсер быстрый . Он может обрабатывать полное обновление кэша исходного файла на 20000 строк за 150 мс, работая автономно в фоновом потоке с низким приоритетом. Каждый раз, когда этот синтаксический анализатор успешно завершает проход открытого файла (синтаксически), текущее состояние файла перемещается в глобальный кеш.
• Если файл синтаксически неверен, я использую синтаксический анализатор фильтра ANTLR (извините о ссылке - большая часть информации находится в списке рассылки или собирается из чтения источника) для повторного анализа файла в поисках:
  • Объявления переменных / полей.
  • Подпись для определений классов / структур.
  • Подпись для определений методов.
• В локальном кэше определения классов / структур / методов начинаются с подписи и заканчиваются, когда уровень вложенности скоб возвращается к четному. Методы также могут завершаться, если достигается объявление другого метода (нет методов вложения).
• В локальном кэше переменные / поля связаны с непосредственно предшествующим незакрытым элементом. См. Краткий фрагмент кода ниже, чтобы понять, почему это важно.
• Кроме того, по мере того, как пользователь вводит, я веду таблицу переназначения, в которой отмечаются добавленные / удаленные диапазоны символов. Это используется для:
  • Убедиться, что я могу определить правильный контекст курсора, поскольку метод может / действительно перемещается в файле между полными синтаксическими анализами.
  • Убедитесь, что Go To Declaration / Definition / Reference правильно находит элементы в открытых файлах.

Фрагмент кода для предыдущего раздела:

class A
{
    int x; // linked to A

    void foo() // linked to A
    {
        int local; // linked to foo()

    // foo() ends here because bar() is starting
    void bar() // linked to A
    {
        int local2; // linked to bar()
    }

    int y; // linked again to A

Я решил добавить список функций IntelliSense, которые я реализовал с помощью этого макета. Фотографии каждого из них находятся здесь.

• Автозаполнение
• Подсказки по инструментам
• Подсказки по методам
• Представление классов
• Окно определения кода
• Браузер вызовов (VS 2010 наконец-то добавляет это в C # )
• Семантически правильный Найти все ссылки