JML

org.multijava.util
Class TestIntStack

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byorg.multijava.util.testing.TestCase
              extended byorg.multijava.util.TestIntStack
All Implemented Interfaces:
junit.framework.Test

public class TestIntStack
extends TestCase

TestIntStack.java

Version:
$Revision: 1.4 $
Author:
Curtis Clifton

Field Summary
private  IntStack stack
           
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestIntStack(String name)
           
 
Method Summary
 void setUp()
           
 void test_capacity_method1()
           
 void test_isEmpty_method1()
           
 void test_peek_method1()
           
 void test_peek_method2()
           
 void test_pop_method1()
           
 void test_size_method1()
           
 
Methods inherited from class org.multijava.util.testing.TestCase
assertDiff, assertEquals
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

stack

private IntStack stack
Constructor Detail

TestIntStack

public TestIntStack(String name)
Method Detail

test_isEmpty_method1

public void test_isEmpty_method1()

test_size_method1

public void test_size_method1()

test_peek_method1

public void test_peek_method1()

test_peek_method2

public void test_peek_method2()

test_pop_method1

public void test_pop_method1()

test_capacity_method1

public void test_capacity_method1()

setUp

public void setUp()
Overrides:
setUp in class junit.framework.TestCase

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.