使用ASIS进行Ada源代码修改（Ada Semantics接口规范）

作者: 樱花弄๑•ั็•็
发布时间: 2025-01-15 09:26:44 (6天前)
转自：

5 条回复

0#
回复此人
1号 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> ASIS并非旨在进行类似的修改。但是你可以看看 <a href="https://github.com/AdaCore/libadalang" rel="nofollow noreferrer"> libadalang </A> 从AdaCore，它支持这个（并在部分源上工作，所以你不必预编译你的源） </p> </DIV>

编辑
1#
回复此人
biu~额 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 为了你的目的，你不应该的<strong> 改写 </强> 您正在处理的源文本。您应该编写一个新程序，该程序仅包含所需的声明和赋值。 </p> <P> 所以输出应该是这样的： </p> <pre class="lang-ada prettyprint-override"> <code> with Type_Declarations; procedure Test_Driver is begin declare C : Type_Declarations.C_Type; begin C := Type_Declarations."+" (Type_Declarations.A_Type'First, Type_Declarations.B_Type'First); C := Type_Declarations."+" (Type_Declarations.A_Type'First, Type_Declarations.B_Type'Last); C := Type_Declarations."+" (Type_Declarations.A_Type'Last, Type_Declarations.B_Type'First); C := Type_Declarations."+" (Type_Declarations.A_Type'Last, Type_Declarations.B_Type'Last); end; end Test_Driver; </code> </pre> </DIV>

编辑
2#
回复此人
谦成 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 如果您想要一个可以对Ada源代码进行修改的工具，您可能会对我们感兴趣 <a href="http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html?site=StackOverflow" rel="nofollow noreferrer"> DMS软件再造工具包 </A> 凭借其Ada前端。 </p> <P> DMS将源代码解析为AST，并使用DMS的抽象语法树过程接口（直接在树节点进行黑客攻击）和/或使这些AST可用于修改 <a href="https://www.semanticdesigns.com/Products/DMS/DMSRewriteRules.html?site=StackOverflow" rel="nofollow noreferrer"> DMS的重写规则（源到源转换“，如果你看到的话 <EM> 这个 </EM> 替换它 <EM> 那 </EM> “用[Ada]语言表面语法编写 </A> ，直接操纵树木。完成更改后，DMS可以对源进行重新打印以重新生成有效的Ada源代码，甚至可以保留那些尚未修改的地方的注释和格式。 </p> </DIV>

编辑
3#
回复此人
别烦我 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> GNAT包括实用程序 <code> gnat2xml </code> 和 <code> xml2gnat </code> ; <code> gnat2xml </code> 根据ASIS生成源代码，并且 <code> xml2gnat </code> 将它转换回Ada。您可以修改第一个的XML输出并将其反馈给第二个。 </p> <P> 不是我推荐这个; XML模式没有记录，并且很复杂。 </p> </DIV>

编辑

登录后才能参与评论