Add a draft of traversing visitor which will analyse function.

lib/compiler/implementation/compiler.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.
 
 class WorkItem {
   final Element element;
   TreeElements resolutionTree;
   bool allowSpeculativeOptimization = true;
   List<HTypeGuard> guards = const <HTypeGuard>[];
 
@@ skipping 55 matching lines @@
     return generator.generateMethod(work, graph);
   }
 
   void processNativeClasses(libraries) {
     native.processNativeClasses(emitter, libraries);
   }
 
   void assembleProgram() => emitter.assembleProgram();
 }
 
+class ReachabilityVisitor implements Visitor {

[Anton Muhin, 2012/05/23 16:58:13]

I am planning to move this stuff into a separate file in a next change.  Can do
in this one too.

[Roman, 2012/05/24 09:45:48]

Any comments (dartdocs should I call them?) about this class?

[ahe, 2012/05/24 10:07:05]

Please do so.

[Anton Muhin, 2012/05/24 14:23:21]

Done.

+  visitBlock(Block node) {}
+  visitBreakStatement(BreakStatement node) {}
+  visitCascade(Cascade node) {}
+  visitCascadeReceiver(CascadeReceiver node) {}
+  visitCaseMatch(CaseMatch node) {}
+  visitCatchBlock(CatchBlock node) {}
+  visitClassNode(ClassNode node) {
+    internalError('should not reach ClassNode');
+  }
+  visitConditional(Conditional node) {}
+  visitContinueStatement(ContinueStatement node) {}
+  visitDoWhile(DoWhile node) {}
+  visitEmptyStatement(EmptyStatement node) {}
+  visitExpressionStatement(ExpressionStatement node) {}
+  visitFor(For node) {}
+  visitForIn(ForIn node) {}
+  visitFunctionDeclaration(FunctionDeclaration node) {}
+  visitFunctionExpression(FunctionExpression node) {
+    // TODO(antonm): add a closure to working queue.
+    unimplemented('FunctionExpression is not supported');
+  }
+  visitIdentifier(Identifier node) {}
+  visitIf(If node) {}
+  visitLabel(Label node) {}
+  visitLabeledStatement(LabeledStatement node) {}
+  visitLiteralBool(LiteralBool node) {}
+  visitLiteralDouble(LiteralDouble node) {}
+  visitLiteralInt(LiteralInt node) {}
+  visitLiteralList(LiteralList node) {}
+  visitLiteralMap(LiteralMap node) {}
+  visitLiteralMapEntry(LiteralMapEntry node) {}
+  visitLiteralNull(LiteralNull node) {}
+  visitLiteralString(LiteralString node) {}
+  visitModifiers(Modifiers node) {}
+  visitNamedArgument(NamedArgument node) {}
+  visitNewExpression(NewExpression node) {
+    // TODO(antonm): update set of instantiated classes.
+    unimplemented('NewExpression is not supported');
+  }
+  visitNodeList(NodeList node) {}
+  visitOperator(Operator node) {}
+  visitParenthesizedExpression(ParenthesizedExpression node) {}
+  visitReturn(Return node) {}
+  visitScriptTag(ScriptTag node) {}
+  visitSend(Send node) {
+    // TODO(antonm): update working queue.
+    unimplemented('Send is not supported');
+  }
+  visitSendSet(SendSet node) {
+    // TODO(antonm): update working queue.
+    unimplemented('SendSet is not supported');
+  }
+  visitStringInterpolation(StringInterpolation node) {}
+  visitStringInterpolationPart(StringInterpolationPart node) {}
+  visitStringJuxtaposition(StringJuxtaposition node) {}
+  visitSwitchCase(SwitchCase node) {}
+  visitSwitchStatement(SwitchStatement node) {}
+  visitThrow(Throw node) {}
+  visitTryStatement(TryStatement node) {}
+  visitTypeAnnotation(TypeAnnotation node) {}
+  visitTypedef(Typedef node) {}
+  visitTypeVariable(TypeVariable node) {}
+  visitVariableDefinitions(VariableDefinitions node) {}
+  visitWhile(While node) {}
+
+  unimplemented(String reason) {
+    throw new CompilerCancelledException('not implemented: $reason');
+  }
+
+  internalError(String reason) {
+    throw new CompilerCancelledException('internal error: $reason');
+  }
+}
+
 class DartBackend extends Backend {
-  DartBackend(Compiler compiler) : super(compiler);
+  final ReachabilityVisitor reachabilityVisitor;
+  DartBackend(Compiler compiler)
+      : reachabilityVisitor = new ReachabilityVisitor(),
+        super(compiler);
+
+  String codegen(WorkItem work) {
+    // Traverse AST to populate sets of reachable classes and functions.
+    FunctionExpression function = work.element.parseNode(compiler);
+    function.body.accept(new TraversingVisitor(reachabilityVisitor));
+  }
+
+  void processNativeClasses(libraries) {}
+  void assembleProgram() {
+    compiler.assembledCode = '';
+  }
 }
 
 class Compiler implements DiagnosticListener {
   final Map<String, LibraryElement> libraries;
   int nextFreeClassId = 0;
   World world;
   String assembledCode;
   Namer namer;
   Types types;
   final bool enableTypeAssertions;
@@ skipping 508 matching lines @@
     // invariant that endOffset > beginOffset, but for EOF the
     // charoffset of the next token may be [beginOffset]. This can
     // also happen for synthetized tokens that are produced during
     // error handling.
     final endOffset =
       Math.max((end.next !== null) ? end.next.charOffset : 0, beginOffset + 1);
     assert(endOffset > beginOffset);
     return f(beginOffset, endOffset);
   }
 }