Propriedades de anotação

Cada instância de um atributo Pre ou Post especifica um conjunto de propriedades para o parâmetro anotado ou valor de retorno em um nível específico de dereferência.

A tabela a seguir lista propriedades que podem ser expressas como um parâmetro para os atributos Pre e Post.

Nesta seção

Seções relacionadas

Diretrizes para escrever código seguro

Detectar e corrigir defeitos de código em C/C++