/* * sal.h Standard Annotation Language macros * * ========================================================================= * * Open Watcom Project * * Copyright (c) 2004-2010 The Open Watcom Contributors. All Rights Reserved. * * This file is automatically generated. Do not edit directly. * * ========================================================================= */ #ifndef _ENABLE_AUTODEPEND #pragma read_only_file; #endif #define __null #define __notnull #define __maybenull #define __readonly #define __notreadonly #define __maybereadonly #define __valid #define __notvalid #define __maybevalid #define __readableTo( x ) #define __elem_readableTo( x ) #define __byte_readableTo( x ) #define __writableTo( x ) #define __elem_writableTo( x ) #define __byte_writableTo( x ) #define __deref #define __pre #define __post #define __precond( x ) #define __postcond( x ) #define __exceptthat #define __execeptthat #define __refparam #define __inner_control_entrypoint( x ) #define __inner_data_entrypoint( x ) #define __inner_success( x ) #define __inner_checkReturn #define __inner_typefix( x ) #define __inner_override #define __inner_callback #define __inner_blocksOn( x ) #define __inner_fallthrough_dec #define __inner_fallthrough #define __ecount( x ) #define __bcount( x ) #define __in #define __in_ecount( x ) #define __in_bcount( x ) #define __in_z #define __in_ecount_z( x ) #define __in_bcount_z( x ) #define __in_nz #define __in_ecount_nz( x ) #define __in_bcount_nz( x ) #define __out #define __out_ecount( x ) #define __out_bcount( x ) #define __out_ecount_part( p1, p2 ) #define __out_bcount_part( p1, p2 ) #define __out_ecount_full( x ) #define __out_bcount_full( x ) #define __out_z #define __out_z_opt #define __out_ecount_z( x ) #define __out_bcount_z( x ) #define __out_ecount_part_z( x ) #define __out_bcount_part_z( x ) #define __out_ecount_full_z( x ) #define __out_bcount_full_z( x ) #define __out_nz #define __out_nz_opt #define __out_ecount_nz( x ) #define __out_bcount_nz( x ) #define __inout #define __inout_ecount( x ) #define __inout_bcount( x ) #define __inout_ecount_part( p1, p2 ) #define __inout_bcount_part( p1, p2 ) #define __inout_ecount_full( x ) #define __inout_bcount_full( x ) #define __inout_z #define __inout_ecount_z( x ) #define __inout_bcount_z( x ) #define __inout_nz #define __inout_ecount_nz( x ) #define __inout_bcount_nz( x ) #define __ecount_opt( x ) #define __bcount_opt( x ) #define __in_opt #define __in_ecount_opt( x ) #define __in_bcount_opt( x ) #define __in_z_opt #define __in_ecount_z_opt( x ) #define __in_bcount_z_opt( x ) #define __in_nz_opt #define __in_ecount_nz_opt( x ) #define __in_bcount_nz_opt( x ) #define __out_opt #define __out_ecount_opt( x ) #define __out_bcount_opt( x ) #define __out_ecount_part_opt( p1, p2 ) #define __out_bcount_part_opt( p1, p2 ) #define __out_ecount_full_opt( x ) #define __out_bcount_full_opt( x ) #define __out_ecount_z_opt( x ) #define __out_bcount_z_opt( x ) #define __out_ecount_part_z_opt( p1, p2 ) #define __out_bcount_part_z_opt( p1, p2 ) #define __out_ecount_full_z_opt( x ) #define __out_bcount_full_z_opt( x ) #define __out_ecount_nz_opt( x ) #define __out_bcount_nz_opt( x ) #define __inout_opt #define __inout_ecount_opt( x ) #define __inout_bcount_opt( x ) #define __inout_ecount_part_opt( p1, p2 ) #define __inout_bcount_part_opt( p1, p2 ) #define __inout_ecount_full_opt( x ) #define __inout_bcount_full_opt( x ) #define __inout_z_opt #define __inout_ecount_z_opt( x ) #define __inout_bcount_z_opt( x ) #define __inout_nz_opt #define __inout_ecount_nz_opt( x ) #define __inout_bcount_nz_opt( x ) #define __deref_ecount( x ) #define __deref_bcount( x ) #define __deref_out #define __deref_out_ecount( x ) #define __deref_out_bcount( x ) #define __deref_out_ecount_part( p1, p2 ) #define __deref_out_bcount_part( p1, p2 ) #define __deref_out_ecount_full( x ) #define __deref_out_bcount_full( x ) #define __deref_out_z #define __deref_out_ecount_z( x ) #define __deref_out_bcount_z( x ) #define __deref_out_nz #define __deref_out_ecount_nz( x ) #define __deref_out_bcount_nz( x ) #define __deref_inout #define __deref_inout_z #define __deref_inout_ecount( x ) #define __deref_inout_bcount( x ) #define __deref_inout_ecount_part( p1, p2 ) #define __deref_inout_bcount_part( p1, p2 ) #define __deref_inout_ecount_full( x ) #define __deref_inout_bcount_full( x ) #define __deref_inout_ecount_z( x ) #define __deref_inout_bcount_z( x ) #define __deref_inout_nz #define __deref_inout_ecount_nz( x ) #define __deref_inout_bcount_nz( x ) #define __deref_ecount_opt( x ) #define __deref_bcount_opt( x ) #define __deref_out_opt #define __deref_out_ecount_opt( x ) #define __deref_out_bcount_opt( x ) #define __deref_out_ecount_part_opt( p1, p2 ) #define __deref_out_bcount_part_opt( p1, p2 ) #define __deref_out_ecount_full_opt( x ) #define __deref_out_bcount_full_opt( x ) #define __deref_out_z_opt #define __deref_out_ecount_z_opt( x ) #define __deref_out_bcount_z_opt( x ) #define __deref_out_nz_opt #define __deref_out_ecount_nz_opt( x ) #define __deref_out_bcount_nz_opt( x ) #define __deref_inout_opt #define __deref_inout_ecount_opt( x ) #define __deref_inout_bcount_opt( x ) #define __deref_inout_ecount_part_opt( p1, p2 ) #define __deref_inout_bcount_part_opt( p1, p2 ) #define __deref_inout_ecount_full_opt( x ) #define __deref_inout_bcount_full_opt( x ) #define __deref_inout_z_opt #define __deref_inout_ecount_z_opt( x ) #define __deref_inout_bcount_z_opt( x ) #define __deref_inout_nz_opt #define __deref_inout_ecount_nz_opt( x ) #define __deref_inout_bcount_nz_opt( x ) #define __deref_opt_ecount( x ) #define __deref_opt_bcount( x ) #define __deref_opt_out #define __deref_opt_out_z #define __deref_opt_out_ecount( x ) #define __deref_opt_out_bcount( x ) #define __deref_opt_out_ecount_part( p1, p2 ) #define __deref_opt_out_bcount_part( p1, p2 ) #define __deref_opt_out_ecount_full( x ) #define __deref_opt_out_bcount_full( x ) #define __deref_opt_inout #define __deref_opt_inout_ecount( x ) #define __deref_opt_inout_bcount( x ) #define __deref_opt_inout_ecount_part( p1, p2 ) #define __deref_opt_inout_bcount_part( p1, p2 ) #define __deref_opt_inout_ecount_full( x ) #define __deref_opt_inout_bcount_full( x ) #define __deref_opt_inout_z #define __deref_opt_inout_ecount_z( x ) #define __deref_opt_inout_bcount_z( x ) #define __deref_opt_inout_nz #define __deref_opt_inout_ecount_nz( x ) #define __deref_opt_inout_bcount_nz( x ) #define __deref_opt_ecount_opt( x ) #define __deref_opt_bcount_opt( x ) #define __deref_opt_out_opt #define __deref_opt_out_ecount_opt( x ) #define __deref_opt_out_bcount_opt( x ) #define __deref_opt_out_ecount_part_opt( p1, p2 ) #define __deref_opt_out_bcount_part_opt( p1, p2 ) #define __deref_opt_out_ecount_full_opt( x ) #define __deref_opt_out_bcount_full_opt( x ) #define __deref_opt_out_z_opt #define __deref_opt_out_ecount_z_opt( x ) #define __deref_opt_out_bcount_z_opt( x ) #define __deref_opt_out_nz_opt #define __deref_opt_out_ecount_nz_opt( x ) #define __deref_opt_out_bcount_nz_opt( x ) #define __deref_opt_inout_opt #define __deref_opt_inout_ecount_opt( x ) #define __deref_opt_inout_bcount_opt( x ) #define __deref_opt_inout_ecount_part_opt( p1, p2 ) #define __deref_opt_inout_bcount_part_opt( p1, p2 ) #define __deref_opt_inout_ecount_full_opt( x ) #define __deref_opt_inout_bcount_full_opt( x ) #define __deref_opt_inout_z_opt #define __deref_opt_inout_ecount_z_opt( x ) #define __deref_opt_inout_bcount_z_opt( x ) #define __deref_opt_inout_nz_opt #define __deref_opt_inout_ecount_nz_opt( x ) #define __deref_opt_inout_bcount_nz_opt( x ) #define __success( x ) #define __nullterminated #define __nullnullterminated #define __reserved #define __checkReturn #define __typefix( x ) #define __override #define __callback #define __format_string #define __blocksOn( x ) #define __control_entrypoint( x ) #define __data_entrypoint( x ) #ifndef __fallthrough #define __fallthrough #endif #ifndef __analysis_assume #define __analysis_assume( x ) #endif