Uses of Class
org.jmlspecs.annotation.Also

Packages that use Also

org.jmlspecs.samples.stacks

Uses of Also in org.jmlspecs.samples.stacks

Methods in org.jmlspecs.samples.stacks with annotations of type Also

java.lang.Object	BoundedThing.clone()
void	BoundedStackInterface.pop()
void	BoundedStackInterface.push(java.lang.Object x)
java.lang.Object	BoundedStackInterface.top()
java.lang.String	BoundedStack.toString()