Re: Extending a third party tagged type while adding finalization

[Robert Eachus <rieachus@comcast.net>]

On Monday, November 27, 2017 at 1:37:22 PM UTC-5, AdaMagica wrote:
 
> It's really a problem that opens the gates of hell as I've written as an intro.

I wish I'd said that! There are some things that the human mind is not designed to deal with day after day.  I'd work on code that used finalization (and derivation) for a day two, then come back to it next week.  It was as bad as working with the SQL cursor in Ada code.  Um, probably worse.

> It can definitely only work for limited types.

The problem here is that it can be made to work for non-limited types, but you have to use handles to mix limited and non-limited types.  See previous line.

I started thinking recently about how to do model, view, controller "right" in Ada. My current conclusion is that we need a set of tools that can take a model description (assume for now pure Ada) and (for example) a set of tests, the tools would then generate the display for the model and input scenarios/scripts that created the test conditions.  The original Ada model would get decorated (a lot) by the necessary input procedures and display functions.