Retrascope

Не совсем понял. Чем он будет отличаться от класса Engine, учитывая, что у двух предполагаемых наследников EfsmEngin'а (симулятор и генератор) не совпадают ни входные, ни выходные типы? И зачем этим двум классам посетитель?

Насколько я понимаю, EfsmEngine (по аналогии с CfgEngine) - это обертка вокруг Efsm-обходчика (walker). Задача класса EfsmEngine - запустить пару "обходчик и визитор" на EfsmModel. Обходчик, соответственно, посещает все узлы EfsmModel и в каждом узле вызывает соответствующий метод визитора. Что в каждом узле делает визитор - это уже его дело.

Я не думаю, что симулятор и генератор тестов обязательно будут наследниками EfsmEngine. А вот компонент, реализующий отрисовку EfsmModel в каком-нибудь графическом формате (GraphViz, GraphMl) очень удобно делать в виде визитора EfsmModel.

Картина проясняется. Тогда у меня вопрос, чем EfsmEngine будет отличаться от EfsmWalker'а :)

EfsmEngine создаст объект визитора и запустит на конкретном объекте Entity.

В общем, сделает все то же самое, что и ru.ispras.retrascope.engine.cfg.CfgEngine (с точностью до типов и пр.)

Рекомендую посмотреть код указанного класса и все станет понятно.

ru/ispras/retrascope/engine/cfg/printer/graphml/CfgGraphMlPrinter.java - его наследник, который умеет печатать control flow graph в формате GraphML

Да, действительно стало. Спасибо :)

А закоммитить?:-)

Маленькое замечание: имена для EntityType мы пишем с маленькой буквы и через дефис. Это больше соответствует духу консольных приложений, чьи возможности Retrascope реализует и будет реализовывать впредь:-)

Т.е. не "EFSM model", а "efsm", или, на худой конец, "efsm-model". Я бы остановился на первом варианте.