| OCL Error 2 [message #585760] |
Mon, 21 August 2006 17:15 |
 Chris Lenz
Messages: 214
Registered: July 2009 |
Senior Member |
|
|
In ValidationVisitorImpl I have found the following thing:
under
if (opcode == PredefinedType.CLOSURE) {
we can find:
if (TypeUtil.typeCompare(sourceElementType, iteratorElementType) < 0) {
}
My constellation is the following I have a
LogicalTool which is abstract and a ITBaseSystem which is a subcalss of
LogicalTool (ITBaseSystem->LogicalTool)
My expression is self->closure(uses) and context is a ITBaseSystem, the
uses set is defined in LogicalTool and I get the error message
Closure type (LogicalTool) does conform to source type (ITBaseSystem)
(If error 1 see newsgroup is fixed)
so the
if (TypeUtil.typeCompare(sourceElementType, iteratorElementType) < 0) {
}
does not chech the inheritance!
if I comment the "if" my evaluation is right
Chris
|
|
|
Powered by
FUDForum. Page generated in 0.05965 seconds
] 
Search
Help
Register
Login
Home
