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

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

public class TestSetInstance
extends junit.framework.TestCase

Testcase testing the class SetInstance.

Author:
fchabar

Constructor Summary
TestSetInstance(java.lang.String arg0)
          Constructor for TestSetInstance.
 
Method Summary
static void main(java.lang.String[] args)
          Starts the test.
 void testCollect()
          Tests the OCL collect operation on Sets.
 void testExcluding()
          Tests the OCL excluding operation on Sets.
 void testIncluding()
          Tests the OCL including operation on Sets.
 void testIntersection()
          Tests the OCL intersection operation on Sets.
 void testMinus()
          Tests the OCL mod operation on Sets.
 void testReject()
          Tests the OCL reject operation on Sets.
 void testSelect()
          Tests the OCL select operation on Sets.
 void testSymetricDifference()
          Tests the OCL symetricDifference operation on Sets.
 void testUnion()
          Tests the OCL union operation on Sets.
 
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

TestSetInstance

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

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 Sets.


testIntersection

public void testIntersection()
Tests the OCL intersection operation on Sets.


testMinus

public void testMinus()
Tests the OCL mod operation on Sets.


testIncluding

public void testIncluding()
Tests the OCL including operation on Sets.


testExcluding

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


testSymetricDifference

public void testSymetricDifference()
Tests the OCL symetricDifference operation on Sets.


testSelect

public void testSelect()
Tests the OCL select operation on Sets.


testReject

public void testReject()
Tests the OCL reject operation on Sets.


testCollect

public void testCollect()
Tests the OCL collect operation on Sets.