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

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

All Implemented Interfaces:

junit.framework.Test

public class TestModelInstance

extends junit.framework.TestCase

Testcase testing the class ModelInstance.

Author:

fchabar

Constructor Summary

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

Method Summary

static void	main(java.lang.String[] args) Starts the test.
void	testEquals() Tests the OCL '=' operation on model instances.
void	testNavigationMult0() Tests the OCL navigation of association with multiplicity zero.
void	testNavigationMult1() Tests the OCL navigation of association with multiplicity one.

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

TestModelInstance

public TestModelInstance(java.lang.String arg0)

Constructor for TestModelInstance.

Parameters:

arg0 -

Method Detail

main

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

Starts the test.

Parameters:

args - no arguments required.

testEquals

public void testEquals()

Tests the OCL '=' operation on model instances.

testNavigationMult0

public void testNavigationMult0()
                         throws java.lang.Exception

Tests the OCL navigation of association with multiplicity zero.

java.lang.Exception

testNavigationMult1

public void testNavigationMult1()
                         throws java.lang.Exception

Tests the OCL navigation of association with multiplicity one.

java.lang.Exception