Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » extending OCL MDT with "just" a temporal operator always
extending OCL MDT with "just" a temporal operator always [message #936997] Mon, 08 October 2012 14:58
Fi Fi is currently offline Fi Fi
Messages: 133
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
Previous Topic:parsed CompleteOCL file doesn't resolve cross reference
Next Topic:Read OCL from text file
Goto Forum:
  


Current Time: Thu Oct 23 05:17:58 GMT 2014

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

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