How to Export

First,you must select a specification in the project panel.Suppose what you have a opened project "languages.prj" and you selected a specification "DataNotation", like the figure 1 below shows :

Figure 1

After that,go to the Tools menu and click the menu item Export ...

A dialog will appear showing the options to export your specification(s).See figure 2 below. The DataNotation specification has various sub-specifications (from Numbers to Identifier),as you see in the figure one above.In this case,DataNotation and all the sub-specifications will be exported. If you'll be select Strings specification,for instance, only this specification will be exported, because it hasn't any sub-specifications.

Figure 2

Following a brief expanation about all the funcionalities of this dialog :

Click the "OK" button to continue.If you want cancel,click "Cancel" button.

Next,one of these two cases can occur:

  1. If you'll export several specifications,a file dialog (See figure 3 below) will appear, requesting a directory where the specifications exported will be saved.Select a destination directory and click the "Select" button. If you want cancel,click "Cancel" button.

    Figure 3

    If,for instance you'll export "DataNotation" specification,a file called "DataNotation.html" (if you'll export to HTML format) or "DataNotation.tex" (if you'll export to LaTeX format) or "DataNotation.txt" (if you'll export to Palin Text format).Next, a directory called "DataNotation" will be created and all the sub-specifications(Numbers,Truth-Values,....,etc.,see figure 1 above) will be saved int this directory.

  2. If you'll export only one specification,a file dialog (See figure 4 below) will appear, requesting a filename where the specification exported will be saved.If you don't put any extension,the correct extension will be putted. Type a filename and click the "Save" button.If you want cancel,click "Cancel" button.

    Figure 4

    back