Package org.jmlspecs.samples.stacks

This package contains samples of JML specifications relating to stacks of various sorts.

See:
Description

Interface Summary

BoundedStackInterface
BoundedThing

Class Summary

BoundedStack
BoundedStackImplementation
BoundedStackInterface_JML_Test	Automatically-generated test driver for JML and JUnit based testing of BoundedStackInterface.
BoundedStackInterface_JML_Test.OneTest	A JUnit test object that can run a single test method.
BoundedStackInterface_JML_Test.TestClone	Test for the clone method.
BoundedStackInterface_JML_Test.TestGetSizeLimit	Test for the getSizeLimit method.
BoundedStackInterface_JML_Test.TestIsEmpty	Test for the isEmpty method.
BoundedStackInterface_JML_Test.TestIsFull	Test for the isFull method.
BoundedStackInterface_JML_Test.TestPop	Test for the pop method.
BoundedStackInterface_JML_Test.TestPush	Test for the push method.
BoundedStackInterface_JML_Test.TestTop	Test for the top method.
BoundedStackInterface_JML_TestData	Supply test data for the JML and JUnit based testing of BoundedStackInterface.
TestSuite	This class is automatically generated using org.multijava.util.testing.Main and is used to group a collection of JUnit tests for the local package and perhaps some subpackages.
TestSuite.TestSuite$1
UnboundedStack
UnboundedStack2
UnboundedStackAsArrayList
UnboundedStackAsArrayList_JML_Test	Automatically-generated test driver for JML and JUnit based testing of UnboundedStackAsArrayList.
UnboundedStackAsArrayList_JML_Test.OneTest	A JUnit test object that can run a single test method.
UnboundedStackAsArrayList_JML_Test.TestPop	Test for the pop method.
UnboundedStackAsArrayList_JML_Test.TestPush	Test for the push method.
UnboundedStackAsArrayList_JML_Test.TestTop	Test for the top method.
UnboundedStackAsArrayList_JML_Test.TestToString	Test for the toString method.
UnboundedStackAsArrayList_JML_Test.TestUnboundedStackAsArrayList	Test for the UnboundedStackAsArrayList contructor.
UnboundedStackAsArrayList_JML_TestData	Supply test data for the JML and JUnit based testing of UnboundedStackAsArrayList.
UnboundedStackRC
UnboundedStackRC2

Exception Summary

BoundedStackException

Package org.jmlspecs.samples.stacks Description

This package contains samples of JML specifications relating to stacks of various sorts.