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.