[dart2dart] Optionally cut types in variable declarations:

tests/compiler/dart2js/unparser_test.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.
 
 #import('dart:uri');
 #import('parser_helper.dart');
 #import('mock_compiler.dart');
 #import("../../../lib/compiler/compiler.dart");
 #import("../../../lib/compiler/implementation/leg.dart", prefix:'leg');
 #import("../../../lib/compiler/implementation/dart_backend/dart_backend.dart");
 #import("../../../lib/compiler/implementation/elements/elements.dart");
+#import("../../../lib/compiler/implementation/scanner/scannerlib.dart");
 #import("../../../lib/compiler/implementation/tree/tree.dart");
 
 testUnparse(String statement) {
   Node node = parseStatement(statement);
   Expect.equals(statement, node.unparse());
 }
 
 testUnparseMember(String member) {
   Node node = parseMember(member);
   Expect.equals(member, node.unparse());
@@ skipping 752 matching lines @@
 ''';
   var expectedResult =
     'interface Iterable<K>{}'
     'interface Link<T> extends Iterable<T> default LinkFactory<T>{Link();}'
     'class LinkFactory<T>{factory Link(){}}'
     'main(){new Link<int>();}';
   testDart2DartWithLibrary(mainSrc, librarySrc,
       (String result) { Expect.equals(expectedResult, result); });
 }
 
+testDeclarationTypePlaceholders() {

[Anton Muhin, 2012/08/28 13:06:32]

why some complicated?  why not pass a flag to omit type and check against
expected output?

[Roman, 2012/08/28 13:27:51]

Done.

+  var src = '''
+String globalfield;
+const String globalconstfield;
+
+void foo(String arg) {}
+
+main() {
+  String localvar;
+  foo('5');
+}
+''';
+  MockCompiler compiler = new MockCompiler();
+  compiler.parseScript(src);
+  FunctionElement mainElement = compiler.mainApp.find(leg.Compiler.MAIN);
+  compiler.processQueue(compiler.enqueuer.resolution, mainElement);
+  PlaceholderCollector collector = new PlaceholderCollector(compiler);
+  FunctionExpression mainNode = mainElement.parseNode(compiler);
+
+  bool collectorHasDeclarationTypePlaceholder(
+      TypeAnnotation type, bool requiresVar) {
+    for (DeclarationTypePlaceholder placeholder
+         in collector.declarationTypePlaceholders) {
+      if (placeholder.typeNode == type) {
+        Expect.equals(requiresVar, placeholder.requiresVar);
+        return true;
+      }
+    }
+    return false;
+  }
+
+  collector.collect(mainElement,
+      compiler.enqueuer.resolution.resolvedElements[mainElement]);
+  VariableDefinitions localVarNode = mainNode.body.statements.nodes.head;
+  Expect.isTrue(
+      collectorHasDeclarationTypePlaceholder(localVarNode.type, true));
+
+  FunctionElement fooElement = compiler.mainApp.find(new SourceString('foo'));
+  collector.collect(fooElement,
+      compiler.enqueuer.resolution.resolvedElements[fooElement]);
+  FunctionExpression fooNode = fooElement.cachedNode;
+  Expect.isTrue(
+      collectorHasDeclarationTypePlaceholder(fooNode.returnType, false));
+  VariableDefinitions fooParamNode = fooNode.parameters.nodes.head;
+  Expect.isTrue(
+      collectorHasDeclarationTypePlaceholder(fooParamNode.type, false));
+
+  VariableElement globalFieldElement =
+      compiler.mainApp.find(new SourceString('globalfield'));
+  collector.collect(globalFieldElement, new leg.TreeElementMapping());
+  VariableDefinitions globalFieldNode = globalFieldElement.variables.cachedNode;
+  Expect.isTrue(
+      collectorHasDeclarationTypePlaceholder(globalFieldNode.type, true));
+
+  globalFieldElement = compiler.mainApp.find(
+      new SourceString('globalconstfield'));
+  collector.collect(globalFieldElement, new leg.TreeElementMapping());
+  globalFieldNode = globalFieldElement.variables.cachedNode;
+  Expect.isTrue(
+      collectorHasDeclarationTypePlaceholder(globalFieldNode.type, false));
+}
+
 main() {
   testSignedConstants();
   testGenericTypes();
   testForLoop();
   testEmptyList();
   testClosure();
   testIndexedOperatorDecl();
   testNativeMethods();
   testPrefixIncrements();
   testConstModifier();
@@ skipping 21 matching lines @@
   testTypeVariablesAreRenamed();
   testClassTypeArgumentBound();
   testDoubleMains();
   testInterfaceDefaultAnotherLib();
   testStaticAccessIoLib();
   testLocalFunctionPlaceholder();
   testMinification();
   testClosureLocalsMinified();
   testParametersMinified();
   testTypeVariablesInDifferentLibraries();
+  testDeclarationTypePlaceholders();
 }