Nick Battle

Looking at the `x1,y1,x2,y2` attributes of `TerminalGraphicalRepresentation`, `GraphicalRepresentation` and `Icon`, I originally had rules to say that these should all define a bottom-left to top-right non-zero area. But after discussion...

The discussion of min/max in Table 15 with Enumerations gives an example of name/value `Items` which do not lie within the min/max range, saying that only name/values within the range...

You mean getting started with debugging VDMJ itself using Java for VSCode? That would probably make sense (though I'm still using Eclipse, out of habit). The easiest way to do...

If you can give me a suggested form for the annotation, I can have a go at creating one. But remember annotations were intended to be user-provided, so perhaps this...

Hmm. I see your point though: there is no measure for operations. I should be fairly simple to create such an invariant annotation anyway. Perhaps if you create one, then...

Sorry I missed this issue when it came in. I'll take a look.

The System.exit and System.err output has been there from the very beginning (2016). It seemed reasonable to abort because it means the classpath provided has something fundamentally broken on it...

Okay, I suppose I can change the System.exit to a ClassMapperException (runtime exception). That will have more or less the same result in most cases, I expect. I can't easily...

I've pushed a tweak to the development branch.

Mmm, constructors are a bit awkward because of the getInstance(). How about a setErrStream method that you can call at any point (defaulting to System.err, of course)?