Hide names of internal classes from the user by mapping them to the documented

tests/language/type_vm_test.dart

 // Copyright (c) 2011, 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.
-// VMOptions=--enable_type_checks --enable_asserts
+// VMOptions=--enable_type_checks --no_show_internal_names
 //
 // Dart test program testing type checks.
 
 class TypeTest {
   static test() {
     int result = 0;
     try {
       int i = "hello";  // Throws a TypeError if type checks are enabled.
     } catch (TypeError error) {
       result = 1;
@@ skipping 15 matching lines @@
   static testSideEffect() {
     int result = 0;
     int index() {
       result++;
       return 0;
     }
     try {
       List<int> a = new List<int>(1);
       a[0] = 0;
       a[index()]++;  // Type check succeeds, but does not create side effects.
-      assert(a[0] == 1);
+      Expect.equals(1, a[0]);
     } catch (TypeError error) {
       result = 100;
     }
     return result;
   }
 
   static testArgument() {
     int result = 0;
     int f(int i) {
       return i;
@@ skipping 310 matching lines @@
       result++;
       Expect.equals("C", error.dstType);
       Expect.equals("int", error.srcType);
       Expect.equals("function result", error.dstName);
       int pos = error.url.lastIndexOf("/", error.url.length);
       if (pos == -1) {
         pos = error.url.lastIndexOf("\\", error.url.length);
       }
       String subs = error.url.substring(pos + 1, error.url.length);
       Expect.equals("type_vm_test.dart", subs);
-      Expect.equals(472, error.line);
+      Expect.equals(560, error.line);
       Expect.equals(12, error.column);
     }
     return result;
   }
 
   static int testListAssigment() {
     int result = 0;
     {
       var a = new List(5);
       List a0 = a;
       List<Object> ao = a;
       List<int> ai = a;
       List<num> an = a;
       List<String> as = a;
     }
     {
       var a = new List<Object>(5);
       List a0 = a;
       List<Object> ao = a;
       try {
         List<int> ai = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<int>", error.dstType);
+        Expect.equals("List<Object>", error.srcType);
+        Expect.equals("ai", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(392, error.line);
+        Expect.equals(24, error.column);
       }
       try {
         List<num> an = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<num>", error.dstType);
+        Expect.equals("List<Object>", error.srcType);
+        Expect.equals("an", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(408, error.line);
+        Expect.equals(24, error.column);
       }
       try {
         List<String> as = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<String>", error.dstType);
+        Expect.equals("List<Object>", error.srcType);
+        Expect.equals("as", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(424, error.line);
+        Expect.equals(27, error.column);
       }
     }
     {
       var a = new List<int>(5);
       List a0 = a;
       List<Object> ao = a;
       List<int> ai = a;
       List<num> an = a;
       try {
         List<String> as = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<String>", error.dstType);
+        Expect.equals("List<int>", error.srcType);
+        Expect.equals("as", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(447, error.line);
+        Expect.equals(27, error.column);
       }
     }
     {
       var a = new List<num>(5);
       List a0 = a;
       List<Object> ao = a;
       try {
         List<int> ai = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<int>", error.dstType);
+        Expect.equals("List<num>", error.srcType);
+        Expect.equals("ai", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(468, error.line);
+        Expect.equals(24, error.column);
       }
       List<num> an = a;
       try {
         List<String> as = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<String>", error.dstType);
+        Expect.equals("List<num>", error.srcType);
+        Expect.equals("as", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(485, error.line);
+        Expect.equals(27, error.column);
       }
     }
     {
       var a = new List<String>(5);
       List a0 = a;
       List<Object> ao = a;
       try {
         List<int> ai = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<int>", error.dstType);
+        Expect.equals("List<String>", error.srcType);
+        Expect.equals("ai", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(506, error.line);
+        Expect.equals(24, error.column);
       }
       try {
         List<num> an = a;
       } catch (TypeError error) {
         result++;
+        Expect.equals("List<num>", error.dstType);
+        Expect.equals("List<String>", error.srcType);
+        Expect.equals("an", error.dstName);
+        int pos = error.url.lastIndexOf("/", error.url.length);
+        if (pos == -1) {
+          pos = error.url.lastIndexOf("\\", error.url.length);
+        }
+        String subs = error.url.substring(pos + 1, error.url.length);
+        Expect.equals("type_vm_test.dart", subs);
+        Expect.equals(522, error.line);
+        Expect.equals(24, error.column);
       }
       List<String> as = a;
     }
     return result;
   }
 
   static testMain() {
     Expect.equals(1, test());
     Expect.equals(1, testSideEffect());
     Expect.equals(1, testArgument());
@@ skipping 12 matching lines @@
 class C {
   factory C() {
     return 1;  // Implicit result type is 'C', not int.
   }
 }
 
 
 main() {
   TypeTest.testMain();
 }