Switch-implementation.

frog/leg/elements/elements.dart

Index: frog/leg/elements/elements.dart
diff --git a/frog/leg/elements/elements.dart b/frog/leg/elements/elements.dart
index 7c527ebdc9ba18df1d38e9e8803afd31c4d86d2a..e60e0c9a39dbd2116072ff6187f8ee8b67edf73e 100644
--- a/frog/leg/elements/elements.dart
+++ b/frog/leg/elements/elements.dart
@@ -861,5 +861,15 @@ class StatementElement extends Element {
     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;
+}