Summary
The property tester distinguishes AADL package from property sets by fully loading the resource.
Expected and Current Behavior
The property tester should do the minimum amount of work necessary, i.e., read the start of the file and check if the first word after whitespace and comments is package or property.
Currently it fully processes the AADL file (parsing, linking, validation), which leads to processing all referenced AADL files, too.
Environment
- OSATE Version: 2.6.0
- Operating System: all
Summary
The property tester distinguishes AADL package from property sets by fully loading the resource.
Expected and Current Behavior
The property tester should do the minimum amount of work necessary, i.e., read the start of the file and check if the first word after whitespace and comments is
packageorproperty.Currently it fully processes the AADL file (parsing, linking, validation), which leads to processing all referenced AADL files, too.
Environment