



I currently use Gnat 1.35np and GtkAda-2.2.0. If I upgrade from Windows 98SEto Windows XP will all Ada things continute to work correctly. Will myexisting Ada programs produces under 98SE still work under XP?Thanks in advance....
Here is an excerpt of my code. Every function works as it should, theprogram is set up correct, and the correct values are being passed toall functions.The idea of the program is perform arithmetic on arbitrarily longintegers that are inputted as strings using the paper and pencilapproach (digit...
Consider the following source file:filename.adbprocedure unitname isbeginend unitname;Compiling it gives a warning:filename.adb:1:11: warning: file name does not match unit name, shouldbe "unitname.adb"And generates the files:filename.alifilename.oThe question is: is there a gcc switch or GNAT p...
Is it possible to specify range constraints for subprogram parameters?E.g., if you want to require a floating point value in the range [0,1].Thanks,...
Hi,While learning Ada I have found the following problem.It is possible to define a task within some procedure, like here:procedure Hello istask SomeTask is-- some entriesend SomeTask;task body SomeTask isbegin-- (2)end SomeTask;begin-- (1)end Hello;At some point I decided to use a protected obj...
HiAssuming the following declarations:type T is ;function F return T is ;I'm a bit uncertain about the difference of the following declarations:V1 : T := F;V2 : T renames F;I'd like to see an explanation of the effect of an object renamingdeclaration versus variable declaration and ini...
I got this error message "type declaration cannot refer to itself" whencompiling the record below.type Node isrecordValue : Integer := 0;Next : access Node;end record;I have the impression that this feature has not been implemented basedon this error. What do you guys think?AV...
apologies if you receive multiple copies of this e-mail. FIRST CALL FR PARTICIPATINFourth International Symposium onFormal Methods for Components and(FMC 2005)DATES 1 - 4 November 2005PLACE CWI, Amsterdam, The NetherlandsRegistration form and more information at the FMC sitePRELIMINARY PRGRAMTu...
Hi all,I've been puzzling for a little bit over a good way to filter outunwanted characters from a string. In particular, I have an unboundedstring and want to filter out of it all characters not in 'a''z','A''Z', '0''9'. So far I&...
I am mostly C++ and Java programmer and during mmy new project i cameacross Ada and IDE Apex. I have also tried GPS for GNAT and Adaand my question is such : is there any environment wich could show codecomlpetion for ada sources, documentation for code or any info whilewriting code? I saw Aonix...
Hi -In #higher , in thesection on functor signatures, I'm trying to understand why the "fct"keyword is needed in:structure F : fct X : S1 -fct Y : S2 -sig (* *) endie could this not just be written as:structure F : (X : S1) -(Y : S2) -sig (* *) endespecially since the fct keyword can alread...
Ninth Italian Conference onTheoretical Computer Science (ICTCS'05)Certosa di Pontignano (Siena), Italy 12 - 14, 2005http://ictcs05.dsmi.unisi.itCall for PartecipationThe Ninth Italian Conference on Theoretical ComputerScience will take place at the Certosa di Pontignano(Siena), Italy.There...
