ReactOS 0.4.15-dev-7834-g00c4b3d
specstrings.h File Reference
#include <sal.h>
#include <specstrings_strict.h>
#include <no_sal2.h>
Include dependency graph for specstrings.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define _SAL_VERSION_SAL2(_A)
 
#define _SAL_VERSION_CHECK(_A)
 
#define SAL_VERSION_CHECK(_A)   _SAL_VERSION_CHECK(_A)
 
#define SAL_VERSION_SAL2(_A)   _SAL_VERSION_SAL2(_A)
 
#define __SAL_H_FULL_VER   140050727
 
#define __inner_bound
 
#define __inner_range(lb, ub)
 
#define __inner_assume_bound_dec
 
#define __inner_assume_bound(i)
 
#define __inner_allocator
 
#define __static_context(ctx, annotes)
 
#define __failure(x)
 
#define __valueUndefined
 
#define __failureDefault(x)
 
#define __xcount(size)   __notnull __inexpressible_writableTo(size)
 
#define __in_xcount(size)   __in _Pre_ __inexpressible_readableTo(size)
 
#define __out_xcount(size)   __xcount(size) _Post_ __valid __refparam
 
#define __out_xcount_part(size, length)   __out_xcount(size) _Post_ __inexpressible_readableTo(length)
 
#define __out_xcount_full(size)   __out_xcount_part(size,size)
 
#define __inout_xcount(size)   __out_xcount(size) _Pre_ __valid
 
#define __inout_xcount_part(size, length)   __out_xcount_part(size,length) _Pre_ __valid _Pre_ __inexpressible_readableTo(length)
 
#define __inout_xcount_full(size)   __inout_xcount_part(size,size)
 
#define __xcount_opt(size)   __xcount(size) __exceptthat __maybenull
 
#define __in_xcount_opt(size)   __in_xcount(size) __exceptthat __maybenull
 
#define __out_xcount_opt(size)   __out_xcount(size) __exceptthat __maybenull
 
#define __out_xcount_part_opt(size, length)   __out_xcount_part(size,length) __exceptthat __maybenull
 
#define __out_xcount_full_opt(size)   __out_xcount_full(size) __exceptthat __maybenull
 
#define __inout_xcount_opt(size)   __inout_xcount(size) __exceptthat __maybenull
 
#define __inout_xcount_part_opt(size, length)   __inout_xcount_part(size,length) __exceptthat __maybenull
 
#define __inout_xcount_full_opt(size)   __inout_xcount_full(size) __exceptthat __maybenull
 
#define __deref_xcount(size)   __ecount(1) _Post_ __elem_readableTo(1) _Post_ __deref __notnull _Post_ __deref __inexpressible_writableTo(size)
 
#define __deref_in   __in _Pre_ __deref __deref __readonly
 
#define __deref_in_ecount(size)   __deref_in _Pre_ __deref __elem_readableTo(size)
 
#define __deref_in_bcount(size)   __deref_in _Pre_ __deref __byte_readableTo(size)
 
#define __deref_in_xcount(size)   __deref_in _Pre_ __deref __inexpressible_readableTo(size)
 
#define __deref_out_xcount(size)   __deref_xcount(size) _Post_ __deref __valid __refparam
 
#define __deref_out_xcount_part(size, length)   __deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)
 
#define __deref_out_xcount_full(size)   __deref_out_xcount_part(size,size)
 
#define __deref_out_xcount(size)   __deref_xcount(size) _Post_ __deref __valid __refparam
 
#define __inout_xcount_opt(size)   __inout_xcount(size) __exceptthat __maybenull
 
#define __inout_xcount_part_opt(size, length)   __inout_xcount_part(size,length) __exceptthat __maybenull
 
#define __inout_xcount_full_opt(size)   __inout_xcount_full(size) __exceptthat __maybenull
 
#define __deref_xcount(size)   __ecount(1) _Post_ __elem_readableTo(1) _Post_ __deref __notnull _Post_ __deref __inexpressible_writableTo(size)
 
#define __deref_in   __in _Pre_ __deref __deref __readonly
 
#define __deref_in_ecount(size)   __deref_in _Pre_ __deref __elem_readableTo(size)
 
#define __deref_in_bcount(size)   __deref_in _Pre_ __deref __byte_readableTo(size)
 
#define __deref_in_xcount(size)   __deref_in _Pre_ __deref __inexpressible_readableTo(size)
 
#define __deref_out_xcount(size)   __deref_xcount(size) _Post_ __deref __valid __refparam
 
#define __deref_out_xcount_part(size, length)   __deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)
 
#define __deref_out_xcount_full(size)   __deref_out_xcount_part(size,size)
 
#define __deref_out_xcount(size)   __deref_xcount(size) _Post_ __deref __valid __refparam
 
#define __deref_inout_xcount(size)   __deref_inout _Pre_ __deref __inexpressible_writableTo(size) _Post_ __deref __inexpressible_writableTo(size)
 
#define __deref_inout_xcount_part(size, length)   __deref_inout_xcount(size) _Pre_ __deref __inexpressible_readableTo(length) _Post_ __deref __inexpressible_readableTo(length)
 
#define __deref_inout_xcount_full(size)   __deref_inout_xcount_part(size,size)
 
#define __deref_xcount_opt(size)   __deref_xcount(size) _Post_ __deref __exceptthat __maybenull
 
#define __deref_in_opt   __deref_in _Pre_ __deref __exceptthat __maybenull
 
#define __deref_in_opt_out   __deref_inout _Pre_ __deref __exceptthat __maybenull _Post_ __deref __notnull
 
#define __deref_in_ecount_opt(size)   __deref_in_ecount(size) _Pre_ __deref __exceptthat __maybenull
 
#define __deref_in_bcount_opt(size)   __deref_in_bcount(size) _Pre_ __deref __exceptthat __maybenull
 
#define __deref_in_xcount_opt(size)   __deref_in_xcount(size) _Pre_ __deref __exceptthat __maybenull
 
#define __deref_out_xcount_opt(size)   __deref_out_xcount(size) _Post_ __deref __exceptthat __maybenull
 
#define __deref_out_xcount_part_opt(size, length)   __deref_out_xcount_part(size,length) _Post_ __deref __exceptthat __maybenull
 
#define __deref_out_xcount_full_opt(size)   __deref_out_xcount_full(size) _Post_ __deref __exceptthat __maybenull
 
#define __deref_inout_xcount_opt(size)   __deref_inout_xcount(size) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull
 
#define __deref_inout_xcount_part_opt(size, length)   __deref_inout_xcount_part(size,length) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull
 
#define __deref_inout_xcount_full_opt(size)   __deref_inout_xcount_full(size) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull
 
#define __deref_opt_xcount(size)   __deref_xcount(size) __exceptthat __maybenull
 
#define __deref_opt_in   __deref_in __exceptthat __maybenull
 
#define __deref_opt_in_ecount(size)   __deref_in_ecount(size) __exceptthat __maybenull
 
#define __deref_opt_in_bcount(size)   __deref_in_bcount(size) __exceptthat __maybenull
 
#define __deref_opt_in_xcount(size)   __deref_in_xcount(size) __exceptthat __maybenull
 
#define __deref_opt_out_xcount(size)   __deref_out_xcount(size) __exceptthat __maybenull
 
#define __deref_opt_out_xcount_part(size, length)   __deref_out_xcount_part(size,length) __exceptthat __maybenull
 
#define __deref_opt_out_xcount_full(size)   __deref_out_xcount_full(size) __exceptthat __maybenull
 
#define __deref_opt_inout_xcount(size)   __deref_inout_xcount(size) __exceptthat __maybenull
 
#define __deref_opt_inout_xcount_part(size, length)   __deref_inout_xcount_part(size,length) __exceptthat __maybenull
 
#define __deref_opt_inout_xcount_full(size)   __deref_inout_xcount_full(size) __exceptthat __maybenull
 
#define __deref_opt_xcount_opt(size)   __deref_xcount_opt(size) __exceptthat __maybenull
 
#define __deref_opt_in_opt   __deref_in_opt __exceptthat __maybenull
 
#define __deref_opt_in_ecount_opt(size)   __deref_in_ecount_opt(size) __exceptthat __maybenull
 
#define __deref_opt_in_bcount_opt(size)   __deref_in_bcount_opt(size) __exceptthat __maybenull
 
#define __deref_opt_in_xcount_opt(size)   __deref_in_xcount_opt(size) __exceptthat __maybenull
 
#define __deref_opt_out_xcount_opt(size)   __deref_out_xcount_opt(size) __exceptthat __maybenull
 
#define __deref_opt_out_xcount_part_opt(size, length)   __deref_out_xcount_part_opt(size,length) __exceptthat __maybenull
 
#define __deref_opt_out_xcount_full_opt(size)   __deref_out_xcount_full_opt(size) __exceptthat __maybenull
 
#define __deref_opt_inout_xcount_opt(size)   __deref_inout_xcount_opt(size) __exceptthat __maybenull
 
#define __deref_opt_inout_xcount_part_opt(size, length)   __deref_inout_xcount_part_opt(size,length) __exceptthat __maybenull
 
#define __deref_opt_inout_xcount_full_opt(size)   __deref_inout_xcount_full_opt(size) __exceptthat __maybenull
 
#define __deref_in_ecount_iterator(size, incr)   __inout _Pre_ __deref __elem_readableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)
 
#define __deref_out_ecount_iterator(size, incr)   __inout _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)
 
#define __deref_inout_ecount_iterator(size, incr)   __inout _Pre_ __deref __elem_readableTo(size) _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)
 
#define __post_bcount(size)   _Post_ __byte_writableTo(size)
 
#define __post_ecount(size)   _Post_ __elem_writableTo(size)
 
#define __deref_realloc_bcount(insize, outsize)   __inout _Pre_ __deref __byte_readableTo(insize) _Post_ __deref __byte_writableTo(outsize)
 
#define __in_ecount_or_z(c)
 
#define __post_nullnullterminated
 
#define __nullnullterminated   __inexpressible_readableTo("string terminated by two nulls") __nullterminated
 
#define __post_nullnullterminated   _Post_ __inexpressible_readableTo("string terminated by two nulls") _Post_ __nullterminated
 
#define __file_parser(typ)
 
#define __file_parser_class(typ)
 
#define __file_parser_library(typ)
 
#define __source_code_content(typ)
 
#define __class_code_content(typ)
 
#define __analysis_assert(e)
 
#define __analysis_hint(hint)
 
#define __analysis_noreturn
 
#define __inner_data_source(src_raw)
 
#define __inner_this_data_source(src_raw)
 
#define __inner_out_validated(typ_raw)
 
#define __inner_this_out_validated(typ_raw)
 
#define __inner_assume_validated_dec
 
#define __inner_assume_validated(p)
 
#define __inner_transfer(formal)
 
#define __inner_encoded
 
#define __inner_adt_prop(adt, prop)
 
#define __inner_adt_add_prop(adt, prop)
 
#define __inner_adt_remove_prop(adt, prop)
 
#define __inner_adt_transfer_prop(arg)
 
#define __inner_adt_type_props(typ)
 
#define __inner_volatile
 
#define __inner_nonvolatile
 
#define __inner_possibly_notnullterminated
 
#define __inner_analysis_assume_nullterminated_dec
 
#define __inner_analysis_assume_nullterminated(x)
 
#define __field_ecount(size)   __notnull __elem_writableTo(size)
 
#define __field_bcount(size)   __notnull __byte_writableTo(size)
 
#define __field_xcount(size)   __notnull __inexpressible_writableTo(size)
 
#define __field_ecount_opt(size)   __maybenull __elem_writableTo(size)
 
#define __field_bcount_opt(size)   __maybenull __byte_writableTo(size)
 
#define __field_xcount_opt(size)   __maybenull __inexpressible_writableTo(size)
 
#define __field_ecount_part(size, init)   __notnull __elem_writableTo(size) __elem_readableTo(init)
 
#define __field_bcount_part(size, init)   __notnull __byte_writableTo(size) __byte_readableTo(init)
 
#define __field_xcount_part(size, init)   __notnull __inexpressible_writableTo(size) __inexpressible_readableTo(init)
 
#define __field_ecount_part_opt(size, init)   __maybenull __elem_writableTo(size) __elem_readableTo(init)
 
#define __field_bcount_part_opt(size, init)   __maybenull __byte_writableTo(size) __byte_readableTo(init)
 
#define __field_xcount_part_opt(size, init)   __maybenull __inexpressible_writableTo(size) __inexpressible_readableTo(init)
 
#define __field_ecount_full(size)   __field_ecount_part(size,size)
 
#define __field_bcount_full(size)   __field_bcount_part(size,size)
 
#define __field_xcount_full(size)   __field_xcount_part(size,size)
 
#define __field_ecount_full_opt(size)   __field_ecount_part_opt(size,size)
 
#define __field_bcount_full_opt(size)   __field_bcount_part_opt(size,size)
 
#define __field_xcount_full_opt(size)   __field_xcount_part_opt(size,size)
 
#define __field_nullterminated   __nullterminated
 
#define __struct_bcount(size)   __byte_writableTo(size)
 
#define __struct_xcount(size)   __inexpressible_writableTo(size)
 
#define __out_awcount(expr, size)
 
#define __in_awcount(expr, size)
 
#define __post_invalid   _Post_ __notvalid
 
#define __allocator   __inner_allocator
 
#define __deallocate(kind)   _Pre_ __notnull __post_invalid
 
#define __deallocate_opt(kind)   _Pre_ __maybenull __post_invalid
 
#define __bound   __inner_bound
 
#define __range(lb, ub)   __inner_range(lb,ub)
 
#define __in_bound   _Pre_ __inner_bound
 
#define __out_bound   _Post_ __inner_bound
 
#define __deref_out_bound   _Post_ __deref __inner_bound
 
#define __in_range(lb, ub)   _Pre_ __inner_range(lb,ub)
 
#define __out_range(lb, ub)   _Post_ __inner_range(lb,ub)
 
#define __deref_in_range(lb, ub)   _Pre_ __deref __inner_range(lb,ub)
 
#define __deref_out_range(lb, ub)   _Post_ __deref __inner_range(lb,ub)
 
#define __deref_inout_range(lb, ub)   __deref_in_range(lb,ub) __deref_out_range(lb,ub)
 
#define __field_range(lb, ub)   __range(lb,ub)
 
#define __field_data_source(src_sym)   __inner_data_source(#src_sym)
 
#define __range_max(a, b)   __range(==, a > b ? a : b)
 
#define __range_min(a, b)   __range(==, a < b ? a : b)
 
#define __in_data_source(src_sym)   _Pre_ __inner_data_source(#src_sym)
 
#define __out_data_source(src_sym)   _Post_ __inner_data_source(#src_sym)
 
#define __out_validated(typ_sym)   __inner_out_validated(#typ_sym)
 
#define __this_out_data_source(src_sym)   __inner_this_data_source(#src_sym)
 
#define __this_out_validated(typ_sym)   __inner_this_out_validated(#typ_sym)
 
#define __transfer(formal)   _Post_ __inner_transfer(formal)
 
#define __rpc_entry   __inner_control_entrypoint(RPC)
 
#define __kernel_entry   __inner_control_entrypoint(UserToKernel)
 
#define __gdi_entry   __inner_control_entrypoint(GDI)
 
#define __encoded_pointer   __inner_encoded
 
#define __encoded_array   __inner_encoded
 
#define __field_encoded_pointer   __inner_encoded
 
#define __field_encoded_array   __inner_encoded
 
#define __out_has_type_adt_props(typ)   /* nothing */
 
#define __deref_volatile   __deref __volatile
 
#define __deref_nonvolatile   __deref __nonvolatile
 
#define __analysis_assume_nullterminated(x)   __inner_analysis_assume_nullterminated(x)
 
#define __assume_validated(p)   __inner_assume_validated(p)
 
#define __assume_bound(i)   __inner_assume_bound(i)
 
#define _Unreferenced_parameter_   _Const_
 
#define _Frees_ptr_   _Pre_notnull_ _Post_ptr_invalid_
 
#define _Frees_ptr_opt_   _Pre_maybenull_ _Post_ptr_invalid_
 
#define _In_NLS_string_(size)
 
#define _Flt_CompletionContext_Outptr_
 
#define _Flt_ConnectionCookie_Outptr_
 
#define _Writes_and_advances_ptr_(size)
 
#define _Writes_bytes_and_advances_ptr_(size)
 
#define _Post_equals_last_error_   _Post_satisfies_(_Curr_ != 0)
 
#define __ANNOTATION(fun)   /* fun */
 
#define __PRIMOP(type, fun)
 

Macro Definition Documentation

◆ __allocator

#define __allocator   __inner_allocator

Definition at line 325 of file specstrings.h.

◆ __analysis_assert

#define __analysis_assert (   e)

Definition at line 259 of file specstrings.h.

◆ __analysis_assume_nullterminated

#define __analysis_assume_nullterminated (   x)    __inner_analysis_assume_nullterminated(x)

Definition at line 384 of file specstrings.h.

◆ __analysis_hint

#define __analysis_hint (   hint)

Definition at line 260 of file specstrings.h.

◆ __analysis_noreturn

#define __analysis_noreturn

Definition at line 262 of file specstrings.h.

◆ __ANNOTATION

#define __ANNOTATION (   fun)    /* fun */

Definition at line 525 of file specstrings.h.

◆ __assume_bound

#define __assume_bound (   i)    __inner_assume_bound(i)

Definition at line 386 of file specstrings.h.

◆ __assume_validated

#define __assume_validated (   p)    __inner_assume_validated(p)

Definition at line 385 of file specstrings.h.

◆ __bound

#define __bound   __inner_bound

Definition at line 330 of file specstrings.h.

◆ __class_code_content

#define __class_code_content (   typ)

Definition at line 258 of file specstrings.h.

◆ __deallocate

#define __deallocate (   kind)    _Pre_ __notnull __post_invalid

Definition at line 327 of file specstrings.h.

◆ __deallocate_opt

#define __deallocate_opt (   kind)    _Pre_ __maybenull __post_invalid

Definition at line 328 of file specstrings.h.

◆ __deref_in [1/2]

Definition at line 137 of file specstrings.h.

◆ __deref_in [2/2]

Definition at line 137 of file specstrings.h.

◆ __deref_in_bcount [1/2]

#define __deref_in_bcount (   size)    __deref_in _Pre_ __deref __byte_readableTo(size)

Definition at line 139 of file specstrings.h.

◆ __deref_in_bcount [2/2]

#define __deref_in_bcount (   size)    __deref_in _Pre_ __deref __byte_readableTo(size)

Definition at line 139 of file specstrings.h.

◆ __deref_in_bcount_opt

#define __deref_in_bcount_opt (   size)    __deref_in_bcount(size) _Pre_ __deref __exceptthat __maybenull

Definition at line 152 of file specstrings.h.

◆ __deref_in_ecount [1/2]

#define __deref_in_ecount (   size)    __deref_in _Pre_ __deref __elem_readableTo(size)

Definition at line 138 of file specstrings.h.

◆ __deref_in_ecount [2/2]

#define __deref_in_ecount (   size)    __deref_in _Pre_ __deref __elem_readableTo(size)

Definition at line 138 of file specstrings.h.

◆ __deref_in_ecount_iterator

#define __deref_in_ecount_iterator (   size,
  incr 
)    __inout _Pre_ __deref __elem_readableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

Definition at line 183 of file specstrings.h.

◆ __deref_in_ecount_opt

#define __deref_in_ecount_opt (   size)    __deref_in_ecount(size) _Pre_ __deref __exceptthat __maybenull

Definition at line 151 of file specstrings.h.

◆ __deref_in_opt

Definition at line 149 of file specstrings.h.

◆ __deref_in_opt_out

Definition at line 150 of file specstrings.h.

◆ __deref_in_range

#define __deref_in_range (   lb,
  ub 
)    _Pre_ __deref __inner_range(lb,ub)

Definition at line 337 of file specstrings.h.

◆ __deref_in_xcount [1/2]

Definition at line 140 of file specstrings.h.

◆ __deref_in_xcount [2/2]

Definition at line 140 of file specstrings.h.

◆ __deref_in_xcount_opt

#define __deref_in_xcount_opt (   size)    __deref_in_xcount(size) _Pre_ __deref __exceptthat __maybenull

Definition at line 153 of file specstrings.h.

◆ __deref_inout_ecount_iterator

#define __deref_inout_ecount_iterator (   size,
  incr 
)    __inout _Pre_ __deref __elem_readableTo(size) _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

Definition at line 185 of file specstrings.h.

◆ __deref_inout_range

#define __deref_inout_range (   lb,
  ub 
)    __deref_in_range(lb,ub) __deref_out_range(lb,ub)

Definition at line 339 of file specstrings.h.

◆ __deref_inout_xcount

◆ __deref_inout_xcount_full

#define __deref_inout_xcount_full (   size)    __deref_inout_xcount_part(size,size)

Definition at line 147 of file specstrings.h.

◆ __deref_inout_xcount_full_opt

Definition at line 159 of file specstrings.h.

◆ __deref_inout_xcount_opt

Definition at line 157 of file specstrings.h.

◆ __deref_inout_xcount_part

◆ __deref_inout_xcount_part_opt

Definition at line 158 of file specstrings.h.

◆ __deref_nonvolatile

#define __deref_nonvolatile   __deref __nonvolatile

Definition at line 378 of file specstrings.h.

◆ __deref_opt_in

#define __deref_opt_in   __deref_in __exceptthat __maybenull

Definition at line 161 of file specstrings.h.

◆ __deref_opt_in_bcount

#define __deref_opt_in_bcount (   size)    __deref_in_bcount(size) __exceptthat __maybenull

Definition at line 163 of file specstrings.h.

◆ __deref_opt_in_bcount_opt

#define __deref_opt_in_bcount_opt (   size)    __deref_in_bcount_opt(size) __exceptthat __maybenull

Definition at line 174 of file specstrings.h.

◆ __deref_opt_in_ecount

#define __deref_opt_in_ecount (   size)    __deref_in_ecount(size) __exceptthat __maybenull

Definition at line 162 of file specstrings.h.

◆ __deref_opt_in_ecount_opt

#define __deref_opt_in_ecount_opt (   size)    __deref_in_ecount_opt(size) __exceptthat __maybenull

Definition at line 173 of file specstrings.h.

◆ __deref_opt_in_opt

#define __deref_opt_in_opt   __deref_in_opt __exceptthat __maybenull

Definition at line 172 of file specstrings.h.

◆ __deref_opt_in_xcount

#define __deref_opt_in_xcount (   size)    __deref_in_xcount(size) __exceptthat __maybenull

Definition at line 164 of file specstrings.h.

◆ __deref_opt_in_xcount_opt

#define __deref_opt_in_xcount_opt (   size)    __deref_in_xcount_opt(size) __exceptthat __maybenull

Definition at line 175 of file specstrings.h.

◆ __deref_opt_inout_xcount

#define __deref_opt_inout_xcount (   size)    __deref_inout_xcount(size) __exceptthat __maybenull

Definition at line 168 of file specstrings.h.

◆ __deref_opt_inout_xcount_full

#define __deref_opt_inout_xcount_full (   size)    __deref_inout_xcount_full(size) __exceptthat __maybenull

Definition at line 170 of file specstrings.h.

◆ __deref_opt_inout_xcount_full_opt

#define __deref_opt_inout_xcount_full_opt (   size)    __deref_inout_xcount_full_opt(size) __exceptthat __maybenull

Definition at line 181 of file specstrings.h.

◆ __deref_opt_inout_xcount_opt

#define __deref_opt_inout_xcount_opt (   size)    __deref_inout_xcount_opt(size) __exceptthat __maybenull

Definition at line 179 of file specstrings.h.

◆ __deref_opt_inout_xcount_part

#define __deref_opt_inout_xcount_part (   size,
  length 
)    __deref_inout_xcount_part(size,length) __exceptthat __maybenull

Definition at line 169 of file specstrings.h.

◆ __deref_opt_inout_xcount_part_opt

#define __deref_opt_inout_xcount_part_opt (   size,
  length 
)    __deref_inout_xcount_part_opt(size,length) __exceptthat __maybenull

Definition at line 180 of file specstrings.h.

◆ __deref_opt_out_xcount

#define __deref_opt_out_xcount (   size)    __deref_out_xcount(size) __exceptthat __maybenull

Definition at line 165 of file specstrings.h.

◆ __deref_opt_out_xcount_full

#define __deref_opt_out_xcount_full (   size)    __deref_out_xcount_full(size) __exceptthat __maybenull

Definition at line 167 of file specstrings.h.

◆ __deref_opt_out_xcount_full_opt

#define __deref_opt_out_xcount_full_opt (   size)    __deref_out_xcount_full_opt(size) __exceptthat __maybenull

Definition at line 178 of file specstrings.h.

◆ __deref_opt_out_xcount_opt

#define __deref_opt_out_xcount_opt (   size)    __deref_out_xcount_opt(size) __exceptthat __maybenull

Definition at line 176 of file specstrings.h.

◆ __deref_opt_out_xcount_part

#define __deref_opt_out_xcount_part (   size,
  length 
)    __deref_out_xcount_part(size,length) __exceptthat __maybenull

Definition at line 166 of file specstrings.h.

◆ __deref_opt_out_xcount_part_opt

#define __deref_opt_out_xcount_part_opt (   size,
  length 
)    __deref_out_xcount_part_opt(size,length) __exceptthat __maybenull

Definition at line 177 of file specstrings.h.

◆ __deref_opt_xcount

#define __deref_opt_xcount (   size)    __deref_xcount(size) __exceptthat __maybenull

Definition at line 160 of file specstrings.h.

◆ __deref_opt_xcount_opt

#define __deref_opt_xcount_opt (   size)    __deref_xcount_opt(size) __exceptthat __maybenull

Definition at line 171 of file specstrings.h.

◆ __deref_out_bound

#define __deref_out_bound   _Post_ __deref __inner_bound

Definition at line 334 of file specstrings.h.

◆ __deref_out_ecount_iterator

#define __deref_out_ecount_iterator (   size,
  incr 
)    __inout _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

Definition at line 184 of file specstrings.h.

◆ __deref_out_range

#define __deref_out_range (   lb,
  ub 
)    _Post_ __deref __inner_range(lb,ub)

Definition at line 338 of file specstrings.h.

◆ __deref_out_xcount [1/4]

#define __deref_out_xcount (   size)    __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount [2/4]

#define __deref_out_xcount (   size)    __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount [3/4]

#define __deref_out_xcount (   size)    __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount [4/4]

#define __deref_out_xcount (   size)    __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount_full [1/2]

#define __deref_out_xcount_full (   size)    __deref_out_xcount_part(size,size)

Definition at line 143 of file specstrings.h.

◆ __deref_out_xcount_full [2/2]

#define __deref_out_xcount_full (   size)    __deref_out_xcount_part(size,size)

Definition at line 143 of file specstrings.h.

◆ __deref_out_xcount_full_opt

#define __deref_out_xcount_full_opt (   size)    __deref_out_xcount_full(size) _Post_ __deref __exceptthat __maybenull

Definition at line 156 of file specstrings.h.

◆ __deref_out_xcount_opt

#define __deref_out_xcount_opt (   size)    __deref_out_xcount(size) _Post_ __deref __exceptthat __maybenull

Definition at line 154 of file specstrings.h.

◆ __deref_out_xcount_part [1/2]

#define __deref_out_xcount_part (   size,
  length 
)    __deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)

Definition at line 142 of file specstrings.h.

◆ __deref_out_xcount_part [2/2]

#define __deref_out_xcount_part (   size,
  length 
)    __deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)

Definition at line 142 of file specstrings.h.

◆ __deref_out_xcount_part_opt

#define __deref_out_xcount_part_opt (   size,
  length 
)    __deref_out_xcount_part(size,length) _Post_ __deref __exceptthat __maybenull

Definition at line 155 of file specstrings.h.

◆ __deref_realloc_bcount

Definition at line 190 of file specstrings.h.

◆ __deref_volatile

#define __deref_volatile   __deref __volatile

Definition at line 377 of file specstrings.h.

◆ __deref_xcount [1/2]

◆ __deref_xcount [2/2]

◆ __deref_xcount_opt

Definition at line 148 of file specstrings.h.

◆ __encoded_array

#define __encoded_array   __inner_encoded

Definition at line 358 of file specstrings.h.

◆ __encoded_pointer

#define __encoded_pointer   __inner_encoded

Definition at line 357 of file specstrings.h.

◆ __failure

#define __failure (   x)

Definition at line 102 of file specstrings.h.

◆ __failureDefault

#define __failureDefault (   x)

Definition at line 104 of file specstrings.h.

◆ __field_bcount

#define __field_bcount (   size)    __notnull __byte_writableTo(size)

Definition at line 289 of file specstrings.h.

◆ __field_bcount_full

#define __field_bcount_full (   size)    __field_bcount_part(size,size)

Definition at line 305 of file specstrings.h.

◆ __field_bcount_full_opt

#define __field_bcount_full_opt (   size)    __field_bcount_part_opt(size,size)

Definition at line 309 of file specstrings.h.

◆ __field_bcount_opt

#define __field_bcount_opt (   size)    __maybenull __byte_writableTo(size)

Definition at line 293 of file specstrings.h.

◆ __field_bcount_part

#define __field_bcount_part (   size,
  init 
)    __notnull __byte_writableTo(size) __byte_readableTo(init)

Definition at line 297 of file specstrings.h.

◆ __field_bcount_part_opt

#define __field_bcount_part_opt (   size,
  init 
)    __maybenull __byte_writableTo(size) __byte_readableTo(init)

Definition at line 301 of file specstrings.h.

◆ __field_data_source

#define __field_data_source (   src_sym)    __inner_data_source(#src_sym)

Definition at line 341 of file specstrings.h.

◆ __field_ecount

#define __field_ecount (   size)    __notnull __elem_writableTo(size)

Definition at line 288 of file specstrings.h.

◆ __field_ecount_full

#define __field_ecount_full (   size)    __field_ecount_part(size,size)

Definition at line 304 of file specstrings.h.

◆ __field_ecount_full_opt

#define __field_ecount_full_opt (   size)    __field_ecount_part_opt(size,size)

Definition at line 308 of file specstrings.h.

◆ __field_ecount_opt

#define __field_ecount_opt (   size)    __maybenull __elem_writableTo(size)

Definition at line 292 of file specstrings.h.

◆ __field_ecount_part

#define __field_ecount_part (   size,
  init 
)    __notnull __elem_writableTo(size) __elem_readableTo(init)

Definition at line 296 of file specstrings.h.

◆ __field_ecount_part_opt

#define __field_ecount_part_opt (   size,
  init 
)    __maybenull __elem_writableTo(size) __elem_readableTo(init)

Definition at line 300 of file specstrings.h.

◆ __field_encoded_array

#define __field_encoded_array   __inner_encoded

Definition at line 360 of file specstrings.h.

◆ __field_encoded_pointer

#define __field_encoded_pointer   __inner_encoded

Definition at line 359 of file specstrings.h.

◆ __field_nullterminated

#define __field_nullterminated   __nullterminated

Definition at line 312 of file specstrings.h.

◆ __field_range

#define __field_range (   lb,
  ub 
)    __range(lb,ub)

Definition at line 340 of file specstrings.h.

◆ __field_xcount

#define __field_xcount (   size)    __notnull __inexpressible_writableTo(size)

Definition at line 290 of file specstrings.h.

◆ __field_xcount_full

#define __field_xcount_full (   size)    __field_xcount_part(size,size)

Definition at line 306 of file specstrings.h.

◆ __field_xcount_full_opt

#define __field_xcount_full_opt (   size)    __field_xcount_part_opt(size,size)

Definition at line 310 of file specstrings.h.

◆ __field_xcount_opt

#define __field_xcount_opt (   size)    __maybenull __inexpressible_writableTo(size)

Definition at line 294 of file specstrings.h.

◆ __field_xcount_part

Definition at line 298 of file specstrings.h.

◆ __field_xcount_part_opt

Definition at line 302 of file specstrings.h.

◆ __file_parser

#define __file_parser (   typ)

Definition at line 254 of file specstrings.h.

◆ __file_parser_class

#define __file_parser_class (   typ)

Definition at line 255 of file specstrings.h.

◆ __file_parser_library

#define __file_parser_library (   typ)

Definition at line 256 of file specstrings.h.

◆ __gdi_entry

#define __gdi_entry   __inner_control_entrypoint(GDI)

Definition at line 356 of file specstrings.h.

◆ __in_awcount

#define __in_awcount (   expr,
  size 
)
Value:
_Pre_ __valid \
_Pre_ _Notref_ __deref __readonly \
__byte_readableTo((expr) ? (size) : (size) * 2)
GLsizeiptr size
Definition: glext.h:5919
#define _Notref_
Definition: ms_sal.h:280
#define __deref
Definition: ms_sal.h:2629
#define _Pre_
Definition: ms_sal.h:619
Definition: query.h:87

Definition at line 320 of file specstrings.h.

◆ __in_bound

#define __in_bound   _Pre_ __inner_bound

Definition at line 332 of file specstrings.h.

◆ __in_data_source

#define __in_data_source (   src_sym)    _Pre_ __inner_data_source(#src_sym)

Definition at line 348 of file specstrings.h.

◆ __in_ecount_or_z

#define __in_ecount_or_z (   c)
Value:
_When_(_String_length_(_Curr_) < (c), __in_z) \
_When_(_String_length_(_Curr_) >= (c), __in_ecount(c))
#define __in_ecount(x)
Definition: dbghelp.h:47
const GLubyte * c
Definition: glext.h:8905
#define _When_(expr, annos)
Definition: ms_sal.h:254
#define __in_z
Definition: ms_sal.h:2674

Definition at line 195 of file specstrings.h.

◆ __in_range

#define __in_range (   lb,
  ub 
)    _Pre_ __inner_range(lb,ub)

Definition at line 335 of file specstrings.h.

◆ __in_xcount

#define __in_xcount (   size)    __in _Pre_ __inexpressible_readableTo(size)

Definition at line 109 of file specstrings.h.

◆ __in_xcount_opt

#define __in_xcount_opt (   size)    __in_xcount(size) __exceptthat __maybenull

Definition at line 117 of file specstrings.h.

◆ __inner_adt_add_prop

#define __inner_adt_add_prop (   adt,
  prop 
)

Definition at line 276 of file specstrings.h.

◆ __inner_adt_prop

#define __inner_adt_prop (   adt,
  prop 
)

Definition at line 275 of file specstrings.h.

◆ __inner_adt_remove_prop

#define __inner_adt_remove_prop (   adt,
  prop 
)

Definition at line 277 of file specstrings.h.

◆ __inner_adt_transfer_prop

#define __inner_adt_transfer_prop (   arg)

Definition at line 278 of file specstrings.h.

◆ __inner_adt_type_props

#define __inner_adt_type_props (   typ)

Definition at line 279 of file specstrings.h.

◆ __inner_allocator

#define __inner_allocator

Definition at line 99 of file specstrings.h.

◆ __inner_analysis_assume_nullterminated

#define __inner_analysis_assume_nullterminated (   x)

Definition at line 284 of file specstrings.h.

◆ __inner_analysis_assume_nullterminated_dec

#define __inner_analysis_assume_nullterminated_dec

Definition at line 283 of file specstrings.h.

◆ __inner_assume_bound

#define __inner_assume_bound (   i)

Definition at line 98 of file specstrings.h.

◆ __inner_assume_bound_dec

#define __inner_assume_bound_dec

Definition at line 97 of file specstrings.h.

◆ __inner_assume_validated

#define __inner_assume_validated (   p)

Definition at line 272 of file specstrings.h.

◆ __inner_assume_validated_dec

#define __inner_assume_validated_dec

Definition at line 271 of file specstrings.h.

◆ __inner_bound

#define __inner_bound

Definition at line 95 of file specstrings.h.

◆ __inner_data_source

#define __inner_data_source (   src_raw)

Definition at line 267 of file specstrings.h.

◆ __inner_encoded

#define __inner_encoded

Definition at line 274 of file specstrings.h.

◆ __inner_nonvolatile

#define __inner_nonvolatile

Definition at line 281 of file specstrings.h.

◆ __inner_out_validated

#define __inner_out_validated (   typ_raw)

Definition at line 269 of file specstrings.h.

◆ __inner_possibly_notnullterminated

#define __inner_possibly_notnullterminated

Definition at line 282 of file specstrings.h.

◆ __inner_range

#define __inner_range (   lb,
  ub 
)

Definition at line 96 of file specstrings.h.

◆ __inner_this_data_source

#define __inner_this_data_source (   src_raw)

Definition at line 268 of file specstrings.h.

◆ __inner_this_out_validated

#define __inner_this_out_validated (   typ_raw)

Definition at line 270 of file specstrings.h.

◆ __inner_transfer

#define __inner_transfer (   formal)

Definition at line 273 of file specstrings.h.

◆ __inner_volatile

#define __inner_volatile

Definition at line 280 of file specstrings.h.

◆ __inout_xcount

#define __inout_xcount (   size)    __out_xcount(size) _Pre_ __valid

Definition at line 113 of file specstrings.h.

◆ __inout_xcount_full

#define __inout_xcount_full (   size)    __inout_xcount_part(size,size)

Definition at line 115 of file specstrings.h.

◆ __inout_xcount_full_opt [1/2]

#define __inout_xcount_full_opt (   size)    __inout_xcount_full(size) __exceptthat __maybenull

Definition at line 135 of file specstrings.h.

◆ __inout_xcount_full_opt [2/2]

#define __inout_xcount_full_opt (   size)    __inout_xcount_full(size) __exceptthat __maybenull

Definition at line 135 of file specstrings.h.

◆ __inout_xcount_opt [1/2]

#define __inout_xcount_opt (   size)    __inout_xcount(size) __exceptthat __maybenull

Definition at line 133 of file specstrings.h.

◆ __inout_xcount_opt [2/2]

#define __inout_xcount_opt (   size)    __inout_xcount(size) __exceptthat __maybenull

Definition at line 133 of file specstrings.h.

◆ __inout_xcount_part

Definition at line 114 of file specstrings.h.

◆ __inout_xcount_part_opt [1/2]

#define __inout_xcount_part_opt (   size,
  length 
)    __inout_xcount_part(size,length) __exceptthat __maybenull

Definition at line 134 of file specstrings.h.

◆ __inout_xcount_part_opt [2/2]

#define __inout_xcount_part_opt (   size,
  length 
)    __inout_xcount_part(size,length) __exceptthat __maybenull

Definition at line 134 of file specstrings.h.

◆ __kernel_entry

#define __kernel_entry   __inner_control_entrypoint(UserToKernel)

Definition at line 355 of file specstrings.h.

◆ __nullnullterminated

#define __nullnullterminated   __inexpressible_readableTo("string terminated by two nulls") __nullterminated

Definition at line 206 of file specstrings.h.

◆ __out_awcount

#define __out_awcount (   expr,
  size 
)
Value:
_Pre_ __notnull \
__byte_writableTo((expr) ? (size) : (size) * 2) \
#define _Post_
Definition: ms_sal.h:620
#define __valid
Definition: ms_sal.h:2620
#define __refparam
Definition: ms_sal.h:2640

Definition at line 317 of file specstrings.h.

◆ __out_bound

#define __out_bound   _Post_ __inner_bound

Definition at line 333 of file specstrings.h.

◆ __out_data_source

#define __out_data_source (   src_sym)    _Post_ __inner_data_source(#src_sym)

Definition at line 349 of file specstrings.h.

◆ __out_has_type_adt_props

#define __out_has_type_adt_props (   typ)    /* nothing */

Definition at line 375 of file specstrings.h.

◆ __out_range

#define __out_range (   lb,
  ub 
)    _Post_ __inner_range(lb,ub)

Definition at line 336 of file specstrings.h.

◆ __out_validated

#define __out_validated (   typ_sym)    __inner_out_validated(#typ_sym)

Definition at line 350 of file specstrings.h.

◆ __out_xcount

#define __out_xcount (   size)    __xcount(size) _Post_ __valid __refparam

Definition at line 110 of file specstrings.h.

◆ __out_xcount_full

#define __out_xcount_full (   size)    __out_xcount_part(size,size)

Definition at line 112 of file specstrings.h.

◆ __out_xcount_full_opt

#define __out_xcount_full_opt (   size)    __out_xcount_full(size) __exceptthat __maybenull

Definition at line 120 of file specstrings.h.

◆ __out_xcount_opt

#define __out_xcount_opt (   size)    __out_xcount(size) __exceptthat __maybenull

Definition at line 118 of file specstrings.h.

◆ __out_xcount_part

#define __out_xcount_part (   size,
  length 
)    __out_xcount(size) _Post_ __inexpressible_readableTo(length)

Definition at line 111 of file specstrings.h.

◆ __out_xcount_part_opt

#define __out_xcount_part_opt (   size,
  length 
)    __out_xcount_part(size,length) __exceptthat __maybenull

Definition at line 119 of file specstrings.h.

◆ __post_bcount

#define __post_bcount (   size)    _Post_ __byte_writableTo(size)

Definition at line 187 of file specstrings.h.

◆ __post_ecount

#define __post_ecount (   size)    _Post_ __elem_writableTo(size)

Definition at line 188 of file specstrings.h.

◆ __post_invalid

#define __post_invalid   _Post_ __notvalid

Definition at line 323 of file specstrings.h.

◆ __post_nullnullterminated [1/2]

#define __post_nullnullterminated

Definition at line 209 of file specstrings.h.

◆ __post_nullnullterminated [2/2]

#define __post_nullnullterminated   _Post_ __inexpressible_readableTo("string terminated by two nulls") _Post_ __nullterminated

Definition at line 209 of file specstrings.h.

◆ __PRIMOP

#define __PRIMOP (   type,
  fun 
)

Definition at line 527 of file specstrings.h.

◆ __range

#define __range (   lb,
  ub 
)    __inner_range(lb,ub)

Definition at line 331 of file specstrings.h.

◆ __range_max

#define __range_max (   a,
  b 
)    __range(==, a > b ? a : b)

Definition at line 343 of file specstrings.h.

◆ __range_min

#define __range_min (   a,
  b 
)    __range(==, a < b ? a : b)

Definition at line 344 of file specstrings.h.

◆ __rpc_entry

#define __rpc_entry   __inner_control_entrypoint(RPC)

Definition at line 354 of file specstrings.h.

◆ __SAL_H_FULL_VER

#define __SAL_H_FULL_VER   140050727

Definition at line 59 of file specstrings.h.

◆ __source_code_content

#define __source_code_content (   typ)

Definition at line 257 of file specstrings.h.

◆ __static_context

#define __static_context (   ctx,
  annotes 
)

Definition at line 101 of file specstrings.h.

◆ __struct_bcount

#define __struct_bcount (   size)    __byte_writableTo(size)

Definition at line 314 of file specstrings.h.

◆ __struct_xcount

#define __struct_xcount (   size)    __inexpressible_writableTo(size)

Definition at line 315 of file specstrings.h.

◆ __this_out_data_source

#define __this_out_data_source (   src_sym)    __inner_this_data_source(#src_sym)

Definition at line 351 of file specstrings.h.

◆ __this_out_validated

#define __this_out_validated (   typ_sym)    __inner_this_out_validated(#typ_sym)

Definition at line 352 of file specstrings.h.

◆ __transfer

#define __transfer (   formal)    _Post_ __inner_transfer(formal)

Definition at line 353 of file specstrings.h.

◆ __valueUndefined

#define __valueUndefined

Definition at line 103 of file specstrings.h.

◆ __xcount

Definition at line 108 of file specstrings.h.

◆ __xcount_opt

#define __xcount_opt (   size)    __xcount(size) __exceptthat __maybenull

Definition at line 116 of file specstrings.h.

◆ _Flt_CompletionContext_Outptr_

#define _Flt_CompletionContext_Outptr_
Value:
_At_(*_Curr_, _Pre_null_ \
@ FLT_PREOP_SUCCESS_WITH_CALLBACK
Definition: fltkernel.h:573
@ FLT_PREOP_SYNCHRONIZE
Definition: fltkernel.h:578
#define _Outptr_result_maybenull_
Definition: ms_sal.h:428
#define _Pre_null_
Definition: ms_sal.h:682
#define _Post_null_
Definition: ms_sal.h:704

Definition at line 419 of file specstrings.h.

◆ _Flt_ConnectionCookie_Outptr_

#define _Flt_ConnectionCookie_Outptr_
Value:
#define _On_failure_(annos)
Definition: ms_sal.h:266

Definition at line 427 of file specstrings.h.

◆ _Frees_ptr_

Definition at line 402 of file specstrings.h.

◆ _Frees_ptr_opt_

#define _Frees_ptr_opt_   _Pre_maybenull_ _Post_ptr_invalid_

Definition at line 405 of file specstrings.h.

◆ _In_NLS_string_

#define _In_NLS_string_ (   size)
Value:
_When_((size) < 0, _In_z_) \
_When_((size) >= 0, _In_reads_(size))
#define _In_z_
Definition: ms_sal.h:313
#define _In_reads_(size)
Definition: ms_sal.h:319

Definition at line 411 of file specstrings.h.

◆ _Post_equals_last_error_

#define _Post_equals_last_error_   _Post_satisfies_(_Curr_ != 0)

Definition at line 477 of file specstrings.h.

◆ _SAL_VERSION_CHECK

#define _SAL_VERSION_CHECK (   _A)

Definition at line 46 of file specstrings.h.

◆ _SAL_VERSION_SAL2

#define _SAL_VERSION_SAL2 (   _A)

Definition at line 39 of file specstrings.h.

◆ _Unreferenced_parameter_

#define _Unreferenced_parameter_   _Const_

Definition at line 396 of file specstrings.h.

◆ _Writes_and_advances_ptr_

#define _Writes_and_advances_ptr_ (   size)
Value:
_At_((void*)_Curr_, _Inout_) \
_At_(_Curr_, \
_Post_satisfies_(_Curr_ - _Old_(_Curr_) == size)) \
_At_(_Old_(_Curr_), \
#define _Post_writable_size_(size)
Definition: ms_sal.h:650
#define _Inout_
Definition: ms_sal.h:378
#define _Pre_writable_size_(size)
Definition: ms_sal.h:645
#define _At_(target, annos)
Definition: ms_sal.h:244
#define _Post_readable_size_(size)
Definition: ms_sal.h:649
#define _Post_satisfies_(cond)
Definition: ms_sal.h:588

Definition at line 450 of file specstrings.h.

◆ _Writes_bytes_and_advances_ptr_

#define _Writes_bytes_and_advances_ptr_ (   size)
Value:
_At_((void*)_Curr_, _Inout_) \
_At_(_Curr_, \
_Post_satisfies_(((char*)_Curr_) - ((void*)_Old_(_Curr_)) == size)) \
_At_(_Old_(_Curr_), \
#define _Post_readable_byte_size_(size)
Definition: ms_sal.h:651
#define _Pre_writable_byte_size_(size)
Definition: ms_sal.h:647
#define _Post_writable_byte_size_(size)
Definition: ms_sal.h:652

Definition at line 461 of file specstrings.h.

◆ SAL_VERSION_CHECK

#define SAL_VERSION_CHECK (   _A)    _SAL_VERSION_CHECK(_A)

Definition at line 50 of file specstrings.h.

◆ SAL_VERSION_SAL2

#define SAL_VERSION_SAL2 (   _A)    _SAL_VERSION_SAL2(_A)

Definition at line 51 of file specstrings.h.