|
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.TestBag
Field Summary | |
private OclBag |
a
|
private OclBag |
aabc
|
private OclBag |
ab
|
private OclBag |
abc
|
private OclBag |
bc
|
private Person |
p1
|
private Person |
p2
|
private Person |
p3
|
private Person |
p4
|
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 | |
TestBag(String s)
|
Method Summary | |
protected void |
setUp()
|
static junit.framework.Test |
suite()
|
void |
testCollect()
|
void |
testEquals()
|
void |
testExists()
|
void |
testFeature()
|
void |
testIterate()
|
void |
testSelect()
|
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 Person p4
private OclBag aabc
private OclBag abc
private OclBag ab
private OclBag a
private OclBag bc
private OclSet sempty
private OclSet s1
private OclSet s12
private OclSet s123
Constructor Detail |
public TestBag(String s)
Method Detail |
protected void setUp()
public void testEquals()
public void testCollect()
public void testFeature()
public void testExists()
public void testUnique()
public void testIterate()
public void testSelect()
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 |