Export (0) Print
Expand All
This topic has not yet been rated - Rate this topic


The ValidElementsConst property specifies either the number of elements of an array or a buffer pointed to by a pointer that can be legally read. This property is allowed on Pre and Post attributes and can be applied to pointer or array data types. The value of this property is a constant of type size_t.

To specify valid elements that depend on another parameter to the function, use the ValidElements property.

The following code shows how to use the ValidElementsConst property:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElementsConst=4) ] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElementsConst=4) ] char *pc);
Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback

Community Additions

© 2014 Microsoft. All rights reserved.