anchor.diff:          PORT_OPTION,
           help: "[port] the port on which the server will listen");
       parser.addOption(SDK_OPTION, help: "[path] the path to the sdk");
  +    parser.addFlag(
  +        NO_ERROR_NOTIFICATION,
  +        help: "disable sending all analysis error notifications to the server (not yet implemented)",
  +        defaultsTo: false,
  +        negatable: false);
   
       ArgResults results = parser.parse(args);
       if (results[HELP_OPTION]) {
  
positive.code:    * TODO(paulberry): get rid of this once the 'analysis.updateSdks' request is
     * operational.
     */
    static const String SDK_OPTION = 'sdk';
  
    SocketServer socketServer;
  
  
negative.code:   /**
     * The name of the application that is used to start a server.
     */
    static const BINARY_NAME = "server";
  
    /**
     * The name of the option used to enable instrumentation.
  