Running first vdm2uml and then uml2vdm on the whole EnigmaPP model produces some corrupt files. Several classes have spurious and malformed instance variables declared. For example, the Alphabet class has the following:
class Alphabet
instance variables
private alph : seq of char; -- This is correct
: AlphabetTest; -- These two are spurious
: EnigmaTest;
...
Translating Alphabet.vdmpp by itself works correctly, so this is probably due to the creation of links between the classes.
Running first vdm2uml and then uml2vdm on the whole EnigmaPP model produces some corrupt files. Several classes have spurious and malformed instance variables declared. For example, the Alphabet class has the following:
Translating Alphabet.vdmpp by itself works correctly, so this is probably due to the creation of links between the classes.