ValidBytesConst

The ValidBytesConst property specifies the number of bytes 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 only be applied to pointer or array data types.

The value of this property is a constant of type size_t. To specify a number of readable bytes that depends on another parameter to the function, use the ValidBytes property.

Example

The following code shows how to use the ValidBytesConst property:

// C 
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesConst=2)] char *pc); 
 -or-
void f([SA_Pre(ValidBytesConst=2)][SA_Post(ValidBytesConst=4)] char *pc);
-or-
void f([SA_Pre(ValidBytesConst=2), SA_Post(ValidBytesConst=4)] char *pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytesConst=2)] char*pc); 
 -or-
void f([Pre(ValidBytesConst=2)][Post(ValidBytesConst=4)] char *pc); 
 -or-
void f([Pre(ValidBytesConst=2), Post(ValidBytesConst=4)] char *pc);

See Also

Concepts

Annotation Overview

Other Resources

Annotation Properties