ErrorReport validatorResult = new ErrorReport(getLog());
for (ComponentDeclaration component : components) {
if (component instanceof SpecificationDeclaration) {
validator.validate(component, validatorResult);
}
}
for (ComponentDeclaration component : components) {
if (component instanceof AtomicImplementationDeclaration) {