Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » EMF "Technology" (Ecore Tools, EMFatic, etc)  » Incorrect OCL error messages on correct OCL
Incorrect OCL error messages on correct OCL [message #565037] Tue, 31 January 2006 20:27
Jos Warmer is currently offline Jos WarmerFriend
Messages: 66
Registered: July 2009
Member
Hi all,

I have gone through the tutorial from GMF. Doing that I did find some
errors in the OCL constraints, e.g.

self <> oppositeEnd
oppositeEnd <> self

are considered correct. At the same time the follwoing are considered
incorect:

self.oppositeEnd <> self
self <> self.oppositeEnd

ERROR in (variableExpCS): (Variable cannot appear in the middle of a
navigation expression: (oppositeEnd))

oppositeEnd is nothing than a shorthand for self.oppositeEnd, therefore
all of the above should be correct.

Looks like a bug in the OCL parser/analyzer.

Jos Warmer
Previous Topic:IOclHelper and parsing ocl expression of any result type
Next Topic:just an idea
Goto Forum:
  


Current Time: Thu Sep 29 22:03:31 GMT 2022

Powered by FUDForum. Page generated in 0.02035 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top