Update test.dart for detection output of machine formatted errors

tools/testing/dart/test_suite.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * Classes and methods for enumerating and preparing tests.
  *
  * This library includes:
  *
  * - Creating tests by listing all the Dart files in certain directories,
@@ skipping 157 matching lines @@
 
   void completeHandler(TestCase testCase) {
   }
 }
 
 
 class TestInformation {
   String filename;
   Map optionsFromFile;
   bool isNegative;
+  bool isStaticClean;
+  bool hasStaticTypeAnnotations;
+  bool hasCompileTimeAnnotations;
   bool isNegativeIfChecked;
   bool hasFatalTypeErrors;
   bool hasRuntimeErrors;
+  // expected outcome from multi-test  "static type error", "compile-time error", etc
+  String multitestOutcome;
 
   TestInformation(this.filename, this.optionsFromFile, this.isNegative,
                   this.isNegativeIfChecked, this.hasFatalTypeErrors,
-                  this.hasRuntimeErrors);
+                  this.hasRuntimeErrors, this.multitestOutcome);
 }
 
 
+class AnnotatedError {
+  String type;  // "runtime", "static type", or "compile-time"
+  
+}
+
 /**
  * A standard [TestSuite] implementation that searches for tests in a
  * directory, and creates [TestCase]s that compile and/or run them.
  */
 class StandardTestSuite implements TestSuite {
   Map configuration;
   String suiteName;
   String directoryPath;
   List<String> statusFilePaths;
   Function doTest;
@@ skipping 74 matching lines @@
         directoryListingDone(false);
       } else {
         dir.fileHandler = processFile;
         dir.doneHandler = directoryListingDone;
         dir.list(recursive: listRecursively());
       }
     };
     dir.exists();
   }
 
+  
   void enqueueTestCaseFromTestInformation(TestInformation info) {
     var filename = info.filename;
     var optionsFromFile = info.optionsFromFile;
     var isNegative = info.isNegative;
 
     // Look up expectations in status files using a modified file path.
     String testName;
     filename = filename.replaceAll('\\', '/');
 
     // See if there's a 'src' directory inside the 'tests' one.
@@ skipping 39 matching lines @@
       case 'dartium':
       case 'chromium':
       case 'frogium':
       case 'webdriver':
         enqueueBrowserTest(filename, testName, optionsFromFile,
                            expectations, isNegative);
         break;
       default:
         isNegative = isNegative ||
             (configuration['checked'] && info.isNegativeIfChecked);
-        bool enableFatalTypeErrors = false;
 
         if (configuration['component'] == 'dartc') {
-          // Only dartc supports fatal type errors. Enable fatal type
-          // errors with a flag and treat tests that have fatal type
-          // errors as negative.
-          // Also, tests that have runtime errors are not negative
-          // tests for dartc because dartc does not execute the test.
+          // dartc can detect static type errors by the
+          // format of the rror line
           if (info.hasFatalTypeErrors) {
-            enableFatalTypeErrors = true;
             isNegative = true;
           } else if (info.hasRuntimeErrors) {
             isNegative = false;
           }
         }
 
         var argumentLists = argumentListsFromFile(filename,
-                                                  optionsFromFile,
-                                                  enableFatalTypeErrors);
+                                                  optionsFromFile);
 
         for (var args in argumentLists) {
           doTest(new TestCase('$suiteName/$testName',
                               [new Command(shellPath(), args)],
                               configuration,
                               completeHandler,
                               expectations,
-                              isNegative));
+                              isNegative,
+                              info));
         }
     }
   }
 
   Function makeTestCaseCreator(Map optionsFromFile) {
     return (String filename,
             bool isNegative,
             [bool isNegativeIfChecked = false,
              bool hasFatalTypeErrors = false,
-             bool hasRuntimeErrors = false]) {
+             bool hasRuntimeErrors = false,
+             String multitestOutcome = null]) {
       // Cache the test information for each test case.
       var info = new TestInformation(filename,
                                      optionsFromFile,
                                      isNegative,
                                      isNegativeIfChecked,
                                      hasFatalTypeErrors,
-                                     hasRuntimeErrors);
+                                     hasRuntimeErrors,
+                                     multitestOutcome);
       cachedTests.add(info);
       enqueueTestCaseFromTestInformation(info);
     };
   }
 
   void processFile(String filename) {
     if (!isTestFile(filename)) return;
 
     // Only run the tests that match the pattern.
     RegExp pattern = configuration['selectors'][suiteName];
@@ skipping 331 matching lines @@
     listingDone = true;
     if (activeTestGenerators == 0) {
       doDone();
     }
   }
 
   void completeHandler(TestCase testCase) {
   }
 
   List<List<String>> argumentListsFromFile(String filename,
-                                           Map optionsFromFile,
-                                           bool enableFatalTypeErrors) {
+                                           Map optionsFromFile) {
     List args = TestUtils.standardOptions(configuration);
     args.addAll(additionalOptions(filename));
-    if (enableFatalTypeErrors && configuration['component'] == 'dartc') {
-      args.add('--fatal-type-errors');
+    if (configuration['component'] == 'dartc') {
+      args.add('--error_format');
+      args.add('machine');
     }
 
     bool isMultitest = optionsFromFile["isMultitest"];
     List<String> dartOptions = optionsFromFile["dartOptions"];
     List<List<String>> vmOptionsList = optionsFromFile["vmOptions"];
     Expect.isTrue(!isMultitest || dartOptions == null);
     if (dartOptions == null) {
       args.add(filename);
     } else {
       var executable_name = dartOptions[0];
@@ skipping 16 matching lines @@
     }
 
     return result;
   }
 
   Map readOptionsFromFile(String filename) {
     RegExp testOptionsRegExp = const RegExp(@"// VMOptions=(.*)");
     RegExp dartOptionsRegExp = const RegExp(@"// DartOptions=(.*)");
     RegExp otherScriptsRegExp = const RegExp(@"// OtherScripts=(.*)");
     RegExp multiTestRegExp = const RegExp(@"/// [0-9][0-9]:(.*)");
+    RegExp staticTypeRegExp = const RegExp(@"/// ([0-9][0-9]:){0,1}\s*static type error");
+    RegExp compileTimeRegExp = const RegExp(@"/// ([0-9][0-9]:){0,1}\s*compile-time error");
     RegExp leadingHashRegExp = const RegExp(@"^#", multiLine: true);
     RegExp isolateStubsRegExp = const RegExp(@"// IsolateStubs=(.*)");
     RegExp domImportRegExp =
         const RegExp(@"^#import.*(dart:(dom|html)|html\.dart).*\)",
                      multiLine: true);
     RegExp libraryDefinitionRegExp =
         const RegExp(@"^#library\(", multiLine: true);
     RegExp sourceOrImportRegExp =
         const RegExp(@"^#(source|import)\(", multiLine: true);
 
@@ skipping 33 matching lines @@
     List<String> otherScripts = new List<String>();
     matches = otherScriptsRegExp.allMatches(contents);
     for (var match in matches) {
       otherScripts.addAll(match[1].split(' ').filter((e) => e != ''));
     }
 
     if (contents.contains("@compile-error") ||
         contents.contains("@runtime-error")) {
       isNegative = true;
     }
+    if (contents.contains("@static-clean")) {
+      isStaticClean = true;
+    }
 
     bool isMultitest = multiTestRegExp.hasMatch(contents);
     bool containsLeadingHash = leadingHashRegExp.hasMatch(contents);
     Match isolateMatch = isolateStubsRegExp.firstMatch(contents);
     String isolateStubs = isolateMatch != null ? isolateMatch[1] : '';
     bool containsDomImport = domImportRegExp.hasMatch(contents);
     bool isLibraryDefinition = libraryDefinitionRegExp.hasMatch(contents);
     bool containsSourceOrImport = sourceOrImportRegExp.hasMatch(contents);
-
+    int numStaticTypeAnnotations = 0;
+    for (var i in staticTypeRegExp.allMatches(contents)) {
+      numStaticTypeAnnotations++;
+    }
+    int numCompileTimeAnnotations = 0;
+    for (var i in compileTimeRegExp.allMatches(contents)) {
+      numCompileTimeAnnotations++;
+    }
 
     return { "vmOptions": result,
              "dartOptions": dartOptions,
              "isNegative": isNegative,
              "otherScripts": otherScripts,
              "isMultitest": isMultitest,
-             "containsLeadingHash" : containsLeadingHash,
-             "isolateStubs" : isolateStubs,
+             "containsLeadingHash": containsLeadingHash,
+             "isolateStubs": isolateStubs,
              "containsDomImport": containsDomImport,
              "isLibraryDefinition": isLibraryDefinition,
-             "containsSourceOrImport": containsSourceOrImport };
+             "containsSourceOrImport": containsSourceOrImport,
+             "numStaticTypeAnnotations": numStaticTypeAnnotations,
+             "numCompileTimeAnnotations": numCompileTimeAnnotations};
   }
 }
 
 
 class DartcCompilationTestSuite extends StandardTestSuite {
   List<String> _testDirs;
   int activityCount = 0;
 
   DartcCompilationTestSuite(Map configuration,
                             String suiteName,
@@ skipping 310 matching lines @@
  * $noCrash tests are expected to be flaky but not crash
  * $pass tests are expected to pass
  * $failOk tests are expected to fail that we won't fix
  * $fail tests are expected to fail that we should fix
  * $crash tests are expected to crash that we should fix
  * $timeout tests are allowed to timeout
 """;
     print(report);
    }
 }