search

OpenAADL / osate2-ocarina

Ocarina Plugin for OSATE2
Eclipse Public License 2.0
7 stars 3 forks source link

Passing REAL files as parameters #4

Closed yoogx closed 12 years ago

yoogx commented 12 years ago

REAL has two ways of operation 1/ either is is embedded as part of the AADL model 2/ or it is embedded as separate files

1/ is supported natively, we need a way to do 2/. Options are either a) to select them from the workspace, b) pass them as empty AADL packages with REAL annex clauses, and then with' the AADL package with theorem on which you depend.

What could be a valid option form a user perspective?

philip-alldredge commented 12 years ago

Are you referring to passing .real files via the "-real_lib" flag? If so, I would opt for implementing the simplest solution and then refining it based on any feedback we get from any users. From my perspective, I would like the plugin to pass in all the ".real" automatically when checking REAL theorems. Do you see any issues with this approach? Adding the ability to selectively enable specific real files(my interpretation of "a)") may be something to look into if there is a need. Thoughts?

yoogx commented 12 years ago

Yes, I meant passing .real files via the -real_lib flag. If you look at the AADLib project, I pass already all REAL files, it is not a big deal, so it could be done this way. Is there a simple way to retrieve all files that match a particular regexp in a workspace?

philip-alldredge commented 12 years ago

I have updated the plugin so that CheckREALTheoremsHandler now passes in all the .real files in the workspace.

I do not know if there is a standard eclipse way to find all the files in a workspace that match a regexp. The helper function I wrote that does it is located in Utils.java. CheckREALTheoremsHandler is an example usage.

yoogx commented 12 years ago

Many thanks!