|
|
Re: Parser for OCL file with constraints [message #495833 is a reply to message #495727] |
Fri, 06 November 2009 11:01 |
Carlos Messages: 52 Registered: September 2009 |
Member |
|
|
Hi Edward.
I have used validation emf framework for verifying the correctness of my models.
I have defined an OCL file with rules (definitions, invariants, etc...) for making the validation, and method "validate" from IBatch... is very useful for me at this point.
Status result shows the information about the violated invariants, in which objects...
However, by other hand, I want to add a specie of "batch evaluator". It was something like going recursively through the model tree and applying evaluation of expressions in each node.
The idea is similar to the validation case, so I thought that I could doing the same for expressions... (using the batch for other purpose: in this case calculating for each model node several expressions).
I suppose that it does not exist such "batch evaluator", so I think that I have to implement a tree iterator and applying "evaluate" in each node for the expressions (I will define it in an OCL file, grouped by context).
Thank you very much.
Regards.
Carlos.
|
|
|
Powered by
FUDForum. Page generated in 0.02933 seconds