Verify proper API use of acquire/release typed data

runtime/include/dart_api.h

 /*
  * Copyright (c) 2012, 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 INCLUDE_DART_API_H_
 #define INCLUDE_DART_API_H_
 
 /** \mainpage Dart Embedding API Reference
@@ skipping 1931 matching lines @@
 
 /**
  * Acquires access to the internal data address of a TypedData object.
  *
  * \param object The typed data object whose internal data address is to
  *    be accessed.
  * \param type The type of the object is returned here.
  * \param data The internal data address is returned here.
  * \param len Size of the typed array is returned here.
  *
- * Note: When the internal address of the object is acquired any calls to a
- *       Dart API function that could potentially allocate an object or run
- *       any Dart code will return an error.
+ * Notes:
+ *   When the internal address of the object is acquired any calls to a
+ *   Dart API function that could potentially allocate an object or run
+ *   any Dart code will return an error.
+ *
+ *   Any Dart API functions for accessing the data should not be called
+ *   before the corresponding release. In particular, the object should
+ *   not be acquired again before its release. This leads to undefined
+ *   behavior.
  *
  * \return Success if the internal data address is acquired successfully.
  *   Otherwise, returns an error handle.
  */
 DART_EXPORT Dart_Handle Dart_TypedDataAcquireData(Dart_Handle object,
                                                   Dart_TypedData_Type* type,
                                                   void** data,
                                                   intptr_t* len);
 
 /**
@@ skipping 877 matching lines @@
  * NOTE: If multiple callbacks with the same name are registered, only the
  * last callback registered will be remembered.
  */
 DART_EXPORT void Dart_RegisterRootServiceRequestCallback(
     const char* name,
     Dart_ServiceRequestCallback callback,
     void* user_data);
 
 
 #endif  /* INCLUDE_DART_API_H_ */  /* NOLINT */