Package edu.cmu.cs.crystal.tac.eclipse

Examples of edu.cmu.cs.crystal.tac.eclipse.EclipseTAC


  abstract public AbstractTACBranchSensitiveTransferFunction<AC> getAliasTransferFunction(DeclarativeRetriever retriever);
 
  abstract public ILatticeOperations<AC> getAliasLatticeOps();

  protected void reportResults(MethodDeclaration methodDecl, ConstraintChecker checker) {
    EclipseTAC tac = this.getInput().getComUnitTACs().unwrap().getMethodTAC(methodDecl);
    ErrorReporterVisitor<AC> errVisitor = new ErrorReporterVisitor<AC>(this, checker, reporter, tac, compUnitName);
    methodDecl.accept(errVisitor);
  }
View Full Code Here

TOP

Related Classes of edu.cmu.cs.crystal.tac.eclipse.EclipseTAC

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.