[PATCH v4 5/6] include: Add size and length annotations for IVector(View) and IIterator method params.

[Vibhav Pant]

From: Vibhav Pant

---
 include/windows.foundation.collections.idl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/include/windows.foundation.collections.idl b/include/windows.foundation.collections.idl
index 2a8fd55be7d..1c381d087f3 100644
--- a/include/windows.foundation.collections.idl
+++ b/include/windows.foundation.collections.idl
@@ -150,7 +150,7 @@ cpp_quote("#endif")
                 [propget] HRESULT Current([out, retval] T *value);
                 [propget] HRESULT HasCurrent([out, retval] boolean *value);
                 HRESULT MoveNext([out, retval] boolean *value);
-                HRESULT GetMany([in] UINT32 items_size, [out] T *items, [out, retval] UINT32 *value);
+                HRESULT GetMany([in] UINT32 items_size, [out, size_is(items_size), length_is(*value)] T *items, [out, retval] UINT32 *value);
             }

[
@@ -252,7 +252,7 @@ cpp_quote("#endif")
                 HRESULT GetAt([in] UINT32 index, [out, retval] T *value);
                 [propget] HRESULT Size([out, retval] UINT32 *value);
                 HRESULT IndexOf([in, optional] T element, [out] UINT32 *index, [out, retval] BOOLEAN *value);
-                HRESULT GetMany([in] UINT32 start_index, [in] UINT32 items_size, [out] T *items, [out, retval] UINT32 *value);
+                HRESULT GetMany([in] UINT32 start_index, [in] UINT32 items_size, [out, size_is(items_size), length_is(*value)] T *items, [out, retval] UINT32 *value);
             }

[
@@ -272,8 +272,8 @@ cpp_quote("#endif")
                 HRESULT Append([in, optional] T value);
                 HRESULT RemoveAtEnd();
                 HRESULT Clear();
-                HRESULT GetMany([in] UINT32 start_index, [in] UINT32 items_size, [out] T *items, [out, retval] UINT32 *value);
-                HRESULT ReplaceAll([in] UINT32 count, [in] T *items);
+                HRESULT GetMany([in] UINT32 start_index, [in] UINT32 items_size, [out, size_is(items_size), length_is(*value)] T *items, [out, retval] UINT32 *value);
+                HRESULT ReplaceAll([in] UINT32 count, [in, size_is(count)] T *items);
             }

[