Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001...

4
Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN

Transcript of Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001...

Page 1: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN.

Update on Ada 200X

SIGAda 2001S. Tucker Taft

CTOAverCom Corp., a Titan Company

October 4, 2001Bloomington, MN

Page 2: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, 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

Page 3: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN.

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

Page 4: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN.

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