// $Header: /home/apel/cvs/fstcomp/examples/Java/AJStats/Test/Foo.java,v 1.1 2010-04-20 08:16:43 apel Exp $ /** * Please complete these missing tags * @author * @rref * @copyright * @concurrency * @see */ class Foo { int a = 0, b = 0, c; int g; int e; /** * Please complete the missing tags for Foo * @param * @return * @throws * @pre * @post */ Foo() { } /** * Please complete the missing tags for m * @param * @return * @throws * @pre * @post */ void m() { int i; i++; } /** * Please complete these missing tags * @param * @return * @throws * @pre * @post */ interface Bar { public int c = 0; public void m(); } /** * Please complete these missing tags * @param * @return * @throws * @pre * @post */ interface Baz { public float f; public void n(); } class Inner { int b; void m() { int j; j++; } } }