edu.cmu.cs.crystal.annotations
Annotation Type AnalysisTests


@Retention(value=RUNTIME)
public @interface AnalysisTests

If this interface is contained anywhere inside of a CompilationUnit, that compilation unit will be analyzed as a test, and the analysis of that file should produce no errors or warnings.

Author:
Nels E. Beckman

Optional Element Summary
 FailingTest[] fail
           
 PassingTest[] pass
           
 

fail

public abstract FailingTest[] fail
Default:
{}

pass

public abstract PassingTest[] pass
Default:
{}