Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
alvis:editor [2018/05/06 12:50] marcin [Work Area] | alvis:editor [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 5: | Line 5: | ||
==== Installing ALVIS ==== | ==== Installing ALVIS ==== | ||
- | A Java 1.5 or higher | + | A Java JRE 1.7 or higher required. ALVIS runs successfully on the most recent systems with Java installed |
ALVIS home website, hosting information about current status of the project, is located a [[https:// | ALVIS home website, hosting information about current status of the project, is located a [[https:// | ||
Line 27: | Line 27: | ||
== File Menu == | == File Menu == | ||
- | * New – Creates a new empty diagram and prompt | + | * New – Creates a new empty diagram and prompt before discard current diagram |
- | * Open – Opens an existing diagram and prompt | + | * Open – Opens an existing diagram and prompt before discard current diagram |
- | * Save – Save the current diagram; | + | * Save – Saves the current diagram; |
- | * Save As . . . – Save the current diagram with a new name; | + | * Save As ... – Save the current diagram with a new name; |
- | * Export to EPS. . . – Export the current diagram into EPS formats; | + | * Export to EPS ... – Export the current diagram into the EPS format; |
- | * Page Setup - Customize | + | * Export to SVG ... – Export the current diagram into the SVG format; |
- | * Print – Print the current page (without subpages); | + | * Export to PNG ... – Export the current diagram into the PNG format; |
- | * Exit – Exit the application. | + | * Page Setup - Customizes |
+ | * Print – Prints | ||
+ | * Preferences ... – Displays the Preferences window; | ||
+ | * Exit – Exits the application. | ||
== Edit Menu == | == Edit Menu == | ||
Line 40: | Line 43: | ||
* Redo – Redoes the last undone operation; | * Redo – Redoes the last undone operation; | ||
* Cut – Cuts the selected elements to the clipboard; | * Cut – Cuts the selected elements to the clipboard; | ||
- | * Copy – Copies the elements to the clipboard; | + | * Copy – Copies the selected |
* Paste – Inserts the elements from the clipboard; | * Paste – Inserts the elements from the clipboard; | ||
* Delete – Deletes the selected elements; | * Delete – Deletes the selected elements; | ||
== View Menu == | == View Menu == | ||
- | * Page Layout | + | * Page Layout |
+ | * Antialias | ||
* Grid – Shows and hides grid; | * Grid – Shows and hides grid; | ||
- | * Ruler – Shows and hides ruler; | + | * Rulers |
- | * Zoom – Custom zoom value; | + | * Zoom in – Zooms in on the diagram; |
- | * Zoom in – Zoom in on the diagram; | + | * Zoom out – Zooms out on the diagram; |
- | * Zoom out – Zoom out on the diagram; | + | * Page – Changes |
- | * Page – Change | + | * Width - Zooms the diagram to the page width size; |
- | * Width - Zoom the diagram to widht size; | + | * Actual Size – Zooms the diagram |
- | * Actual Size – Zoom the document | + | * Outline – Shows and hides the outline; |
- | * Outline – Shows and hides outline; | + | |
== Format Menu == | == Format Menu == | ||
- | * Direct to source – Changes direction | + | * Direct to source – Changes |
- | * Direct to target – Changes direction | + | * Direct to target – Changes |
- | * Undirect – Changes | + | * Undirect – Changes |
- | * Line – Changes connection' | + | * Line – Changes |
== Alignment Menu == | == Alignment Menu == | ||
* Left – Lays out the selected elements to the left; | * Left – Lays out the selected elements to the left; | ||
- | * Center – Center | + | * Center – Centers |
* Right – Lays out the selected elements to the right; | * Right – Lays out the selected elements to the right; | ||
* Top – Lays out the selected elements to the top; | * Top – Lays out the selected elements to the top; | ||
- | * Middle – Center | + | * Middle – Centers |
* Bottom – Lays out the selected elements to the bottom. | * Bottom – Lays out the selected elements to the bottom. | ||
== Help Menu == | == Help Menu == | ||
- | * About – Shows the application’s detail information dialog. | + | * About Alvis – Shows the application’s detail information dialog. |
+ | * Generate report | ||
==== Alvis Files Format ==== | ==== Alvis Files Format ==== | ||
- | ALVIS uses XML format to store Alvis diagrams. The structure of such file is listened below: | + | ALVIS uses XML format to store Alvis diagrams. The structure of such file is defined by the following dtd: |
< | < | ||
Line 130: | Line 134: | ||
</ | </ | ||
- | XML file stores both textual and graphical layers. Every simple page of diagrams is separeted from hierachy. The graphical layer is represented by hierarchy and pages nodes. First part of stored file describes hierachy, second one describes every single | + | XML file stores both textual and graphical layers. Every simple page of diagrams is separeted from hierachy. The graphical layer is represented by hierarchy and pages nodes. First part of stored file describes hierachy, second one describes every single |
==== License ==== | ==== License ==== | ||
- | ALVIS is a free software covered by the GNU Library General Public License. The tool is being developed at AGH University of Science and Technology in Kraków, | + | ALVIS is a free software covered by the GNU Library General Public License. The tool is being developed at AGH University of Science and Technology in Kraków, |
Line 148: | Line 152: | ||
To add a new passive/ | To add a new passive/ | ||
* Click the appropriate buttons on the toolbar; | * Click the appropriate buttons on the toolbar; | ||
- | * Click on empty space in the modeled diagram and select the appropriate entry; | + | * Right-click |
New agent has a default name // | New agent has a default name // | ||
Line 288: | Line 292: | ||
==== Export model ==== | ==== Export model ==== | ||
- | The ALVIS allows for exporting diagrams into EPS format, which is helpful in documenting tested cases. To export your diagram into the format select //File > Export to EPS//. Only currently working page is being able to export into EPS format. | + | The ALVIS allows for exporting diagrams into EPS, SVG and PNG formats, which is helpful in documenting tested cases. To export your diagram into the desire |