Статический анализатор кода (не оптимизатор!!!)

@wwall · Регистрация: 29.05.2014

Студворк — интернет-сервис помощи студентам

Для многих языков есть статические анализаторы кода. Для "нежно" любимого мной 1С - нет. В ближайшем будущем буду исправлять этот косяк. В связи с этим вопросы -
Был бы вам нужен?
Что бы хотели видеть в нем? Какую функциональность?
В каком виде лучше оформлять правила?
А вывод как лучше сделать?

Добавлено через 50 секунд
модеры - добавьте букву Л в слово анаизатор в заголовке

@duk337 · 09.10.2014, 20:45

Ннна... ччёрт, не влезает. Надо рубить на 4 части или паковать. Щас зарарю. Ну вот... при редактировании не грузится

@duk337 · 09.10.2014, 20:49

.....

@duk337 · 09.10.2014, 20:49

Это УПП или Зарплата

@wwall · 09.10.2014, 21:04 **[ТС]**

спасибо

@Dethmontt · 10.10.2014, 00:14

Сообщение от wwall

самый длинный запрос на ваш взгляд. Корректный - это пока важно

wwall, тупо открой ЗУП в пофигураторе...

@wwall · 10.10.2014, 14:27 **[ТС]**

Итак, упрощение для запроса. AST для текста запроса есть.
Есть 2 идеи для правил -
1. Контроль токенов. То есть, если в тексте используются 2 языка то выдвать предупреждение
2. Контроль области ГДЕ для соединений. То есть если в запросе есть соединения 2 таблиц и в области где задано условие сравнения с константой, то это условие переносить в область связи.

Вопрос - как удобнее эти правила было бы записать? Я пока вижу только вариант писать плагины которые будет отчет подключать и обрабатывать.
Может кто-то что умное подскажет?

@Dethmontt · 11.10.2014, 23:26

Контроль что запрос использует связи которые не попадают в Индекс

@wwall · 12.10.2014, 13:45 **[ТС]**

Вопрос не в идеях. Хотя за идею- спасибо
Вопрос - как это правило задать?
Есть варинат написать свой парсер и оттуда брать данные
Например твоя идея могла бы выглядеть так
Начало Правила
Имя: Правило Dethmontt
Область: Связи
Правило:

1C
1
2
3
4
5
6
7
8
9
10
для каждого х из Связи цикл
    Таблица1 = х.ЛеваяТаблицы.Метаданные();
    Таблица2 = х.ПраваяТаблица.Метаданные();
    Реквизит1 = х.ЛевыйРеквизит;
    Реквизит2 = х.ПравыйРеквизит;
    если не (РеквизитПроиндексирован(Реквизит1,Таблица1) и РеквизитПроиндексирован(Реквизит2,Таблица2)) 
           и ПростаяОперацияСравнения(х.Операция) тогда
        ПравилоОтработало(х);
    конецесли;
конеццикла;

КонецПравила

либо все тоже самое описать в обработке
Первый вариант - лучше тем что для написания правил не нужен конфигуратор. Хуже тем что надо будет писать подробную документацию

Добавлено через 1 минуту
в общем нужна идея как представить правила

@duk337 · 12.10.2014, 14:46

Мою мысль рубят технические затычки. Большинство связей работают с вложенными запросами и временными таблицами. Как парсить их структуру??

@wwall · 12.10.2014, 15:05 **[ТС]**

Исходи из предположения что парсер есть. и для любой временной таблицы ты можешь получить из чего она состоит вплоть до метаданных из которых идет выборка (ну или констант - если выборка не из БД)

Добавлено через 38 секунд
Приду домой выложу что бы было понимание о чем говорю. Специально на 1С переписал.

@duk337 · 12.10.2014, 15:20

Сообщение от wwall

Специально на 1С переписал

а текст модуля тоже вытащить не проблема? Ну, непосредственно в 1С

@wwall · 12.10.2014, 15:23 **[ТС]**

его же из конфигуратора можно выгрузить. Или V8UNPACK, или PlayWithFire

@duk337 · 12.10.2014, 15:25

PS. Извини, некогда врубаться в конструктор запроса.
В принципе, я проверяю рукопашные запросы, открывая их в конструкторе: при открытии он отлавливает критичные траблы. Но нельзя сохранять, потому что конструкцию "ВЫБРАТЬ Ссылка ИЗ Справочник.ХЗ" он превратит в десять трудночитаемых строчек

@wwall · 12.10.2014, 15:26 **[ТС]**

не понял твою мысль, если честно.

@duk337 · 12.10.2014, 15:37

Сообщение от wwall

V8UNPACK, или PlayWithFire

м-да, *а кто такой Скр?* в смысле, PlayWithFire?

Добавлено через 3 минуты

Сообщение от wwall

не понял твою мысль

она философская: конструктор имеет легко используемый парсер, эмулирование которого с расширением рационально только из соображений познания вселенной.

@wwall · 12.10.2014, 15:40 **[ТС]**

GameWithFire - ошибся. Тут http://main.1c-ei.ru/Articles/gamewithfire

Сообщение от duk337

конструктор имеет легко используемый парсер

Как программно в 8.2 легко использовать парсер запроса?

@duk337 · 12.10.2014, 15:47

Сообщение от wwall

Как программно в 8.2 легко использовать парсер запроса?

зачем программно, слушай? Нажал кнопку - и играй! В этом философский смысл. Здорово, конечно, программно это сделать, но мне карма не даёт. Даже с компоновщиками СКД я принципиально не работаю программно, "в этом мотиве есть какая-то фальш..." (Цой)

Добавлено через 1 минуту
Кстати, я не настаиваю на своей философии абсолютно и изначально. Просто одна из позиций, не более. Я тоже начинал познавать вселенную, перематывая динамики, чтоб и АЧХ у них ещё не поехала.

Новые блоги и статьи Все статьи Все блоги /
Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему kumehtar 26.08.2026 ILETXiw9bMQ Основная суть и тезисы по измерениям: 0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема. Объект не может перемещаться в 0D. 1D (Первое измерение):. . .	[EasyBuilder Pro] Памятка по разработке для панелей Weintek ФедосеевПавел 26.08.2026 Памятка по разработке для панелей Weintek ВВЕДЕНИЕ Ранее, при реализации проектов основное внимание уделял разработке управляющей программы для контроллера, а панели оператора доставалось время. . .	Модель по догадкам anaschu 25.08.2026 Прошло две недели. Я уже рассказывал, как разговаривал с сотрудниками у сортировки и как понял, что главная ветка — не про приёмку, а про отбор. Но тогда я думал, что понял механику. На этой неделе я. . .	Запись в регистр сведений независимо от заполненности табличной части Maks 25.08.2026 Реализация из решения ниже выполнена на нетиповом документе с несколькими табличными частями, разработанного в КА2. Задача: Обеспечить запись документа в регистр сведений независимо от. . .
Ноутбук Альфария kumehtar 24.08.2026 Встретился тут в сети ноутбук Альфария, примарха Альфа-Легиона. Хотя возможно, это ноутбук Омегона, разумеется. Ну как вам?	Мастера простых решений DevAlt 23.08.2026 В сишарп стэках winforms, да и wpf существует сложная система связывания источниках данных и элементов формы(текстовые поля и метки), опирается все это на технологию событий и мета. . .	Цена ошибки DevAlt 23.08.2026 Человек я беспокойный и потому заинтересовался OCaml, в чате форсили функторы модулей как суперфичу. Пытаясь отдуплить концепт, наткнулся на тутор с простым примером. А главный принцип обучения от. . .	Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. zorxor 22.08.2026 Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .

@wwall 213 / 204 / 15 Регистрация: 29.05.2014 Сообщений: 1,058

	Статический анализатор кода (не оптимизатор!!!) 08.10.2014, 22:15. Показов 5829. Ответов 36 Метки нет (Все метки) Для многих языков есть статические анализаторы кода. Для "нежно" любимого мной 1С - нет. В ближайшем будущем буду исправлять этот косяк. В связи с этим вопросы - Был бы вам нужен? Что бы хотели видеть в нем? Какую функциональность? В каком виде лучше оформлять правила? А вывод как лучше сделать? Добавлено через 50 секунд модеры - добавьте букву Л в слово анаизатор в заголовке 0

@duk337 2956 / 1768 / 84 Регистрация: 03.11.2011 Сообщений: 8,280
	09.10.2014, 20:45
	Ннна... ччёрт, не влезает. Надо рубить на 4 части или паковать. Щас зарарю. Ну вот... при редактировании не грузится 0

@duk337 2956 / 1768 / 84 Регистрация: 03.11.2011 Сообщений: 8,280
	09.10.2014, 20:49
	Это УПП или Зарплата 0

@wwall 213 / 204 / 15 Регистрация: 29.05.2014 Сообщений: 1,058
	09.10.2014, 21:04 [ТС]
	спасибо 0

@wwall 213 / 204 / 15 Регистрация: 29.05.2014 Сообщений: 1,058
	10.10.2014, 14:27 [ТС]
	Итак, упрощение для запроса. AST для текста запроса есть. Есть 2 идеи для правил - 1. Контроль токенов. То есть, если в тексте используются 2 языка то выдвать предупреждение 2. Контроль области ГДЕ для соединений. То есть если в запросе есть соединения 2 таблиц и в области где задано условие сравнения с константой, то это условие переносить в область связи. Вопрос - как удобнее эти правила было бы записать? Я пока вижу только вариант писать плагины которые будет отчет подключать и обрабатывать. Может кто-то что умное подскажет? 0

@Dethmontt Модератор 4032 / 2977 / 594 Регистрация: 10.03.2011 Сообщений: 11,701 Записей в блоге: 1
	11.10.2014, 23:26
	Контроль что запрос использует связи которые не попадают в Индекс 0

@duk337 2956 / 1768 / 84 Регистрация: 03.11.2011 Сообщений: 8,280
	12.10.2014, 14:46
	Мою мысль рубят технические затычки. Большинство связей работают с вложенными запросами и временными таблицами. Как парсить их структуру?? 0

@wwall 213 / 204 / 15 Регистрация: 29.05.2014 Сообщений: 1,058
	12.10.2014, 15:05 [ТС]
	Исходи из предположения что парсер есть. и для любой временной таблицы ты можешь получить из чего она состоит вплоть до метаданных из которых идет выборка (ну или констант - если выборка не из БД) Добавлено через 38 секунд Приду домой выложу что бы было понимание о чем говорю. Специально на 1С переписал. 0

@wwall 213 / 204 / 15 Регистрация: 29.05.2014 Сообщений: 1,058
	12.10.2014, 15:23 [ТС]
	его же из конфигуратора можно выгрузить. Или V8UNPACK, или PlayWithFire 0

@duk337 2956 / 1768 / 84 Регистрация: 03.11.2011 Сообщений: 8,280
	12.10.2014, 15:25
	PS. Извини, некогда врубаться в конструктор запроса. В принципе, я проверяю рукопашные запросы, открывая их в конструкторе: при открытии он отлавливает критичные траблы. Но нельзя сохранять, потому что конструкцию "ВЫБРАТЬ Ссылка ИЗ Справочник.ХЗ" он превратит в десять трудночитаемых строчек 0

@wwall 213 / 204 / 15 Регистрация: 29.05.2014 Сообщений: 1,058
	12.10.2014, 15:26 [ТС]
	не понял твою мысль, если честно. 0