private void checkViolations(Configuration conf, IAcmeResource resource,
IAcmeModel model) {
IAcmeTypeChecker checker = resource.getEnvironment().getTypeChecker();
if(checker instanceof IAcmeSynchronousTypeChecker) {
IAcmeSynchronousTypeChecker tc = (IAcmeSynchronousTypeChecker)checker;
tc.typecheckAllModelsNow();
}
try {
AcmeViolationsVisitor visitor = new AcmeViolationsVisitor();
model.visit(visitor, null);
for (IAcmeDesignRule rule : visitor.getViolatedRules()) {