blocks|key|1904930|text|ASIS的设计并不是为了做出这样的修改。不过，您可以从AdaCore上查看一下AdaCore，它支持这一点(并且工作在部分源代码上，因此不必预编译源代码)。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1904931|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

ASIS was not designed to make modifications like that. You can, however take a look at <a href="https://github.com/AdaCore/libadalang" rel="nofollow noreferrer">libadalang</a> from AdaCore, which supports this (and works on partial sources, so you won't have to precompile your sources)

blocks|key|794997|text|GNAT包括实用程序gnat2xml和xml2gnat；gnat2xml基于ASIS生成源的表示，xml2gnat将其转换回Ada。您可以修改第一个文件的XML输出并将其反馈给第二个输出。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|794998|这并不是我推荐的；XML模式没有文档化，而且很复杂。|794999|entityMap^0|A|8|J|8|S|8|1D|8|0|0^^$0|@$1|2|3|4|5|6|7|J|8|@$9|K|A|L|B|C]|$9|M|A|N|B|C]|$9|O|A|P|B|C]|$9|Q|A|R|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|S|8|@]|D|@]|E|$]]|$1|H|3|-4|5|6|7|T|8|@]|D|@]|E|$]]]|I|$]]

GNAT includes utilities <code>gnat2xml</code> and <code>xml2gnat</code>; <code>gnat2xml</code> generates a representation of the source based on ASIS, and <code>xml2gnat</code> converts it back to Ada. You could maybe modify the XML output of the first and feed it back to the second.

Not that I’m recommending this; the XML schema isn’t documented, and is complicated.

blocks|key|795001|text|出于您的目的，您不应该重写您正在处理的源文本的。您应该编写一个新的程序，它只包含所需的声明和分配。|type|unstyled|depth|inlineStyleRanges|offset|length|style|BOLD|entityRanges|data|795002|所以输出应该是这样的：|795003|with+Type_Declarations;

procedure+Test_Driver+is
begin
+++declare
++++++C+:+Type_Declarations.C_Type;
+++begin
++++++C+:=+Type_Declarations."%2B"+(Type_Declarations.A_Type'First,+Type_Declarations.B_Type'First);
++++++C+:=+Type_Declarations."%2B"+(Type_Declarations.A_Type'First,+Type_Declarations.B_Type'Last);
++++++C+:=+Type_Declarations."%2B"+(Type_Declarations.A_Type'Last,+Type_Declarations.B_Type'First);
++++++C+:=+Type_Declarations."%2B"+(Type_Declarations.A_Type'Last,+Type_Declarations.B_Type'Last);
+++end;
end+Test_Driver;|code-block|syntax|javascript|795004|entityMap^0|B|C|0|0|0^^$0|@$1|2|3|4|5|6|7|O|8|@$9|P|A|Q|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|R|8|@]|D|@]|E|$]]|$1|H|3|I|5|J|7|S|8|@]|D|@]|E|$K|L]]|$1|M|3|-4|5|6|7|T|8|@]|D|@]|E|$]]]|N|$]]

For your purpose, you shouldn't rewrite the source text you are processing. You should rather write a new program, which only contains exactly the required declarations and assignments.

So the output should be something like:

<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>

blocks|key|795054|text|如果您想要一个可以将修改应用于Ada源代码的工具，您可能会对我们的DMS软件重组工具包及其Ada前端感兴趣。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|795055|DMS将源代码解析到AST，并使用DMS的抽象语法树过程接口(直接侵入树节点)和/或用[Ada]语言表面语法写的+(直接操作树)使这些AST可供修改。在进行更改之后，DMS可以打印源代码以重新生成有效的Ada源代码，甚至在未修改的地方保留注释和格式设置。|795056|entityMap|0|LINK|mutability|MUTABLE|url|http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html?site=StackOverflow|1|https://www.semanticdesigns.com/Products/DMS/DMSRewriteRules.html?site=StackOverflow^0|X|A|0|0|16|E|1|0^^$0|@$1|2|3|4|5|6|7|P|8|@]|9|@$A|Q|B|R|1|S]]|C|$]]|$1|D|3|E|5|6|7|T|8|@]|9|@$A|U|B|V|1|W]]|C|$]]|$1|F|3|-4|5|6|7|X|8|@]|9|@]|C|$]]]|G|$H|$5|I|J|K|C|$L|M]]|N|$5|I|J|K|C|$L|O]]]]

If you want a tool that can apply modifications to Ada source code, you might be interested in our <a href="http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html?site=StackOverflow" rel="nofollow noreferrer">DMS Software Reengineering Toolkit</a> with its Ada front end.

DMS parses source code to ASTs, and makes those ASTs available for modification using DMS's Abstract Syntax Tree procedural interface (direct hacking at the tree nodes) and/or <a href="https://www.semanticdesigns.com/Products/DMS/DMSRewriteRules.html?site=StackOverflow" rel="nofollow noreferrer">DMS's rewrite rules (source-to-source transformations "if you see this replace it by that" written in [Ada] language surface syntax</a>, that directly manipulates the trees. After your changes are made, DMS can prettyprint the source to regenerate valid Ada source code, even preserving comments and formatting in those places that have not been modified.

i am developing a tool for finding sub type range overflow problems in Ada source code.for this purpose i am using ASIS for finding assignment statements in Ada source code and finding type of the variables on the right side of the assignment 
expression.now i want to replace the variables(not of record type) of the assignment expression with 'first, 'last values of the variable type in the assignment statement so that i will get compilation error if any range overflow happens.below is an example what i am trying to convey.

<pre class="lang-ada prettyprint-override"><code>procedure Example is
 subtype A_Type is integer 1 .. 10;
 subtype B_Type is integer -5 .. 5;
 subtype C_Type is integer 1 .. 12;

 A : A_Type;
 B : B_Type;
 C : C_Type;
begin
 C := A + B;
end Example;
</code></pre>

I want modify <code>C := A + B;</code> with <code>C := A_Type'Last + B_Type'Last</code> in the source code. <code>C := A_Type'Last + B_Type'Last</code> assignment statement will get warning at compile time or Constraint error during run time.

Is it possible do above modifications with ASIS?

Ada Source code modifications using ASIS(Ada Semantics interface specifications)

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

我正在开发一个工具，用于在Ada源code.for中查找子类型范围溢出问题。目的是使用ASIS在Ada源代码中查找赋值语句，并在赋值expression.now的右侧查找变量类型--我想将赋值表达式中的变量(而不是记录类型)替换为赋值语句中变量类型的最后一个值，以便如果任何范围溢出happens.below都是我要传达...

问使用ASIS(Ada语义接口规范)修改Ada源代码
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问使用ASIS(Ada语义接口规范)修改Ada源代码EN