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

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--de.tuberlin.cs.cis.ocl.eval.instance.test.TestBagInstance

All Implemented Interfaces:

junit.framework.Test

public class TestBagInstance

extends junit.framework.TestCase

Testcase testing the class BagInstance.

Author:

fchabar

Constructor Summary

TestBagInstance(java.lang.String arg0)
Constructor for TestBagInstance.

Method Summary

static void	main(java.lang.String[] args) Starts the test.
void	testIntersection() Tests the OCL operation intersection on Bags.
void	testUnion() Tests the OCL operation union on Bags.

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

TestBagInstance

public TestBagInstance(java.lang.String arg0)

Constructor for TestBagInstance.

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 operation union on Bags.

testIntersection

public void testIntersection()

Tests the OCL operation intersection on Bags.