|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object
|
+--junit.framework.Assert
|
+--junit.framework.TestCase
|
+--de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance
Testcase testing the class SequenceInstance.
| Constructor Summary | |
TestSequenceInstance(java.lang.String arg0)
Constructor for TestSequenceInstance. |
|
| Method Summary | |
static void |
main(java.lang.String[] args)
Starts the test. |
void |
testAppend()
Tests the OCL append operation on Sequences. |
void |
testAt()
Tests the OCL at operation on Sequences. |
void |
testExcluding()
Tests the OCL excluding operation on Sequences. |
void |
testFrist()
Tests the OCL first operation on Sequences. |
void |
testLast()
Tests the OCL mod operation on Sequences. |
void |
testPrepend()
Tests the OCL mod operation on Sequences. |
void |
testSubSequence()
Tests the OCL subSequence operation on Sequences. |
void |
testUnion()
Tests the OCL union operation on Sequences. |
| Methods inherited from class junit.framework.TestCase |
countTestCases, getName, name, run, run, runBare, setName, toString |
| Methods inherited from class junit.framework.Assert |
assert, assert, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertNotNull, assertNotNull, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public TestSequenceInstance(java.lang.String arg0)
arg0 - | Method Detail |
public static void main(java.lang.String[] args)
args - no arguments required.public void testUnion()
public void testAppend()
public void testPrepend()
public void testSubSequence()
public void testAt()
public void testFrist()
public void testLast()
public void testExcluding()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||