[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [hibachi-dev] Hibachi Plans Questions
|
> Yes, part of SPARK is annotations in comments. And yes, making some
> modifications to the grammar would make it possible to parse those
> annotations. I will also say that SPARK isn't just the addition of
> annotations in comments - it also is a subset of Ada such that analysis
> is easier.
Ah, so it's a bit more in the language also? Not just a subset of Ada
but also language extensions?
In this case, maybe a separate grammar. ANTLR v3 does have provisions
for hierarchical grammars, like inheritance, although I'm not sure if
this is the best way for you.
> I am unfamiliar with ASIS so I can't answer the question. What were you
> thinking would be the connection between SPARK, ASIS, and the need to
> resolve symbols in translation?
ASIS can be used as the internal AST for an Ada compiler. AdaCore
actually implements ASIS on the side of GNAT as an interface into the
compiler, as this is also allowed as I understand it (I'm not all that
up to date with ASIS either). But using ASIS would provide access into
the actual compiler, thus giving you access to the symbol tables if
required. Incorporating this into an Eclipse plug-in might be what you
want in this case.
Luke.
