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

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

All Implemented Interfaces:

junit.framework.Test

public class TestModelType

extends junit.framework.TestCase

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

Author:

fchabar

Constructor Summary

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

Method Summary

static void	main(java.lang.String[] args)
void	testConforms()
void	testEquals()
void	testGetStructuralType()
void	testWithMalformedDescriptor()

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

TestModelType

public TestModelType(java.lang.String arg0)

Constructor for TestModelType.

Parameters:

arg0 -

Method Detail

main

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

testConforms

public void testConforms()
                  throws UndefinedFeatureException

UndefinedFeatureException

testEquals

public void testEquals()

testGetStructuralType

public void testGetStructuralType()
                           throws UndefinedFeatureException

UndefinedFeatureException

testWithMalformedDescriptor

public void testWithMalformedDescriptor()
                                 throws UndefinedFeatureException

UndefinedFeatureException