Questions tagged [asis]

The Ada Semantic Interface Specification (ASIS) is an interface between an Ada environment (as defined by ISO/IEC 8652:1995) and any tool requiring information from this environment. An Ada environment includes valuable semantic and syntactic information.

The Ada Semantic Interface Specification (ASIS) is an interface between an Ada environment (as defined by ISO/IEC 8652:1995) and any tool requiring information from this environment. An Ada environment includes valuable semantic and syntactic information.

5 questions
3
votes
1 answer

How can I find the `'First` and `'Last` expressions for a string field in a record using ASIS

I'm using ASIS to analyse a big Ada project. One of the things I need to do is to find the 'First and 'Last expressions for a string field in a record variable. My problem occurs when I have a Discrete_Range, which is not…
2
votes
4 answers

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

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…
1
vote
1 answer

List of Child Elements of a Element in ASIS(Ada Semantics interface Specification)

I am implementing a simple tool using ASIS(Ada Semantics interface Specifications). I am having problem with listing child elements in a given Elements.for example i am having assignment statement as C := A + B; i am able to get the…
0
votes
2 answers

How do I compile ASIS for GNAT on 7.4?

I've downloaded the code from the repository here, and have run the make command after reading the README file (which is quite long, so I probably missed some things in it). I'm getting a build error, the source of which is not altogether clear. The…
theMayer
  • 15,456
  • 7
  • 58
  • 90
0
votes
2 answers

comparing of mix,max values of two sub types in Ada using ASIS

I want to compare min, max of values of two subtypes. In Ada language it is possible to assign between two different subtypes, for example procedure Example_1 is subtype Type_1 is Integer range 0 .. 10; subtype Type_2 is Integer range 0 ..…