Dresden OCL Toolkit

tudresden.ocl.lib.test
Class TestSet

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

public class TestSet
extends junit.framework.TestCase


Field Summary
private  OclSet a
           
private  OclSet ab
           
private  OclSet abc
           
private  OclSet ac
           
private  OclSet bc
           
private  Person p1
           
private  Person p2
           
private  Person p3
           
private  OclSet s1
           
private  OclSet s12
           
private  OclSet s123
           
private  OclString sa
           
private  OclString sb
           
private  OclString sc
           
private  OclSet sempty
           
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestSet(String s)
           
 
Method Summary
protected  void setUp()
           
static junit.framework.Test suite()
           
 void testCount()
           
 void testEqual()
           
 void testExists()
           
 void testFeature()
           
 void testForAll()
           
 void testIncludes()
           
 void testIterate()
           
 void testMisc()
           
 void testReject()
           
 void testSelect()
           
 void testSortedBy()
           
 void testUnion()
           
 void testUnique()
           
 
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

sa

private OclString sa

sb

private OclString sb

sc

private OclString sc

p1

private Person p1

p2

private Person p2

p3

private Person p3

abc

private OclSet abc

ab

private OclSet ab

ac

private OclSet ac

bc

private OclSet bc

a

private OclSet a

sempty

private OclSet sempty

s1

private OclSet s1

s12

private OclSet s12

s123

private OclSet s123
Constructor Detail

TestSet

public TestSet(String s)
Method Detail

setUp

protected void setUp()

testEqual

public void testEqual()

testIncludes

public void testIncludes()

testFeature

public void testFeature()

testExists

public void testExists()

testForAll

public void testForAll()

testUnique

public void testUnique()

testSortedBy

public void testSortedBy()

testIterate

public void testIterate()

testSelect

public void testSelect()

testReject

public void testReject()

testMisc

public void testMisc()

testCount

public void testCount()

testUnion

public void testUnion()

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.