Switch-implementation.

frog/leg/elements/elements.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.
 
 #library('elements');
 
 #import('../tree/tree.dart');
 #import('../scanner/scannerlib.dart');
 #import('../leg.dart');  // TODO(karlklose): we only need type.
 #import('../util/util.dart');
@@ skipping 843 matching lines @@
       : super(const SourceString(""), ElementKind.STATEMENT, enclosingElement);
   bool get isTarget() => isBreakTarget || isContinueTarget;
 
   LabelElement addLabel(Identifier label, String labelName) {
     LabelElement result = new LabelElement(label, labelName, this,
                                            enclosingElement);
     labels = labels.prepend(result);
     return result;
   }
 
+  String implicitLabel() => null;
+
   Node parseNode(DiagnosticListener l) => statement;

[ahe, 2012/03/09 13:58:32]

Unrelated note: I think it would be nice if you override toString and position.
Also for label element.

[Lasse Reichstein Nielsen, 2012/03/12 13:05:23]

Done.

 }
+
+class SwitchStatementElement extends StatementElement {

[Lasse Reichstein Nielsen, 2012/03/12 13:05:23]

Folded this into StatementElement, using nesting-level of statement as "unique"
key (since it's only to avoid nested labels with the same name).

+  final String uniqueId;
+  SwitchStatementElement(Statement statement, Element enclosingElement,
+                         int implicitId)
+      : uniqueId = "$implicitId", super(statement, enclosingElement);
+  String implicitLabel() => uniqueId;
+}