Redo allocationprofile options

runtime/vm/json_stream.h

 // Copyright (c) 2013, 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.
 
 #ifndef VM_JSON_STREAM_H_
 #define VM_JSON_STREAM_H_
 
 #include "include/dart_api.h"  // for Dart_Port
 #include "platform/json.h"
 #include "vm/allocation.h"
@@ skipping 38 matching lines @@
   intptr_t num_options() const { return num_options_; }
   const char* GetOptionKey(intptr_t i) const {
     return option_keys_[i];
   }
   const char* GetOptionValue(intptr_t i) const {
     return option_values_[i];
   }
 
   const char* LookupOption(const char* key) const;
 
+  bool HasOption(const char* key) const;
+
+  // Returns true if there is an option with key and value, false
+  // otherwise.
+  bool OptionIs(const char* key, const char* value) const;
+
   const char* command() const { return command_; }
   const char** arguments() const { return arguments_; }
   const char** option_keys() const { return option_keys_; }
   const char** option_values() const { return option_values_; }
 
  private:
   void Clear();
 
   void OpenObject(const char* property_name = NULL);
   void CloseObject();
@@ skipping 125 matching lines @@
 
   friend class JSONObject;
 
   DISALLOW_ALLOCATION();
   DISALLOW_COPY_AND_ASSIGN(JSONArray);
 };
 
 }  // namespace dart
 
 #endif  // VM_JSON_STREAM_H_