Импорт представления

Рассмотрим две выборки, показанные на рис. 10.3. Они заимствованы из наборов методов (каждому из которых предшествует соответствующий класс), извлеченных из реализованной на C++ системы. В таблицах представлена статическая и динамическая информация об объектно-ориентированном сегменте кода. К примеру, в таблице динамической информации показан вызов метода List::getnth. С другой стороны, пропущенный статическим инструментом извлечения, этот метод не вошел в состав результатов статического анализа. Кроме того, среди статической информации нет вызовов метода-конструктора и метода-деструктора ImputValue и List; их придется добавить в таблицу классов/методов, которая выполняет согласование обоих источников информации.

Далее, согласно приведенным в настоящем примере результатам статического извлечения, у класса PrimitiveOp есть метод под именем Compute. Динамическое извлечение не обнаруживает такого класса, однако в то же время демонстрирует наличие таких классов, как ArithmeticOp, AttachOp и StringOp, у которых есть метод Compute и которые фактически являются подклассами PrimitiveOp. Итак, поскольку PrimitiveOp, очевидно, является суперклассом, в исполняемой программе он не вызывается. Однако статический инструмент извлечения, сканируя исходный код, обнаруживает вызов PrimitiveOp; полиморфный вызов одного из подклассов PrimitiveOp, напротив, происходит в период прогона.

Для того чтобы сформировать точное представление архитектуры, необходимо согласовать статическую и динамическую информацию о суперклассе PrimitiveOp. Соответственно, нужно провести объединение, для чего требуется сформировать SQL-запросы на извлеченные отношения calls, actually_calls и has_subclass. По результатам видно, что вызовы суперкласса PrimitiveOp::Compute (полученные на основе статической информации) и его многочисленных подклассов (полученные на основе динамической информации) — это фактически одно и то же.

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