ArchCNL is an Architecture Conformance Checking Tool developed by the working group SWK (Software Engineering and Construction Methods) at the computer science department of the University of Hamburg
GNU General Public License v3.0
5
stars
8
forks
source link
Type checker looks recursively for super types #301
Previously, these triplets would have resulted in a "Potential Type conflict" as hasName is defined on FamixClass and not on Aggregate. Now the type checker figures out that Aggregate is defined as a sub-type of FamixClass in its mapping and thus hasName is also defined for it. No type conflicts are reported in the GUI.
This fixes a previous limitation of the type checker. See this example (Aggregate is one of the concepts from the OnionArchitectureDemo):
(?a rdf:type architecture:Aggregate) (?a famix:hasName ?name)Previously, these triplets would have resulted in a "Potential Type conflict" as hasName is defined on FamixClass and not on Aggregate. Now the type checker figures out that Aggregate is defined as a sub-type of FamixClass in its mapping and thus hasName is also defined for it. No type conflicts are reported in the GUI.