Package org.acmestudio.acme.type

Examples of org.acmestudio.acme.type.IAcmeSynchronousTypeChecker


  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()) {
View Full Code Here

TOP

Related Classes of org.acmestudio.acme.type.IAcmeSynchronousTypeChecker

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.