de.tuberlin.cs.cis.ocl.eval.instance.test
Class TestSequenceInstance

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--de.tuberlin.cs.cis.ocl.eval.instance.test.TestSequenceInstance
All Implemented Interfaces:
junit.framework.Test

public class TestSequenceInstance
extends junit.framework.TestCase

Testcase testing the class SequenceInstance.

Author:
fchabar

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

TestSequenceInstance

public TestSequenceInstance(java.lang.String arg0)
Constructor for TestSequenceInstance.

Parameters:
arg0 -
Method Detail

main

public static void main(java.lang.String[] args)
Starts the test.

Parameters:
args - no arguments required.

testUnion

public void testUnion()
Tests the OCL union operation on Sequences.


testAppend

public void testAppend()
Tests the OCL append operation on Sequences.


testPrepend

public void testPrepend()
Tests the OCL mod operation on Sequences.


testSubSequence

public void testSubSequence()
Tests the OCL subSequence operation on Sequences.


testAt

public void testAt()
Tests the OCL at operation on Sequences.


testFrist

public void testFrist()
Tests the OCL first operation on Sequences.


testLast

public void testLast()
Tests the OCL mod operation on Sequences.


testExcluding

public void testExcluding()
Tests the OCL excluding operation on Sequences.