Eclipse Community Forums: OCL » extending OCL MDT with "just" a temporal operator always

Help

Home

Home » Modeling » OCL » extending OCL MDT with "just" a temporal operator always

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

extending OCL MDT with "just" a temporal operator always [message #936997]

Mon, 08 October 2012 10:58

Fi Fi
Messages: 126
Registered: March 2010

Senior Member

Hi all,
As defined in the title, I try to add "just" a temporal operator "always"
in the MDT/OCL.
I add it in the EssentialOCL xtext grammar

EssentialOCLPrefixOperator:
	'-' | 'not'
	| 'always';

but when I try to write some constraints,
I has this error "Unresolved Operation 'Boolean::always()'"

I find that I should extend oclstdlib, pivot, etc.
but I don't know the order of changes.
what are the several steps?

Best regards,
Fy Za

Report message to a moderator

Previous Topic:	parsed CompleteOCL file doesn't resolve cross reference
Next Topic:	Read OCL from text file

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sun May 19 02:50:19 EDT 2013