|
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.TestSequence
Field Summary | |
private OclSequence |
a
|
private OclSequence |
aa
|
private OclSequence |
aabc
|
private OclSequence |
ab
|
private OclSequence |
abc
|
private OclSequence |
abca
|
private OclAny |
p1
|
private OclAny |
p2
|
private OclAny |
p3
|
private OclSequence |
s1
|
private OclSequence |
s12
|
private OclSequence |
s123
|
private OclSequence |
s1231
|
private OclString |
sa
|
private OclString |
sb
|
private OclString |
sc
|
private OclSequence |
sempty
|
private OclSet |
set1
|
private OclSet |
set12
|
private OclSet |
set123
|
Fields inherited from class junit.framework.TestCase |
|
Constructor Summary | |
TestSequence(String s)
|
Method Summary | |
protected void |
setUp()
|
static junit.framework.Test |
suite()
|
void |
testEqual()
|
void |
testExists()
|
void |
testFeature()
|
void |
testIterate()
|
void |
testMisc()
|
void |
testSpecial()
|
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 OclAny p1
private OclAny p2
private OclAny p3
private OclSequence sempty
private OclSequence s1
private OclSequence s12
private OclSequence s123
private OclSequence s1231
private OclSequence a
private OclSequence ab
private OclSequence abc
private OclSequence abca
private OclSequence aa
private OclSequence aabc
private OclSet set1
private OclSet set12
private OclSet set123
Constructor Detail |
public TestSequence(String s)
Method Detail |
protected void setUp()
public void testEqual()
public void testFeature()
public void testExists()
public void testUnique()
public void testIterate()
public void testMisc()
public void testSpecial()
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 |