|Permanent violation of invariants after closing and opening the validated file [message #664987]
||Tue, 12 April 2011 13:20
Registered: December 2010
I do have a problem with validating my model instances with an external constraint file.
I have written a rather large constraint in an external ocl file and am loading this constraint by using the validation adapter examples. The constraint works fine in the generated editor as it is supposed to but only as long as I work with the files that were already opened from the last start of the editor.
But as soon as I close the current file (regardless of saving it or not) and open it again, another validation always throws a warning that it violates the constraints of the ocl file, but without responding to the actual situation of the open file. I am sitting here for hours in order to solve this issue. My constraint is ok, no errors are thrown on validating or when validating the files that are already opened on starting the editor.
I am absolutely clueless what the problem could possibly be and would appreciate any form of help.
|Re: Permanent violation of invariants after closing and opening the validated file [message #665449 is a reply to message #665333]
||Thu, 14 April 2011 12:06
| Ed Willink
Registered: July 2009
I'm afraid I cannot offer you more advice because your 'that', 'it',
'working' are all without clear context. Before I was guessing at what
doesn't work, now it's no clearer.
Also without eaxmples of what does/doesnm;t work, it's hard. You can
send me a project in confidence if it helps.
On 14/04/2011 12:19, Steffen wrote:
> Hi Ed,
> well, that's not so good news. But I found it working as it is
> supposed to be when I open the editor and work with the file that is
> just opened. Not very comfy but it seems enough to develop some
> constraints. Is there any other possibility to test my constraints
> against the model?
> I would love to provide you with the project but right now it seems
> like I cannot for company issues. I will see what I can do. One thing
> I found is, that the problem seems related to the .allInstances()
> function. After rewriting a constraint in a way that it it avoids this
> function it works well. Could also have to do with OclInvalid values
> as this was a recurring result while using this function on a set that
> was not fully specified and where I treid to apply other functions on
> empty sets or null values.
> Best regards,
Powered by FUDForum
. Page generated in 0.02132 seconds