Using dot files the following synchronisation problem appears

Steps:

1 : I have a test.pml file // with channels of course

2 : I run “Transform” -> ‘Create dot file’

3 : The dot file opens in the rhs window and is written to the disk

4 : I change something in the test.pml file

5 : The rhs window is changed; but the contents is not valid! // it only shows processes and proctypes

6 : This invalid contents is also written to disk!

The proper way of using this feature is apparently to press the Transform -> Create dot file after any change to the test.pml file.

Submitted by Kees Pronk on 25 August 2011 at 11:00

At the moment, the window is indeed automatically updated when a user is typing new code. I will remove this, so the file would remain unchanged until Transform -> Create DOT is pressed again.

Actually I’m wondering if it is really useful to show the DOT code at all.. I always directly generate the graph and inspect that, instead of looking at the DOT code. What do you think?

As long as we are in the testing phase it is ok to have the dot output in the rhs-screen.
As soon as we are confident that no errors remain, that screen can be removed