> -- Владислав Жаринов писал(а):
> ...Там получается не устремлённая топология, а сетевая в пределе, что не проблема - выводится графит-методом с соответствующей спецификой....- т.е. программа представляется как "решётка" из процедур....* выполнять снятие кросса ... - при этом пересечения, если они есть, будут явными* показывать зависимости над кроссом ... - но тоже организованной сетью связей, а не "по кратчайшим"...В любом случае получится на плоскости... Ну а как в пространстве - возможное решение недавно Дмитрий_ВБ предложил...Выводить-то можно, но вручную... столько надо заполнять для небольшой, в общем-то, программы...Автоматизировали. И тогда упрёмся в то, что схема всех аспектов взаимодействия процедур будет весьма объёмной. Так что надо реализовать прежде всего составление выборочное...Только подробнее структурно, потому что даются и вызовы, и возвраты.Расширение позволяет показывать, кроме обычного вызова/возврата, также внешний, порождение/снятие, конструкцию/деструкцию. Знай только символику изобретай...
И плюс не забыть, что на функции также нужно смотреть и как на редукционные подстановки. В результате, вместо программирования, вынуждены рисовать "структуры Крипке", даже с автоматизмом нужные лишь бюрократическим субъектам для формальностей, или для презентаций со спецэффектами.
> -- Владислав Жаринов писал(а):
> ... получается "графический инспектор кода" в части структур управления. Например, можно быстрее получать ответ на вопрос вида: "Вот я ставлю палец в эту точку <на каком-то маршруте - В.Ж.> и спрашиваю: Какой последовательности событий <при дальнейшем следовании - В.Ж.> я могу ожидать?"...
Я если ткнуть пальцем валгоритмическую таблицу, то это сразу видно в виде простого линейного списка, а если шевельнуть пальцем левее/правее - сразу же и другие варианты. А перекинув взгляд на схематическую таблицу можем изучить всё в деталях, без 3D, пересечений и пр. (хотя тут ещё нужно поработать).