Function request: Class contracts - require on class level

As I see this a Mercury example, but nice, so the compiler will emit this code in the proper methods automatically before any (public) method happens?

It will be injected as the first call in any method.
And yes, it is mercury.

But I am confident that you can translate this to Oxygene (or just use oxydizer :wink:)

1 Like

nice thx very mucht this will come in nicely for the part of the engine I write in oxygene :slight_smile:

I don’t believe we have (nor ever will have) support for VB as source language for Oxidizer.

Very nice, as a tide-over, but ofc the proper fox would be to have this work with the proper invariant syntax.

this would be top, if you decide to make it.