Nick Battle
Nick Battle
Most error messages simply have some text followed by the location of the error in the code, and the error parser uses the location of the error to highlight the...
If a local definition creates a name which hides another definition, and that other definition is not used, the unused warning for the hidden variable is suppressed. For example: ```...
Several keywords/operators are not being marked in green even though they are clearly executed. Feel free to add those you discover to this issue. Here are a few... - The...
The new feature to jump to the definition of a symbol with F3 is very useful - essential for working with models of any size, and it's an important addition...
There is a problem with object references passed as arguments to operations, because parameters are always treated as non-state values, whereas object do contain state. So for example, the following...
If you expand a combinatorial trace, and then right-click and attempt to execute just one test (using "Send to Interpreter"), all of the tests are re-expanded before running the single...
Several important improvements were made in VDMJ-3.1.1 to allow traces to be expanded iteratively. This allows it to easily execute traces that expand to very large numbers of tests (a...
The following spec gives an incorrect warning: ``` module A exports all definitions values PERCENT: set1 of nat = {0,...,100}; end A module B imports from A values PERCENT renamed...
The Eclipse tool had a Quick Interpreter view which allowed VDM expressions to be evaluated. Some people find this useful, for example when teaching. We should consider adding something like...
The "Add VDM Run Configuration" menu option builds a launch entry with an incorrectly set defaultName (and the wrong title, though that is harmless). For example: { "name": "Launch VDM...