Incluindo Asserções

Esse procedimento descreve como incluir uma Asserção.

Você pode incluir asserções tanto nos terminais como nas políticas. São fornecidas cinco categorias de asserção no formulário de opções do drop-down Asserção.

Para incluir uma Asserção

  1. Clique em Incluir.
  2. Selecione a asserção no diálogo Seleção de Árvores Filtradas na janela pop-up Selecionar Tipo de Asserção.
  3. Após selecionar o tipo de asserção, será apresentado um diálogo do editor de asserções. Selecione Necessário se desejar que a asserção seja sempre verdadeira e Bloqueada se não desejar que o valor da asserção seja alterado.
  4. Insira os valores de propriedade desejados. Isso incluirá a asserção como um registro na tabela sob a categoria.
  5. Repita o processo para incluir mais asserções.

Navegação

Navegue até o Editor de Política/Terminal e acesse a guia Contrato/Asserções na parte inferior do Editor.

Conceitos relacionados
Implementando o Sinalizador de Asserções
Trabalhando com o Assertion Type Editor
Referências relacionadas
Configurando uma Listagem de Asserção