example_008.aadl.out 487 Bytes
Newer Older
1
example_008.aadl:12:19: warning: no support provided for annex language error_model
2
3
4
example_008.aadl:14:15: warning: negative exponent in integer literal
example_008.aadl:10:29: Sampling::Sample (entity reference) qualified reference name not found in 'with' statements of Test (package specification) 
example_008.aadl:11:32: Sampling::Sample (entity reference) qualified reference name not found in 'with' statements of Test (package specification) 
5
Cannot analyze AADL specifications