Export diagram as image

Allows to export the component diagram as an image with different format. At the current time the following formats are supported: SVG, PNG and PDF.
The functionality can be activated (from the OCRA perspective) by the Model Navigator and the Diagram Editor.

From the Model Navigator, select the Component item and choose the Export diagram as image menu ...

Contracts Refinement Check

From the Diagram Editor, choose the Export diagram as image menu ...

Contracts Refinement Check


In the export phase is asked to select some options and the output file name.


AF-OCRA has been developed and is mantained by:
Embeded System