* Jürg Billeter <j bitron ch> wrote:
interface Foo {
public abstract int bar (int x)
requires (x > 0)
ensures (result > 0);
}
Is this turned into run-time assertions, or is there some compile-time range checking? -- Ed Schouten <ed fxq nl> WWW: http://g-rave.nl/
Attachment:
pgpXEAksCm3Dv.pgp
Description: PGP signature