Eclipse Community Forums: EMF "Technology" (Ecore Tools, EMFatic, etc) » Use of operation parameters and @pre in ocl constraints

Home » Modeling » EMF "Technology" (Ecore Tools, EMFatic, etc) » Use of operation parameters and @pre in ocl constraints

Show: Today's Messages :: Show Polls :: Message Navigator

Use of operation parameters and @pre in ocl constraints [message #576903]

Fri, 05 May 2006 14:00

Sebastien

Messages: 20
Registered: July 2009

Junior Member

Hello,

I'm working with EMFT OCL and I have some problems :

- When I write constraints on an operation the parameters aren't recognize
when they are used. By example :

context ClassName::operationName(param::Integer)
pre : param > 0

the error is : org.eclipse.emf.ocl.parser.SemanticException: ERROR in
(variableExpCS): (Unrecognized variable: (param))

- When I use @pre in ocl constraints : this keyword seems to not be
recognize : The errors are :
org.eclipse.emf.ocl.parser.ParserException: 1:11:1:11 token "@ is invalid"
and org.eclipse.emf.ocl.parser.ParserException: 1:1:1:3 token "pre is
invalid"

Do you know theses problems ? and if yes are they planned to be resolved ?

Regards

Report message to a moderator

Previous Topic:	[Announce] EMFT TRANSACTION 1.0.0 1.0RC2 is available
Next Topic:	Use of operation parameters and @pre in ocl constraints

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 12:35:57 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter