CRefine

Desfazer/Refazer Passos de Desenvolvimento

Durante algum passo de refinamento, o usuário equivocadamente pode ter aplicado uma lei errada ou ter feito algum comentário inapropriado ou ter definido um valor errado para uma Obrigação de prova. Enfim, CRefine oferece mecanismos de desfazer as ultimas ações realizadas no refinamento. Para tal, clica-se no menu Editar e seleciona a opção Desfazer. Ou através do botão .
Dependendo da ação que será desfeita a funcionalidade do desfazer irá ocasionar atualizações nas janelas: Desenvolvimento, Código e OBrigação de Prova. Ela também poderá modificar o ComboBox das Ações/Processos a serem coletados.
CRefine também permite as funcionalidades de Desfazer/Refazer, em termos do programa que foi carregado. Esta virtude ajuda ao usuário a voltar todo o desenvolvimento de um refinamento antigo relembrando e analisando cada passo. Analogamente, para refazermos uma ação desfeita, podemos clicar no menu Editar e então, selecionar a opção Refazer. Ou clicar no botão .
A funcionalidade refazer provoca as mesmas atualizações que a ação correspondente gera em sua aplicação original. Assim, as janelas da GUI podem ser atualizadas, bem como as opções de termos para Coleta.
Em caso de uma nova ação ser realizada durante a desfeita de alguma outra ação, tais ações não poderão ser mais refeitas.