Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Exception when formatting code which context annex which doesn't support IFormatter2 #1401

philip-alldredge opened this issue Jul 24, 2018 · 0 comments


Copy link

If an AADL model references an annex whose formatter doesn't support the IFormatter2 interface, an error occurs during formatting.

Not sure if this is considered an AGREE issue or an OSATE issue. However, this error did not occur in earlier versions of OSATE. Not sure when it was introduced.

Steps to Reproduce

  1. Create an AADL model that uses an annex that doesn't implement IFormatter2 such as AGREE
  2. Open the source file.
  3. Select Source->Format
package format_issue
annex agree {**const test_constant : bool = true;**} ;

	system top
		annex agree {**
guarantee "Test Guarantee" : true;**} ;
	end top ;
end format_issue;


  • OSATE Version: Latest develop.
  • Operating System: Windows.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet

No branches or pull requests

2 participants