overturetool
Design bug: The interpreter depends on the POG
The following bug was originally reported on Sourceforge by anderskm, 2013-08-14 11:49:25.791000:
The interpreter implements the commandline tool for Overture where it's possible to invoke the POG, thus it depends on it. The commandline tool implementation should be factored out of the interpreter to make it independent of the POG.
The current setup also causes problems for a module that wants to implement command-line support and which already has a interpreter dependency. For example, the codegen module needs the interpreter in order to execute VDM specs as part of testing. With the current setup, implementation of command-line support for the code generator would cause a cyclic dependency between the interpreter and the code generator.. and this you cannot do with maven :)
