Understanding property redefinition [message #626610] |
Fri, 23 May 2008 13:51 |
Felix Dorner Messages: 676 Registered: July 2009 |
Senior Member |
|
|
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.02360 seconds