analyzer_experimental checkpoint and AnalysisContext example.

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
index cb9c3f8aa5639f81612da3079f8ff7713d190877..5174e62d00e2dc15618a61b4aa5dec50abe12a2c 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
@@ -648,7 +648,7 @@ public class ErrorVerifier extends RecursiveASTVisitor<Void> {
     boolean result = false;
     for (TypeName type : implementsClause.getInterfaces()) {
       result = result
-          | checkForExtendsOrImplementsDisallowedClass(
+          || checkForExtendsOrImplementsDisallowedClass(

[Brian Wilkerson, 2013/03/18 20:30:57]

This should not be changed. Otherwise we'll stop checking implemented classes on
the first violation rather than checking all of them. The current behavior is
correct.

[scheglov, 2013/03/18 20:34:14]

Aha!
Thank you, I will rollback this.

               type,
               CompileTimeErrorCode.IMPLEMENTS_DISALLOWED_CLASS);;
     }