| checkAnnotation(Annotation, IAnnotation) |  | 0% | | 0% | 5 | 5 | 6 | 6 | 1 | 1 |
| expectSubtype(IExpression, IExpressionType) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| requireFunctorType(TypeSpecifier, IType) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| reportUnusableAnnotation(Annotation, IAnnotation) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| requireReturnType(IConstruct, IExpressionType) |  | 21% | | 50% | 1 | 2 | 5 | 7 | 0 | 1 |
| checkAnnotations(AnnotationList, List) | | 81% | | 87% | 1 | 5 | 1 | 9 | 0 | 1 |
| checkCondition(IExpression) | | 85% | | 83% | 1 | 4 | 2 | 13 | 0 | 1 |
| checkAssign(IConstruct, IExpressionType, IExpression) | | 91% | | 100% | 0 | 2 | 2 | 9 | 0 | 1 |
| requireNonFinalFieldAssignment(IConstruct, IField) | | 90% | | 100% | 0 | 3 | 2 | 9 | 0 | 1 |
| checkReturn(IConstruct, IExpressionType, IExpression) | | 90% | | 100% | 0 | 2 | 2 | 10 | 0 | 1 |
| reportBadArgumentCount(RecurStatement, int) | | 89% | | n/a | 0 | 1 | 2 | 7 | 0 | 1 |
| requireInteger(IExpression) | | 88% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| reportNoSuchField(IConstruct, boolean, IReturnType, String) | | 88% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| reportCovarianceViolation(IConstruct, CovarianceViolation) | | 88% | | n/a | 0 | 1 | 2 | 8 | 0 | 1 |
| checkLiteral(IDatum, Comparable, String, Comparable, Comparable) | | 87% | | 100% | 0 | 2 | 2 | 10 | 0 | 1 |
| requireIterable(IExpression) | | 87% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireThrowable(IExpression) | | 87% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireDesignType(IConstruct, IExpressionType) | | 87% | | 66% | 2 | 4 | 2 | 7 | 0 | 1 |
| reportNonViableInstanceOf(InstanceOfExpression, IExpressionType, IDeclaredType) | | 86% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportNoSuchMethod(IConstruct, boolean, IReturnType, String, List) | | 86% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| requireNonVoid(IExpression) | | 86% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireString(IExpression) | | 86% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireNonDuplicateType(Name, String) | | 85% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireReferenceType(IExpression) | | 85% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireType(TypeSpecifier, IType) | | 85% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireVariableType(IConstruct, IExpressionType) | | 84% | | 100% | 0 | 4 | 2 | 9 | 0 | 1 |
| requireDefinedFunctorType(TypeSpecifier, IType) | | 84% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| reportDuplicateEnumConstant(IEnumType, Name) | | 84% | | n/a | 0 | 1 | 2 | 7 | 0 | 1 |
| reportIncompatibleOperands(IExpression, IExpressionType, IExpressionType) | | 84% | | n/a | 0 | 1 | 2 | 7 | 0 | 1 |
| reportNoSuchBinaryOperator(IBinaryOperation, IExpressionType, IExpressionType) | | 84% | | n/a | 0 | 1 | 2 | 7 | 0 | 1 |
| reportDuplicateFunction(FunctionCompiler) | | 84% | | n/a | 0 | 1 | 2 | 7 | 0 | 1 |
| checkDeclared(VariableAllocator, Variable) | | 83% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| checkScope(VariableAllocator, Variable) | | 83% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| requireThrowable(TypeSpecifier, IType) | | 83% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| requireModule(TypeSpecifier, IType) | | 83% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| requireVoid(IConstruct, IType) | | 83% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| reportNoSuchAsConversion(AsOperation, IReturnType) | | 83% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportNoSuchIsConversion(IsOperation, IReturnType) | | 83% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportNoSuchMethod(DelegateStatement, IClassType, String) | | 83% | | n/a | 0 | 1 | 2 | 7 | 0 | 1 |
| reportWrongSignatureForAnnotation(FunctionCompiler, ErrorCode, String) | | 83% | | n/a | 0 | 1 | 2 | 7 | 0 | 1 |
| requireClassType(IConstruct, IExpressionType) | | 82% | | 75% | 1 | 3 | 2 | 7 | 0 | 1 |
| requireInterfaceType(IConstruct, IExpressionType) | | 82% | | 100% | 0 | 3 | 2 | 7 | 0 | 1 |
| requireDeclaredType(IConstruct, IExpressionType) | | 82% | | 100% | 0 | 3 | 2 | 7 | 0 | 1 |
| reportDuplicateVariable(Variable, boolean) | | 82% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| requireMutableVariable(Variable, boolean) | | 82% | | 100% | 0 | 2 | 2 | 8 | 0 | 1 |
| reportDuplicateExceptionHandler(ExceptionHandler, IExpressionType) | | 81% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportDuplicateElement(Element) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportDuplicateAnnotation(AnnotationList, IAnnotation) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportInaccessibleType(TypeSpecifier, IReturnType) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportCircularInheritance(IConstruct, IReturnType) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportNoSuchConstructor(IConstruct, IReturnType, List) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportDuplicateLabel(Label) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportUndeclaredLabel(Label) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportNoSuchUnaryOperator(IUnaryOperation, IExpressionType) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| reportDuplicateDirectSupertype(IConstruct, IExpressionType) | | 80% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| requireReferenceType(IConstruct, IExpressionType) | | 78% | | 100% | 0 | 2 | 2 | 7 | 0 | 1 |
| reportTooManyStarts(FunctionDefinition) | | 77% | | n/a | 0 | 1 | 2 | 6 | 0 | 1 |
| StaticChecker(ProgramCompiler) | | 76% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| reportBreakOutsideOfLoop(BreakStatement) | | 73% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| reportContinueOutsideOfLoop(ContinueStatement) | | 73% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| reportRedoOutsideOfLoop(RedoStatement) | | 73% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| reportEmptyProgn(PrognExpression) | | 73% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| reportOverloadedMethod(DelegateStatement, IClassType, String) | | 73% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| reportIncompatibleDelegate(DelegateStatement, IMethod, IMethod) | | 73% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| requireWellFormedStringLiteral(StringDatum) | | 90% | | 100% | 0 | 2 | 1 | 11 | 0 | 1 |
| checkName(Name, String) | | 90% | | 100% | 0 | 2 | 1 | 9 | 0 | 1 |
| expectVoidFunction(IStatement, IMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| requireTypedFunctor(IExpressionType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| requireAutumnObject(IExpressionType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| requireEnum(IExpressionType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| describeInvocation(IExpressionType, String, String, Iterable) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| requireArguments(Iterable) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| report(ErrorReport) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| requireNonNull(IExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |