de.tuberlin.cs.cis.ocl.type.test
Class TestType

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--de.tuberlin.cs.cis.ocl.type.test.TestType

All Implemented Interfaces:

junit.framework.Test

public class TestType

extends junit.framework.TestCase

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.Type.

Author:

fchabar

Constructor Summary

TestType(java.lang.String arg0)

Method Summary

static void	main(java.lang.String[] args)
void	testConforms()
void	testGetOperationType()
void	testIsInstanceOf()

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

TestType

public TestType(java.lang.String arg0)

Method Detail

main

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

testGetOperationType

public void testGetOperationType()
                          throws UndefinedFeatureException

UndefinedFeatureException

testConforms

public void testConforms()

testIsInstanceOf

public void testIsInstanceOf()