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

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

All Implemented Interfaces:

junit.framework.Test

public class TestCollectionInstance

extends junit.framework.TestCase

Testcase testing the class CollectionInstance.

Author:

fchabar

Constructor Summary

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

Method Summary

static void	main(java.lang.String[] args) Starts the test.
void	testAny() Tests the OCL any operation on Collections.
void	testCount() Tests the OCL count operation on Collections.
void	testExcludes() Tests the OCL excludes operation on Collections.
void	testExcludesAll() Tests the OCL excludesAll operation on Collections.
void	testExists() Tests the OCL exists operation on Collections.
void	testForAll() Tests the OCL forAll operation on Collections.
void	testIncludes() Tests the OCL includes operation on Collections.
void	testIncludesAll() Tests the OCL includesAll operation on Collections.
void	testIsEmpty() Tests the OCL isEmpty operation on Collections.
void	testIsUnique() Tests the OCL isUnique operation on Collections.
void	testOne() Tests the OCL one operation on Collections.
void	testSize() Tests the OCL size operation on Collections.
void	testSortedBy() Tests the OCL sortedBy operation on Collections.
void	testSum() Tests the OCL sum operation on Collections.

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

TestCollectionInstance

public TestCollectionInstance(java.lang.String arg0)

Constructor for TestCollectionInstance.

Parameters:

arg0 -

Method Detail

main

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

Starts the test.

Parameters:

args - no arguments required.

testSize

public void testSize()

Tests the OCL size operation on Collections.

testIncludes

public void testIncludes()

Tests the OCL includes operation on Collections.

testExcludes

public void testExcludes()

Tests the OCL excludes operation on Collections.

testCount

public void testCount()

Tests the OCL count operation on Collections.

testIncludesAll

public void testIncludesAll()

Tests the OCL includesAll operation on Collections.

testExcludesAll

public void testExcludesAll()

Tests the OCL excludesAll operation on Collections.

testIsEmpty

public void testIsEmpty()

Tests the OCL isEmpty operation on Collections.

testSum

public void testSum()

Tests the OCL sum operation on Collections.

testExists

public void testExists()

Tests the OCL exists operation on Collections.

testForAll

public void testForAll()

Tests the OCL forAll operation on Collections.

testIsUnique

public void testIsUnique()

Tests the OCL isUnique operation on Collections.

testSortedBy

public void testSortedBy()

Tests the OCL sortedBy operation on Collections.

testAny

public void testAny()

Tests the OCL any operation on Collections.

testOne

public void testOne()

Tests the OCL one operation on Collections.