Where is the AADL xtext file?

[Steve Vestal]

Can someone point me to the xtext file(s) with the AADL grammar?  Section C.2 of the AADL standard summarizes the grammar.  What format are those statements in (e.g., EBNF?), and is that available in a machine-readable file (devoid of the headers, footers, and brief comments)?

[Philip Alldredge]

https://github.com/osate/osate2/blob/master/core/org.osate.xtext.aadl2/src/org/osate/xtext/aadl2/Aadl2.xtext

Philip Alldredge

Principal Research Engineer

Autonomous Aerospace Research / Rotorcraft Systems Engineering & Simulation Center

University of Alabama in Huntsville

VBH A-12

Office: 256-824-4837

Email: Philip.A...@uah.edu

CUI Email: philip.a...@rce.uah.edu

On Wed, Nov 13, 2024 at 9:08 AM 'Steve Vestal' via OSATE <os...@googlegroups.com> wrote:

Can someone point me to the xtext file(s) with the AADL grammar?  Section C.2 of the AADL standard summarizes the grammar.  What format are those statements in (e.g., EBNF?), and is that available in a machine-readable file (devoid of the headers, footers, and brief comments)?

--
You received this message because you are subscribed to the Google Groups "OSATE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to osate+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/osate/3b9f6b1c-f903-4006-b2fc-ad97ef31a534n%40googlegroups.com.

[Brian Larson]

Steve,

Because Xtext does not avail the full pred-LL(*) grammar of ANTLR, users are forced to define a *larger* language and then narrow down to the intended language with Xtext validations.

I put together AADL syntax cards in LaTeX.  Perhaps they will be useful for your need.

--Brian