JML

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.


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.