Uses of Class
org.jmlspecs.annotation.SpecCase

Packages that use SpecCase

org.jmlspecs.samples.stacks

Uses of SpecCase in org.jmlspecs.samples.stacks

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

int	BoundedThing.getSizeLimit()
boolean	BoundedThing.isEmpty()
boolean	BoundedThing.isFull()

Constructors in org.jmlspecs.samples.stacks with annotations of type SpecCase

BoundedStack()

BoundedStack(int maxSize)