Juliano Cardoso / circusRefine

save-open.html 2.77 KB
edit raw blame history 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
<html>
<head>
    <title>CRefine</title>
    <link rel="stylesheet" type="text/css" href="../../style.css" />

</head>

<body>

<table>
    <tr height="10">
      <td>
      </td>
    </tr>
    <tr>
      <td class="tituloAzul">
        Salvar/Abrir Desenvolvimento
      </td>
    </tr>
    <tr>
      <td class="grande" width="500">
        <br>
               <div align="justify"> A qualquer momento de um refinamento, o usuário tem a opção de salvá-lo. Para isto,
               basta clicar no menu Desenvolvimento e escolher a opcao Salvar ou
               Salvar como. Ou ainda, apenas clicar no botão <img border =
                "0" src="../../../images/save.gif" align="center">
               <br>

               <br>
               <br>
               <img border = "0" src="../images/save.jpg" align="center">
               <br>
               <br>

                A dialog box will be displayed asking the user the file name and the directory in which the development
                must be save in. The development will be saved in .xml format.

               <br>
               <br>
               <img border = "0" src="../images/save2.jpg" align="center">
               <br>
               <br>
               
               In order to open a saved refinement in CRefine, we may chose the Open option in the development
               menu or click in the <img border =
                "0" src="../../../images/open.gif" align="center"> button. 
                After opening the saved file, 
                
                Ao abrir um
                arquivo salvo, CRefine will check compatibility between the file and the tool version.
                
               <br>
               <br>
               <img border = "0" src="../images/open.jpg" align="center">
               <br>
               <br>
                
                A dialog box that is similar to the Save one will be exhibited; it request the selection
                of a .xml file containing the development to be open. After choosing the file, the development
                is loaded into the tool; the progress is displayed using a progress bar.
                
               <br>
               <br>
               <img border = "0" src="../images/loading.jpg" align="center">
               <br>
               <br>
                
                After loading the development, all the windows are updated: Development, Proof Obligations, and Code. The user may now continue the development.

               <br>
               <br>
               <img border = "0" src="../images/openedfile.jpg" align="center">
               <br>
               <br>

               </div>
      </td>
    </tr>
</table>


</body>

</html>