Menu
Search

Forums

Forum Index

January 01, 2013
Gravatar of bearophilePosted by bearophileReply
bearophile
Gravatar of bearophile


Reply
Maybe module-private UDAs are usable to implement the base of a management of Tainted Data:

http://www.adacore.com/adaanswers/gems/gem-82/

Bye,
bearophile
January 01, 2013
Gravatar of Andrei AlexandrescuPosted by Andrei Alexandrescu
in reply to bearophile		Reply
Andrei Alexandrescu
Gravatar of Andrei Alexandrescu
Posted in reply to bearophile


Reply
On 1/1/13 8:49 AM, bearophile wrote:
> Maybe module-private UDAs are usable to implement the base of a
> management of Tainted Data:
>
> http://www.adacore.com/adaanswers/gems/gem-82/
>
> Bye,
> bearophile

I think this fits templates better; UDAs associate with declarations and are not transitive.

Andrei