|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
tudresden.ocl.lib.test.TestSet
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 |
private OclString sa
private OclString sb
private OclString sc
private Person p1
private Person p2
private Person p3
private OclSet abc
private OclSet ab
private OclSet ac
private OclSet bc
private OclSet a
private OclSet sempty
private OclSet s1
private OclSet s12
private OclSet s123
Constructor Detail |
public TestSet(String s)
Method Detail |
protected void setUp()
public void testEqual()
public void testIncludes()
public void testFeature()
public void testExists()
public void testForAll()
public void testUnique()
public void testSortedBy()
public void testIterate()
public void testSelect()
public void testReject()
public void testMisc()
public void testCount()
public void testUnion()
public static junit.framework.Test suite()
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |