Incluindo Asserções

Esse procedimento descreve como incluir uma asserção.

Por Que e Quando Desempenhar Esta Tarefa

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

Para incluir uma asserção, conclua as seguintes etapas:

  1. Clique em Incluir.
  2. Selecione a asserção na caixa de 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, você será apresentado a um diálogo do editor de asserção. Selecione Necessário se desejar que a asserção sempre seja verdadeira. Selecione Bloqueado se não deseja que o valor da asserção seja alterado.
  4. Digite os valores de propriedade apropriados. Isso incluirá a asserção como um registro na tabela sob a categoria.
  5. Repita esse processo para incluir mais asserções.
Resultados

Navegação

Navegue até o editor da política ou terminal e acesse a guia Contrato/Asserções na parte inferior do editor.

Conceitos relacionados
Configurando uma Listagem de Asserções
Implementando um Sinalizador de Asserções
Trabalhando com o Editor de Tipo de Asserção