Dresden OCL Toolkit

tudresden.ocl.test
Class TestNameCreator

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended bytudresden.ocl.test.TestNameCreator
All Implemented Interfaces:
junit.framework.Test

public class TestNameCreator
extends junit.framework.TestCase


Field Summary
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestNameCreator(String s)
           
 
Method Summary
static junit.framework.Test suite()
           
 void testNames()
           
 void testReserveAllNames()
           
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, 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
 

Constructor Detail

TestNameCreator

public TestNameCreator(String s)
Method Detail

testNames

public void testNames()

testReserveAllNames

public void testReserveAllNames()

suite

public static junit.framework.Test suite()

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.