Implement cycle-checking and code generation for redirecting constructors.

frog/leg/tree/nodes.dart

Index: frog/leg/tree/nodes.dart
diff --git a/frog/leg/tree/nodes.dart b/frog/leg/tree/nodes.dart
index c787f1696274675d04932001f05e35d62ee9b480..df1c6e385ba4e040aa36f03a43e64174afea4f2b 100644
--- a/frog/leg/tree/nodes.dart
+++ b/frog/leg/tree/nodes.dart
@@ -536,6 +536,14 @@ class FunctionExpression extends Expression {
     if (returnType !== null) returnType.accept(visitor);
   }
 
+  bool hasBody() {
+    // TODO(karlklose,ahe): refactor AST nodes (issue 1713).
+    if (body.asReturn() !== null) return true;
+    NodeList statements = body.asBlock().statements;
+    return (!statements.nodes.isEmpty() ||
+            statements.getBeginToken().kind !== $SEMICOLON);
+  }
+
   Token getBeginToken() {
     Token token = firstBeginToken(modifiers, returnType);
     if (token !== null) return token;