Consider adding a "Quick Interpreter" feature, like Eclipse Overture

[nickbattle]

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 this to the extension.

[nickbattle]

As a workaround for this, it is possible to create a VSCode "task" that launches the VDMJ jar with the "-i" option alone. That enables the interpreter with no specification, like Quick Interpreter did. The tasks.json entry should be something like this, though note that the /home/nick/.vscode stem must be changed to the location of your VSCode extentions:

{
	"version": "2.0.0",
	"tasks": [
		{
			"label": "Quick Interpreter",
			"type": "shell",
			"command": "java -Xmx2g -cp /home/nick/.vscode/extensions/overturetool.vdm-vscode-1.3.7/resources/jars/vdmj/vdmj-4.5.0-SNAPSHOT.jar VDMJ -i"
		}
	]
}