JVM Languages
jqa1199.txt
Associated article: Java Q&A
Tags: JVM Languages
Published source code accompanying the article by Krishnan Rangaraajan in which he discusses how Java can support Design-by-Contract.
Java Q&A by Krishnan Rangaraajan Listing One /** @inv (top >= 0 && top < max) */ class MyStack { private Object[] elems; private int top, max; /** @pre (sz > 0) @post (max == sz && elems != null) */ public MyStack(int sz) { ...