[GAP] old attribute

[Dick Gayler]

I am using ada in an upper division course covering design by contract.  
Specifically, I am using the precondition and postcondition pragmas.  As 
is typical in academia, I am "going overboard" to emphasize the 
concepts.  The problem that I have run across is that is seems that the 
implementation of the old attribute makes a shallow copy of the object 
leading to the obvious problems with linked structures.  Has anyone 
looked at what has to be done so that the old attribute when make a deep 
copy?  I am trying to avoid explicitly putting the "deep copy" code in 
the subprograms.

Thank you.

-- 
Dick Gayler
Professor
Computer Science Department
Kennesaw State University
1000 Chastain Road
Building 11, Room 3039
Kennesaw, GA 30144
office: 770-423-6099
Google Voice: 678-273-2129
fax: 770-302-4415