Win32Ada

Win32Ada

[Pascal OBRY]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 911 bytes --]


Hi (To => "Ada_Netters");

Where is the Win32Ada binding ? I have seen it one time but can't rebember
where !!!

Thanks,
Pascal.
-- 

--|------------------------------------------------------------
--| Pascal Obry                               Team-Ada Member |
--|                                                           |
--| EDF-DER-IPN-SID- Ing�nierie des Syst�mes d'Informations   |
--|                                                           |
--| Bureau G1-010             e-mail: p.obry@der.edfgdf.fr    |
--| 1 Av G�n�ral de Gaulle    voice : +33-1-47.65.50.91       |
--| 92141 Clamart CEDEX       fax   : +33-1-47.65.50.07       |
--| FRANCE                                                    |
--|------------------------------------------------------------
--|
--|   http://ourworld.compuserve.com/homepages/pascal_obry
--|
--|   "The best way to travel is by means of imagination"

Re: Win32Ada

[Robert F. Estes]

Pascal OBRY wrote:
> =

> Hi (To =3D> "Ada_Netters");
> =

> Where is the Win32Ada binding ? I have seen it one time but can't rebembe=
r
> where !!!
> =

> Thanks,
> Pascal.
> --
> =

> --|------------------------------------------------------------
> --| Pascal Obry                               Team-Ada Member |
> --|                                                           |
> --| EDF-DER-IPN-SID- Ing=E9nierie des Syst=E8mes d'Informations   |
> --|                                                           |
> --| Bureau G1-010             e-mail: p.obry@der.edfgdf.fr    |
> --| 1 Av G=E9n=E9ral de Gaulle    voice : +33-1-47.65.50.91       |
> --| 92141 Clamart CEDEX       fax   : +33-1-47.65.50.07       |
> --| FRANCE                                                    |
> --|------------------------------------------------------------
> --|
> --|   http://ourworld.compuserve.com/homepages/pascal_obry
> --|
> --|   "The best way to travel is by means of imagination"

Win32Ada is an Ada 95 binding for Windows.
Release 2.0 works with the Microsoft Win32 Application Programming Interfac=
e available on Windows NT and Windows 95. =

Win32Ada has been tested on Intel 486 and Pentium platforms using Windows N=
T 3.5, Windows NT 3.51, Windows 95, and the =

GNAT 3.01 Ada 95 compiler.

More information can be found at the following URL:
http://sw-eng.falls-church.va.us/AdaIC/source-code/bindings/win32ada/win32a=
da.html

You can download the binding sources at the following URL:
http://sw-eng.falls-church.va.us/AdaIC/source-code/bindings/win32ada/win32a=
da.zip

-- =

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Robert F. Estes
Software Engineer
NASA Langley Research Center
Space Systems and Concepts Division    =

Spacecraft and Sensors Branch		PHONE:	804.864.8279
Mail Stop 328			        FAX:	804.864.1975
Hampton, Virginia  23681-0001		EMAIL:	r.f.estes@larc.nasa.gov
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Re: Win32Ada

[Wiljan Derks]

Pascal OBRY wrote:
> 
> Hi (To => "Ada_Netters");
> 
> Where is the Win32Ada binding ? I have seen it one time but can't rebember
> where !!!
> You can find it on:
http://sw-eng.falls-church.va.us/AdaIC/source-code/bindings/win32ada/win32ada.html

Wiljan

Re: Win32Ada

[Carl J R Johansson]

Robert F. Estes (R.F.Estes@LaRC.NASA.Gov) wrote:

: Win32Ada is an Ada 95 binding for Windows.
: Release 2.0 works with the Microsoft Win32 Application Programming Interfac=
: e available on Windows NT and Windows 95. =

The installation did not work for me.

: Win32Ada has been tested on Intel 486 and Pentium platforms using Windows N=
: T 3.5, Windows NT 3.51, Windows 95, and the =

: GNAT 3.01 Ada 95 compiler.

I did use that compiler.

: More information can be found at the following URL:
: http://sw-eng.falls-church.va.us/AdaIC/source-code/bindings/win32ada/win32a=
: da.html

The page said that you needed the Win32 SDK which you have to pay
Microsoft some $100-$200 to get. 

carl.johansson@helsinki.fi




: You can download the binding sources at the following URL:
: http://sw-eng.falls-church.va.us/AdaIC/source-code/bindings/win32ada/win32a=
: da.zip

: -- =

: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
: Robert F. Estes
: Software Engineer
: NASA Langley Research Center
: Space Systems and Concepts Division    =

: Spacecraft and Sensors Branch		PHONE:	804.864.8279
: Mail Stop 328			        FAX:	804.864.1975
: Hampton, Virginia  23681-0001		EMAIL:	r.f.estes@larc.nasa.gov
: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Re: Win32Ada

[Ted Dennison]

Carl J R Johansson wrote:
> 
> Robert F. Estes (R.F.Estes@LaRC.NASA.Gov) wrote:
> 
> : Win32Ada has been tested on Intel 486 and Pentium platforms using Windows N=
> : T 3.5, Windows NT 3.51, Windows 95, and the =
> 
> : GNAT 3.01 Ada 95 compiler.
> 
> I did use that compiler.
> 
> : More information can be found at the following URL:
> : http://sw-eng.falls-church.va.us/AdaIC/source-code/bindings/win32ada/win32a=
> : da.html
> 
> The page said that you needed the Win32 SDK which you have to pay
> Microsoft some $100-$200 to get.


I hope it didn't need Win32 SDK for the linker. Last I heard Micro$oft
stopped including the linker with the Win32 SDK. You were supposed to 
buy Visual C++ to get the linker. That would be considerably more than 
$200.




-- 
T.E.D.          
                |  Work - mailto:dennison@escmail.orl.mmc.com  |
                |  Home - mailto:dennison@iag.net              |
                |  URL  - http://www.iag.net/~dennison         |

Re: Win32Ada

[Ted Dennison]

Tom Griest wrote:
> 
> for $49.95 to help solve this problem.  {It's not too cool to have
> to go out and buy a C compiler in order to use Ada!}

Speaking as one who had to explain this to his management, I can agree
wholeheartedly.

-- 
T.E.D.          
                |  Work - mailto:dennison@escmail.orl.mmc.com  |
                |  Home - mailto:dennison@iag.net              |
                |  URL  - http://www.iag.net/~dennison         |

Re: Win32Ada

[lrharris]

If you want Win32 bindings, the cheapest way is Thompson Software's $99
version of ActiveAda.  Not only do you get bindings, but also a very
good compiler and GUI editor.  They also sell a professional edition
for around $700 (I got it for a class project at the education discount
of $200).  They also have an Ada95 for Win95 development environment
that should be out before too long (i.e. this year).

Ray Harris, Chair
The University of Memphis Student Chapter of the ACM
email: harrisl@hermes.msci.memphis.edu

Renaming record discriminants.

[Felaco]

I just tried do something like the following:

   type Record_Type(Has_Value : Boolean) is
       record
         case Has_Value is
            when True =>
	        Value : Integer;
            when False =>
                null;
         end case;

   Object : Record_Type := (Has_Value => True, Value => 1);

   Discriminant : Boolean renames Object.Has_Value; -- error
   Component : Integer renames Object.Value; -- error

(there may be a typo or something in there, this is off the top of my head)

The Intermetrics compiler I am using complains that:
Object.Has_Value depends on discriminants of an unconstrained formal 
parameter with default discriminants [RM_95 8.5.1(5)]

RM_95 8.5.1(5) reads:
   The renamed entity shall not be a subcomponent that depends on
   discriminants of a variable whose nominal subtype is unconstrained,
   unless this subtype is indefinite, or the variable is aliased. A
   slice of an array shall not be renamed if this restriction
   disallows renaming of the array. 

This says to me that the second renames I have is illegal.  I am not sure 
why the first renames is illegal.  Why can't I rename the discriminant?

Note that in the real code, the Object is an 'in' parameter.

I'm not sure if this is a language issue, a compiler problem, or just a 
lack of understanding on my part.  Could anyone help clarify?

Thanks...

--
-------------------------------------------------------------------------------
Chris Felaco                               Phone: x4631 (Raynet 444, Local 842)
Raytheon Company                                         Email: bcf@ssd.ray.com
-------------------------------------------------------------------------------

Re: Renaming record discriminants.

[Tucker Taft]

Felaco (bcf@ssd.ray.com) wrote:
: I just tried do something like the following:

:    type Record_Type(Has_Value : Boolean) is
:        record
:          case Has_Value is
:             when True =>
: 	        Value : Integer;
:             when False =>
:                 null;
:          end case;

:    Object : Record_Type := (Has_Value => True, Value => 1);

:    Discriminant : Boolean renames Object.Has_Value; -- error
:    Component : Integer renames Object.Value; -- error

: (there may be a typo or something in there, this is off the top of my head)

: The Intermetrics compiler I am using complains that:
: Object.Has_Value depends on discriminants of an unconstrained formal 
: parameter with default discriminants [RM_95 8.5.1(5)]

If it really complains, then this is a compiler bug.
I have not been able to reproduce this problem with
a recent version of this compiler, so you should submit
a formal bug report if you have a (ideally minimal) test 
case that shows the problem.

: ...  Why can't I rename the discriminant?

You can rename a discriminant.  Either the compiler has a bug,
or the example was more complicated and perhaps there was some
subtlety not communicated in the above description.

: Note that in the real code, the Object is an 'in' parameter.

In general, if you have a question like this, post an entire, ideally
minimal, test case.  When typing in a test from memory, it is very
easy to leave out the critical piece of information that could
explain the seemingly mysterious behavior.

: I'm not sure if this is a language issue, a compiler problem, or just a 
: lack of understanding on my part.  Could anyone help clarify?

It sounds like a compiler bug, but a complete minimal test
case would make it clearer.

: Thanks...
: Chris Felaco                        Phone: x4631 (Raynet 444, Local 842)
: Raytheon Company                    Email: bcf@ssd.ray.com

-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Cambridge, MA  USA

Re: Renaming record discriminants.

[David Weller]

In article <Dp7Eoo.FLK.0.-s@inmet.camb.inmet.com>,
Tucker Taft <stt@henning.camb.inmet.com> wrote:
>
>If it really complains, then this is a compiler bug.
>...
>You can rename a discriminant.  Either the compiler has a bug, or 
>...
>It sounds like a compiler bug, 
>

What's your point, Tucker?



:-)


I know: Go away, I'm bugging you :-)

-- 
Ancient man: Web apps? Java!  OO stuff? Eiffel!  "Real-time" stuff? C/C++! 
Modern man: Web apps? Ada 95!  OO stuff? Ada 95!  "Real-time" stuff? Ada 95!
	Not a revolution...but evolution.  http://lglwww.epfl.ch/Ada

Re: Renaming record discriminants.

[Robert Dewar]

Tuck said:

":    type Record_Type(Has_Value : Boolean) is
:        record
:          case Has_Value is
:             when True =>
:               Value : Integer;
:             when False =>
:                 null;
:          end case;

:    Object : Record_Type := (Has_Value => True, Value => 1);

:    Discriminant : Boolean renames Object.Has_Value; -- error
:    Component : Integer renames Object.Value; -- error

: (there may be a typo or something in there, this is off the top of my head)

: The Intermetrics compiler I am using complains that:
: Object.Has_Value depends on discriminants of an unconstrained formal
: parameter with default discriminants [RM_95 8.5.1(5)]

If it really complains, then this is a compiler bug.
I have not been able to reproduce this problem with
a recent version of this compiler, so you should submit
a formal bug report if you have a (ideally minimal) test
case that shows the problem."

Gee Tuck, I trust the intermetrics compiler *does* complain about
the missing "end record" in the above example :-) :-)