Package org.acmestudio.acme.type

Examples of org.acmestudio.acme.type.IAcmeTypeChecker


    return conf;
  }
 
  private void checkViolations(Configuration conf, IAcmeResource resource,
      IAcmeModel model) {
    IAcmeTypeChecker checker = resource.getEnvironment().getTypeChecker();
       
      if(checker instanceof IAcmeSynchronousTypeChecker) {
        IAcmeSynchronousTypeChecker tc = (IAcmeSynchronousTypeChecker)checker;
        tc.typecheckAllModelsNow();
      }
View Full Code Here

TOP

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

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.