Re: Why constant components are not permitted ?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 29 Nov 2011 08:55:49 +0100, David Sauvage  
<david.sauvage@adalabs.com> a écrit:
> I will have a big tagged types hierarchy, and wanted to declare a read
> only component in each root tagged types, so that when users will use
> the framework and add child types, they will not been able to modify
> this attribute.
> I would not been able to do this using a primitive method as they
> would be able to override it (think of the final keywork in Java to
> prevent a method from being overridden).
What about this:

     function Constant_Property (Instance : Instance_Type'Class) return  
Property_Type;

Is that a relevant option ?

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: [Epigrams on Programming — Alan J. — P. Yale University]