Next: ocarina-config, Previous: AADL Scenario Files, Up: Using Ocarina
This commnad is a 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 -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