[GAP] old attribute
Pat Rogers
rogers at adacore.com
Fri Oct 28 17:51:00 CEST 2011
On 10/28/2011 10:41 AM, Robert Dewar wrote:
> Interesting, obviously this cannot be done automatically since what
> a "deep copy" means is very data structure dependent, I guess what
> you would need is a user defined attribute function something like
>
> for typ'Old use subprogram
>
> where subprogram has the profile
>
> function typ'Old (Arg : typ) return typ;
>
> Definitely an interesting suggestion.
This would be very convenient for state restoration mechanisms, for the
sake of software fault tolerance techniques.
Pat
--
Patrick Rogers, PhD
AdaCore Senior Technical Staff
rogers at adacore.com
646-375-0739 office
646-358-3289 fax
Experience Ada 2012 in GNAT Pro today: www.adacore.com
More information about the GAP
mailing list