Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » EMF "Technology" (Ecore Tools, EMFatic, etc)  » Use of operation parameters and @pre in ocl constraints
Use of operation parameters and @pre in ocl constraints [message #576903] Fri, 05 May 2006 14:00
Sebastien is currently offline SebastienFriend
Messages: 20
Registered: July 2009
Junior Member

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

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

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:

Current Time: Sun May 19 04:54:47 GMT 2024

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

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

Back to the top