sourceannotations.h File Reference

Go to the source code of this file.

Classes
struct	PreAttribute
struct	PostAttribute
struct	FormatStringAttribute
struct	InvalidCheckAttribute
struct	SuccessAttribute
struct	PreBoundAttribute
struct	PostBoundAttribute
struct	PreRangeAttribute
struct	PostRangeAttribute
struct	DerefAttribute
struct	NotrefAttribute
struct	AnnotesAttribute
struct	AtAttribute
struct	AtBufferAttribute
struct	WhenAttribute
struct	TypefixAttribute
struct	ContextAttribute
struct	ExceptAttribute
struct	PreOpAttribute
struct	PostOpAttribute
struct	BeginAttribute
struct	EndAttribute

Macros
#define	_SIZE_T_DEFINED
#define	_WCHAR_T_DEFINED
#define	SA(id)   SA_##id
#define	REPEATABLE

Typedefs
typedef unsigned int	size_t
typedef unsigned short	wchar_t
typedef struct PreAttribute	SA_Pre
typedef struct PreAttribute	PreAttribute
typedef struct PostAttribute	SA_Post
typedef struct PostAttribute	PostAttribute
typedef struct FormatStringAttribute	SA_FormatString
typedef struct InvalidCheckAttribute	SA_InvalidCheck
typedef struct SuccessAttribute	SA_Success
typedef struct PreBoundAttribute	SA_PreBound
typedef struct PostBoundAttribute	SA_PostBound
typedef struct PreRangeAttribute	SA_PreRange
typedef struct PostRangeAttribute	SA_PostRange
typedef struct DerefAttribute	SAL_deref
typedef struct NotrefAttribute	SAL_notref
typedef struct PreOpAttribute	SAL_pre
typedef struct PostOpAttribute	SAL_post
typedef struct ExceptAttribute	SAL_except
typedef struct AtAttribute	SAL_at
typedef struct AtBufferAttribute	SAL_at_buffer
typedef struct WhenAttribute	SAL_when
typedef struct BeginAttribute	SAL_begin
typedef struct EndAttribute	SAL_end
typedef struct TypefixAttribute	SAL_typefix
typedef struct AnnotesAttribute	SAL_annotes
typedef struct ContextAttribute	SAL_context

Functions
enum	SA (YesNoMaybe)
enum	SA (AccessType)

Macro Definition Documentation

#define _SIZE_T_DEFINED

#define _WCHAR_T_DEFINED

#define REPEATABLE

#define SA

(

id

)

SA_##id

Typedef Documentation

typedef struct PostAttribute PostAttribute

typedef struct PreAttribute PreAttribute

typedef struct FormatStringAttribute SA_FormatString

typedef struct InvalidCheckAttribute SA_InvalidCheck

typedef struct PostAttribute SA_Post

typedef struct PostBoundAttribute SA_PostBound

typedef struct PostRangeAttribute SA_PostRange

typedef struct PreAttribute SA_Pre

typedef struct PreBoundAttribute SA_PreBound

typedef struct PreRangeAttribute SA_PreRange

typedef struct SuccessAttribute SA_Success

typedef struct AnnotesAttribute SAL_annotes

typedef struct AtAttribute SAL_at

typedef struct AtBufferAttribute SAL_at_buffer

typedef struct BeginAttribute SAL_begin

typedef struct ContextAttribute SAL_context

typedef struct DerefAttribute SAL_deref

typedef struct EndAttribute SAL_end

typedef struct ExceptAttribute SAL_except

typedef struct NotrefAttribute SAL_notref

typedef struct PostOpAttribute SAL_post

typedef struct PreOpAttribute SAL_pre

typedef struct TypefixAttribute SAL_typefix

typedef struct WhenAttribute SAL_when

typedef unsigned int size_t

typedef unsigned short wchar_t

Function Documentation

enum SA

(

YesNoMaybe

)

{
        // Choose values that we can detect as invalid if they are or'd together
        SA( No ) = 0x0fff0001,
        SA( Maybe ) = 0x0fff0010,
        SA( Yes ) = 0x0fff0100
};

enum SA

(

AccessType

)

{
        SA( NoAccess ) = 0,
        SA( Read ) = 1,
        SA( Write ) = 2,
        SA( ReadWrite ) = 3
};