| Understanding property redefinition [message #626610] |
Fri, 23 May 2008 09:51 |
Eclipse User |
|
|
|
Hi,
I always have language problems with active and passive, so in the context of
property redefinition, is the "redefinee" the property that's being redefined,
or is it the redefining property?
I assume that the "redefinee" is the property that is being redefined. But then
something is wrong in the spec. (p. 125):
"A redefining property is consistent with a redefined property if the type of
the redefining property conforms to the type of the redefined property"
But the OCL definition does it exactly the other way round.
Property::isConsistentWith(redefinee : RedefinableElement) : Boolean
[...]
let prop : Property = redefinee.oclAsType(Property) in
(prop.type.conformsTo(self.type) and [...]
Is my english just too bad, or is there just another inconsistency between text
and OCL, and if this is the case, who's right, Text or OCL?
Thanks for the english lessons...
Felix
|
|
|
Powered by
FUDForum. Page generated in 0.02976 seconds
Home