Adds typechecking of return values

frog/member.dart

 // Copyright (c) 2011, 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.
 
 /** A formal parameter to a [Method]. */
 class Parameter {
   FormalNode definition;
 
   String name;
   Type type;
@@ skipping 106 matching lines @@
 
   // TODO(jmesserly): these only makes sense on methods, but because of
   // ConcreteMember we need to support them on Member.
   bool get isConst() => false;
   bool get isFactory() => false;
 
   bool get prefersPropertySyntax() => true;
   bool get requiresFieldSyntax() => false;
 
   bool get isNative() => false;
-  String get constructorName() =>
-      world.internalError('can not be a constructor', span);
+  String get constructorName() {
+    world.internalError('can not be a constructor', span);
+  }
 
   void provideFieldSyntax() => world.internalError('can not be field', span);
   void providePropertySyntax() =>
       world.internalError('can not be property', span);
 
-  Definition get initDelegate() =>
-      world.internalError('cannot have initializers', span);
-  Definition set initDelegate(ctor) =>
-      world.internalError('cannot have initializers', span);
+  Definition get initDelegate() {
+    world.internalError('cannot have initializers', span);
+  }
+  Definition set initDelegate(ctor) {
+    world.internalError('cannot have initializers', span);
+  }
 
   Definition get definition() => null;
 
   List<Parameter> get parameters() => [];
 
   // TODO(jmesserly): isDynamic isn't a great name for this, something better?
   abstract Value _get(MethodGenerator context, Node node, Value target,
       [bool isDynamic]);
 
   abstract Value _set(MethodGenerator context, Node node, Value target,
@@ skipping 127 matching lines @@
       world.error('field can not override anything but property',
         span, other.span);
       return false;
     }
   }
 
   bool get prefersPropertySyntax() => false;
   bool get requiresFieldSyntax() => isNative;
 
   void provideFieldSyntax() {} // Nothing to do.
-  void providePropertySyntax() => _providePropertySyntax = true;
+  void providePropertySyntax() { _providePropertySyntax = true; }
 
   FieldMember(String name, Type declaringType, this.definition, this.value)
       : super(name, declaringType), isNative = false;
 
   SourceSpan get span() => definition == null ? null : definition.span;
 
   Type get returnType() => type;
 
   bool get canGet() => true;
   bool get canSet() => !isFinal;
@@ skipping 118 matching lines @@
 
   // TODO(jimhug): What is the right span for this beast?
   SourceSpan get span() => getter != null ? getter.span : null;
 
   bool get canGet() => getter != null;
   bool get canSet() => setter != null;
 
   bool get prefersPropertySyntax() => true;
   bool get requiresFieldSyntax() => false;
 
-  void provideFieldSyntax() => _provideFieldSyntax = true;
+  void provideFieldSyntax() { _provideFieldSyntax = true; }
   void providePropertySyntax() {}// Nothing to do.
 
   // TODO(jimhug): Union of getter and setters sucks!
   bool get isStatic() => getter == null ? setter.isStatic : getter.isStatic;
 
   bool get isProperty() => true;
 
   Type get returnType() {
     return getter == null ? setter.returnType : getter.returnType;
   }
@@ skipping 272 matching lines @@
       if (p.isOptional && p.name == name) {
         return i;
       }
     }
     return -1;
   }
 
   bool get prefersPropertySyntax() => true;
   bool get requiresFieldSyntax() => false;
 
-  void provideFieldSyntax() => _provideFieldSyntax = true;
-  void providePropertySyntax() => _providePropertySyntax = true;
+  void provideFieldSyntax() { _provideFieldSyntax = true; }
+  void providePropertySyntax() { _providePropertySyntax = true; }
 
   Value _set(MethodGenerator context, Node, Value target, Value value,
       [bool isDynamic=false]) {
     world.error('can not set method', definition.span);
   }
 
   Value _get(MethodGenerator context, Node node, Value target,
       [bool isDynamic=false]) {
     // TODO(jimhug): Would prefer to invoke!
     declaringType.genMethod(this);
@@ skipping 842 matching lines @@
   }
 
   void forEach(void f(Member member)) {
     factories.forEach((_, Map constructors) {
       constructors.forEach((_, Member member) {
         f(member);
       });
     });
   }
 }