[Apelsinov]

Код:

[Выделить все]

(defun F (/ a b)
  (setq c T)
)
(F)

как узнать, меняет ли функция F значение каких-либо переменных, в данном случае с?

[Кулик Алексей aka kpblc]

atoms-family запусти перед вызовом функции, сохрани значения в список; потом после вызова функции. И сравнивай списки.
Например:

Код:

[Выделить все]

(defun _dwgru-check-variables (func-call / before after res)
                              ;|
(defun f (/ a b)
  (setq c t)
  ) ;_ end of defun

(_dwgru-check-variables "(f)")
|;
  (setq before (mapcar (function (lambda (x) (strcase x t))) (atoms-family 1)))
  (eval (read func-call))
  (setq after (vl-remove "before" (mapcar (function (lambda (x) (strcase x t))) (atoms-family 1))))
  (foreach item after
    (if (not (member item before))
      (setq res (cons item res))
      ) ;_ end of if
    ) ;_ end of foreach
  (vl-sort res '<)
  ) ;_ end of defun

P.S. Код особо не гонял, возможно, для функций с параметрами результат будет некорректным.

[ShaggyDoc]

Вызвать:
(F)
(print c)
Если c локальная, и нет других одноименных переменных, напечатает nil.

[CB]

Или набрать в командной строке - !с

[Makswell]

Там было "в данном случае с". Задача более общая. Переменных могут быть десятки, строк кода сотни.

Кулик Алексей aka kpblc, в твоём случае необходимо условие: _dwgru-check-variables будет давать нужный результат только в том случае, если функция f ни разу до этого не запускалась. Это не очень удобно.

И ещё: (eval (read func-call)) собственно запускает подопытную функцию в работу, а там может быть что угодно.

Вообще универсального решения я пока не вижу, кроме как непосредственно анализировать лисп-файл с кодом на предмет соответствия списка локальных переманных и всех setq в нём.

[Кулик Алексей aka kpblc]

Для сотен строк кода организовывай анонимные и / или локальные функции. Короче, разбивай код на логические куски. И писать проще, и отладку вести

[Makswell]

Спасибо, Кэп.
Давай по-другому сформулирую вопрос. Допустим вот уже есть код из немеряного количества строк (ну допустим тот же известный на этом форуме CTS от VVA). Как его можно проверить на наличие глобальных переменных за минимальное количество времени?

[Кулик Алексей aka kpblc]

Если без муторного анализа кода - то через atoms-family. Лично я другого варианта не вижу

[Apelsinov]

Вопрос был именно общий, т.е. необходима функция test, аргументом которой будет выполняемое выражение, например, функция F

(test '(F a b)) => должно вернуть 'C, при этом F выполняется.

вот что я хочу.

Нужно это стало в связи с тем, что какие-то из запускаемых функций явно мусорят необьявленными переменными. А какие это функции - я не знаю, а этих функций очень много, и переменных в них много. Но функции у меня запускаются все через обертку, на подобии test, куда включены обработка ошибок, UndoMark, и прочие прелести. Вот туда то я и хотел вставить проверку на переменные, чтобы отловить подобные ошибки в написании функций.

Сообщение от Кулик Алексей aka kpblc atoms-family запусти перед вызовом функции, сохрани значения в список; потом после вызова функции. И сравнивай списки.

Идея понятна, спасибо. Попробую.

[ShaggyDoc]

Сообщение от Makswell Давай по-другому сформулирую вопрос. Допустим вот уже есть код из немеряного количества строк (ну допустим тот же известный на этом форуме CTS от VVA). Как его можно проверить на наличие глобальных переменных за минимальное количество времени?

Да очень просто. Проверять-то где? В AutoCAD! Значит открываем файл в VLIDE и жмем Ctrl-Alt-C (в меню Tools - Check Text In Editor)

В окне Build Output будет выведена полная статистика по всем функциям - имена функций, количество аргументов и глобальные переменные.

Наподобие:

Код:

[Выделить все]

[CHECKING TEXT ru-init-start-rucad.lsp loading...]
.
; === Top statistic:
; Global variables: (*RU_SBB_LAYOUTS_SRV* *RU_SHOW_SUMMARY*)
; Function definition (with number of arguments): ((RU-INIT-START-RUCAD . 0))
; Check done.

В данном случае обнаружены две глобальные. Они специально введены и выделены именами - чтобы не путать со случайными.
А вот если что-то забыли описать, вид может быть:

Код:

[Выделить все]

[CHECKING TEXT ru-init-start-rucad.lsp loading...]
.
; === Top statistic:
; Global variables: (*RU_SBB_LAYOUTS_SRV* *RU_SHOW_SUMMARY* ANNO_LIST)
; Function definition (with number of arguments): ((RU-INIT-START-RUCAD . 0))
; Check done.

Здесь появилась забытая глобальная ANNO_LIST.

Этим надо пользоваться постоянно! Как руки мыть...

Аналогичная статистика выводится при Build Project - только будут выведены данные из всех файлов проекта.

[Кулик Алексей aka kpblc]

ShaggyDoc, позволю себе дополнить: для получения подобного результата в Tools -> Environment Options -> Global Options -> Diagnostics надо отметить как минимум Report statistics during syntax checking. Иначе для кода

Код:

[Выделить все]

(defun test ()
  (setq a 1
        b 2
        c 3
        ) ;_ end of setq
  ) ;_ end of defun

можно получить в Build Output:

Код:

[Выделить все]

[CHECKING TEXT <Untitled-1> loading...]
.
; Check done.

Мне так каэцца.

[Makswell]

ShaggyDoc, Кулик Алексей aka kpblc
Вот ведь как. Удивительно, но впервые слышу о таком.
Тогда я думаю вопрос исчерпан.

Offtop: PS Кулик Алексей aka kpblc, так бы и сказал сразу. А то лисп сразу наваял, совсем запутал вконец.

[Кулик Алексей aka kpblc]

Makswell, не поверишь, но я этой функцией практически не пользуюсь. В случае локальных функций с параметрами (лично у меня) иногда начинается кавардак в отчете, хрен разберешься. Закономерность как-то не уловил, но испуга до сих пор хватает.