Re: Ada95 and Dynamic Type Identification

[Stephane.Barbey@di.epfl.ch (Stephane Barbey)]

In article <milodD2Ko8z.98w@netcom.com>, milod@netcom.com (John DiCamillo) writes:
: 
: Does Ada95 have some sort of dynamic type identification
: equivalent to C++ RTTI or Eiffel's assignment-attempt?

yes.

: That is, given a procedure
: 
:    procedure Process_Alerts(A: Alert'Class) ...
: 
: Is there any way to find out precisely what type of
: object A is?  Or are we limited to dynamic dispatch?
: 
: e.g.:
: 
:       foo: FooAlert;         -- special alert
:    begin
:       foo ?= A;              -- is A a FooAlert?
:       if (foo'Valid) then    -- A IS a FooAlert!
:          FooHandler( foo );  -- do something that only
:                              -- applies to FooAlerts
: 

        type FooAlert is tagged ...
        type BarAlert is new FooAlert with ...  
        procedure BarHandler (Bar: BarAlert) 
          -- BarHandler only applies to Bars.
  
  
        A: FooAlert'Class := ...; -- could be a Foo- or a BarAlert
        if A in BarAlert then    -- the membership test
           Primitive (BarAlert(A))

: Anyway, if dynamic typing was left out of Ada95, would 
: that be considered a mistake.  Every other statically
: typed OOPL I know of has eventually provided some form
: of dynamic typing.  Why not Ada?  Is there some subtlety
: about Ada's type system that makes dynamic typing un-
: necessary or irrelevant?

No. There is same kind of dynamic typing in Ada, see "class-wide" in the
index of Barnes book.

-Stephane

--
Stephane Barbey				"It's not easy getting real wings"	
INJ-335, barbey@di.epfl.ch