Fix generated server code to be strong mode compliant

pkg/analysis_server/lib/plugin/protocol/protocol.dart

 // Copyright (c) 2014, 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.
 
 /**
  * Support for client code that needs to interact with the requests, responses
  * and notifications that are part of the analysis server's wire protocol.
  */
 library analysis_server.plugin.protocol.protocol;
 
@@ skipping 69 matching lines @@
    * Initialize a newly created [Notification] to have the given [event] name.
    * If [_params] is provided, it will be used as the params; otherwise no
    * params will be used.
    */
   Notification(this.event, [this._params]);
 
   /**
    * Initialize a newly created instance based on the given JSON data.
    */
   factory Notification.fromJson(Map<String, Object> json) {
-    return new Notification(
-        json[Notification.EVENT], json[Notification.PARAMS]);
+    return new Notification(json[Notification.EVENT],
+        json[Notification.PARAMS] as Map<String, Object>);
   }
 
   /**
    * Return a table representing the structure of the Json object that will be
    * sent to the client to represent this response.
    */
   Map<String, Object> toJson() {
     Map<String, Object> jsonObject = {};
     jsonObject[EVENT] = event;
     if (_params != null) {
@@ skipping 85 matching lines @@
     var method = result[Request.METHOD];
     if (id is! String || method is! String) {
       return null;
     }
     var time = result[Request.CLIENT_REQUEST_TIME];
     if (time != null && time is! int) {
       return null;
     }
     var params = result[Request.PARAMS];
     if (params is Map || params == null) {
-      return new Request(id, method, params, time);
+      return new Request(id, method, params as Map<String, Object>, time);
     } else {
       return null;
     }
   }
 
   /**
    * Return a request parsed from the given [data], or `null` if the [data] is
    * not a valid json representation of a request. The [data] is expected to
    * have the following format:
    *
    *   {
    *     'clientRequestTime': millisecondsSinceEpoch
    *     'id': String,
    *     'method': methodName,
    *     'params': {
    *       paramter_name: value
    *     }
    *   }
    *
    * where both the parameters and clientRequestTime are optional.
    *
    * The parameters can contain any number of name/value pairs. The
    * clientRequestTime must be an int representing the time at which the client
    * issued the request (milliseconds since epoch).
    */
   factory Request.fromString(String data) {
     try {
       var result = JSON.decode(data);
       if (result is Map) {
-        return new Request.fromJson(result);
+        return new Request.fromJson(result as Map<String, dynamic>);
       }
       return null;
     } catch (exception) {
       return null;
     }
   }
 
   /**
    * Return a table representing the structure of the Json object that will be
    * sent to the client to represent this response.
@@ skipping 138 matching lines @@
       }
       Object error = json[Response.ERROR];
       RequestError decodedError;
       if (error is Map) {
         decodedError = new RequestError.fromJson(
             new ResponseDecoder(null), '.error', error);
       }
       Object result = json[Response.RESULT];
       Map<String, Object> decodedResult;
       if (result is Map) {
-        decodedResult = result;
+        decodedResult = result as Map<String, Object>;
       }
       return new Response(id, error: decodedError, result: decodedResult);
     } catch (exception) {
       return null;
     }
   }
 
   /**
    * Initialize a newly created instance to represent the
    * GET_ERRORS_INVALID_FILE error condition.
@@ skipping 178 matching lines @@
     jsonObject[ID] = id;
     if (error != null) {
       jsonObject[ERROR] = error.toJson();
     }
     if (_result != null) {
       jsonObject[RESULT] = _result;
     }
     return jsonObject;
   }
 }