|
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.TestType
Field Summary | |
(package private) Company |
c
|
(package private) Person |
p1
|
(package private) Person |
p2
|
(package private) OclType |
tAny
|
(package private) OclType |
tBoolean
|
(package private) OclType |
tCompany
|
(package private) OclType |
tInteger
|
(package private) OclType |
tObject
|
(package private) OclType |
tOclString
|
(package private) OclType |
tPerson1
|
(package private) OclType |
tPerson2
|
(package private) OclType |
tPersonFQ
|
(package private) OclType |
tReal
|
(package private) OclType |
tString
|
Fields inherited from class junit.framework.TestCase |
|
Constructor Summary | |
TestType(String s)
|
Method Summary | |
protected void |
setUp()
|
static junit.framework.Test |
suite()
|
void |
testEqual()
|
void |
testFields()
|
void |
testKind()
|
void |
testSupertypes()
|
void |
testType()
|
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 |
Person p1
Person p2
Company c
OclType tInteger
OclType tReal
OclType tOclString
OclType tString
OclType tBoolean
OclType tAny
OclType tPerson1
OclType tPerson2
OclType tPersonFQ
OclType tCompany
OclType tObject
Constructor Detail |
public TestType(String s)
Method Detail |
protected void setUp()
public void testEqual()
public void testKind()
public void testType()
public void testSupertypes()
public void testFields()
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 |