Queries
This sections contains links to our prolog files, where the queries that can be executed by the user are implemented and documented. Basically, there are two types of queries available at the moment..
Queries of the first type deal with systems on a class level. An example for a query on this abstraction level is checking a system for occurrences of multiple inheritance.
Queries of the second type are executed on a more "abstract" level. The classes are handled as groups of subsystems here. A reasonable example for a query of this type is, "get all classes that form the interface of a given subsystem". At the moment, partitioning the classes automatically into subsystems relies on package information in Java and directory structure in C++. If other features should be used for grouping the classes, this must be done manually..