// The file is null, if it is provided by
// a plug-in. Then we need a different file...
mappingFile = archMapping.getMappingFile();
}
MappingFileChecker checker = new MappingFileChecker(arch, archMapping, styleMapping);
checker.checkUnusedTypesInStyleMapping();
for (String error : checker.getAllWarningsAndErrors()) {
generateResultsWithoutSource(history, error, mappingFile);
}
}