search

OpenAADL / ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
http://www.openaadl.org
Other
64 stars 29 forks source link

error when processing options #20

Closed juli1 closed 9 years ago

juli1 commented 9 years ago

When procesing options, I got a different behavior if I use one or several files.

  1. Example, I am using /home/julien/local/bin/ocarina -k no-assert -k deos -f -aadlv2 -g pok_c -r node.impl /home/julien/git/examples/core-examples/arinc653-basic/model.aadl Then, ocarina work as expected
  2. If I specified more than one file: [julien@akira]/home/julien/wip/pok/examples/arinc653-threads#/home/julien/local/bin/ocarina -k no-assert -k deos -aadlv2 -g pok_c -r node.impl /home/julien/wip/runtime-osate/Plugin_Resources/ARINC653.aadl /home/julien/git/examples/core-examples/arinc653-basic/model.aadl /home/julien/wip/runtime-osate/Plugin_Resources/Data_Model.aadl Cannot find file deos

There is an error (see output)

yoogx commented 9 years ago

Please try the following work around: put as last switch a switch without parameter, e.g. -f Review comment in ocarina_cmd.adb, line 1176 for an embryo of an explanation. I need to think about a better way for this bug. Probably the best option is to add one predicate that AADL files finish with .aadl

juli1 commented 9 years ago

I stil have the issue. Invoking the following command: /home/julien/local/bin/ocarina -k no-assert -k deos -g pok_c -r node.impl /home/julien/wip/runtime-osate/Plugin_Resources/ARINC653.aadl /home/julien/git/examples/core-examples/arinc653-basic/model.aadl /home/julien/wip/runtime-osate/Plugin_Resources/Data_Model.aadl -aadlv2

The output is: Cannot find file deos

juli1 commented 9 years ago

In fact, it happens everytime I have mor ethan one file. For example, considering the following example /home/julien/local/bin/ocarina -aadlv2 -g deos_conf -r node.impl /home/julien/wip/runtime-osate/Plugin_Resources/Data_Model.aadl /home/julien/wip/runtime-osate/Plugin_Resources/ARINC653.aadl /home/julien/git/examples/core-examples/arinc653-basic/model.aadl

The result is: Cannot find file node.impl

Now, consider the following line: /home/julien/local/bin/ocarina -aadlv2 -g deos_conf -r node.impl -f /home/julien/git/examples/core-examples/arinc653-basic/model.aadl I am using -f to get the ARINC653 property set for the model. Then, everything runs fine.

The model can be found on https://github.com/osate/examples/blob/master/core-examples/arinc653-basic/model.aadl