Next: , Previous: AADL Scenario Files, Up: Using Ocarina


4.3 ocarina

This command is an extended front-end for the functions provided by Ocarina.

Note: this script is the actual driver for the Ocarina compiler, its use is for advanced users. ocarina_sh relies on this driver to produce all-in-on model analysis and code generation

     
     Usage: ocarina [opts] files
     
       files are a non null sequence of AADL or DIA files
     
       Options:
       -v  Output Ocarina version, then exit
       -s  Output Ocarina search directory, then exit
       -f  Parse Ocarina predefined NON STANDARD property sets
       -a  Alternative legality rules. Extensions to AADL 1.0
       -c  To generate Petri Net from an intermediary tree
       -n  To generate Petri Net from the AADL instance model
       -g  To generate code from the AADL instance tree
           Registered generators:
            PolyORB-QoS-Ada
            PolyORB-HI-Ada
            PolyORB-HI-C
       -b  To also build code generated from the AADL model
       -z  To clean code generated from the AADL model
       -u  Dump the gaia tree
       -e  To only expand the AADL model
       -d  Specify output directory
       -o  Specify output file
       -p  Specify the printer to use
           Registered printers:
            aadl
            aadl_min
            aadl_tree_p
            aadl_tree_e
            dia
       -I  Specify the inclusion paths
       -q  Quiet mode, no debugging messages (default mode)
       -V  Verbose mode, display debugging messages
       -h  Hardware checking, perform hardware checking