Examples of edu.cmu.cs.crystal.internal.Crystal

edu.cmu.cs.crystal.internal.Crystal
Provides the ability to run the analyses. Provides output mechanisms for both the Static Analysis developer and the Static Analysis user. Also maintains several useful data structures. They can be accessed through several "get*" methods. @author David Dickey @author Jonathan Aldrich @author ciera @author Nels E. Beckman

        };
      }
    };


    // Run analysis
    Crystal crystal = AbstractCrystalPlugin.getCrystalInstance();
    if(testIndex >= 0)
      log.info("[" + testIndex + "] " + AnnotatedTest.this.icu.getElementName());
    try {
      crystal.runAnalyses(run_command, null);
    }
    catch(Throwable t) {
      // log exception, since Eclipse's JUnit GUI doesn't tell us the file where it happened
      log.log(Level.SEVERE, 
          "Exception in [" + testIndex + "] " + AnnotatedTest.this.icu.getElementName(),

View Full Code Here

        };
      }
    };


    // Run analysis
    Crystal crystal = AbstractCrystalPlugin.getCrystalInstance();
    if(testIndex >= 0)
      log.info("[" + testIndex + "] " + AnnotatedTest.this.icu.getElementName());
    try {
      crystal.runAnalyses(run_command, null);
    }
    catch(Throwable t) {
      // log exception, since Eclipse's JUnit GUI doesn't tell us the file where it happened
      log.log(Level.SEVERE, 
          "Exception in [" + testIndex + "] " + AnnotatedTest.this.icu.getElementName(),

View Full Code Here

TOP

Related Classes of edu.cmu.cs.crystal.internal.Crystal

edu.cmu.cs.crystal.annotations.AnnotationDatabase

edu.cmu.cs.crystal.annotations.AnnotationFinder

edu.cmu.cs.crystal.IAnalysisInput

edu.cmu.cs.crystal.tac.eclipse.CompilationUnitTACs

edu.cmu.cs.crystal.test.AnnotatedTest

org.eclipse.jdt.core.dom.ASTNode

org.eclipse.jdt.core.dom.CompilationUnit

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.