Update on Ada 200X

SIGAda 2001S. Tucker Taft

CTOAverCom Corp., a Titan Company

October 4, 2001Bloomington, MN

Last Year’s Presentation

Preserve/Enhance Safety of Ada Additional Portability Libraries

Directory Operations Sockets

Support for common OO paradigms Cyclic Dependence of Types across packages Object’Operation(…) <=> Op(Object, …)

now Object.Operation(…) Multiple inheritance of Interfaces

What we have done this past year

“not null” access subtypes Access-constant parameters Directory ops Cyclic dependence across packages

“with type” package “abstracts” incomplete (sub)type stubs & separate

completions Object.Operation(…)

Ada 200X

What we have done this past year (cont’d)

Multiple inheritance of interfaces type Int1 is abstract; type Int2 is abstract; type Imp is new Parent and Int1 and Int2 with ...

Int1 Int2

Imp