IVE: Space-Creator shall deny functions with names that are AADL keywords
If the function has a name witch is an AADL keyword (like system or properties) or SDL keyword (like procedure), then build fails. Here's a part of output:
...
[INFO] File not found: taste.aadl
[INFO] File not found: dataview.aadl
[INFO] File not found: taste_iv_properties.aadl
[INFO] File not found: interfaceview-iv-controller.aadl
[INFO] File not found: interfaceview-iv-instrumentmanager.aadl
[INFO] File not found: interfaceview-iv-systemc.aadl
[INFO] File not found: interfaceview-iv-instrument.aadl
[INFO] Loading dependency: data_model.aadl
[INFO] Loading dependency: base_types.aadl
[INFO] Loading dependency: deployment.aadl
[INFO] Parsing Interface View
DataView.aadl:15:08: Taste (identifier) is not a package or a property set visible or existing
[ERROR] Could not analyse Interface View
make: *** [Makefile:32: work/glue_built] Error 1
make: Leaving directory '/home/taste/projects/validation-msc-prototype/example'
Exit: 2 - Normal
The error is not very descriptive. I think that space-creator should warn user about this during creation of function. In case when SDL keyword is used, then the error is different:
procedure.pr:1:9 Syntax error
process Procedure;
^__ Expected "ID", got "Procedure"
In summary some names shall be restricted.