de.tuberlin.cs.cis.ocl.model.uml.test
Class TestUmlContextChecker

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--de.tuberlin.cs.cis.ocl.model.uml.test.TestUmlContextChecker

All Implemented Interfaces:

junit.framework.Test

public class TestUmlContextChecker

extends junit.framework.TestCase

Tests the context checker in the context of UML metamodel constraints.

Author:

fchabar

Constructor Summary

TestUmlContextChecker(java.lang.String arg0)
Constructor for TestUmlTypeChecker.

Method Summary

static void	main(java.lang.String[] args) Starts the test.
void	testCorrectFiles() Context checks well-defined constraints included in "/test_files/context_checker/uml14" in the context of the UML metamodel 1.4.
void	testFails() Tests files containing constraints that are malformed

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

TestUmlContextChecker

public TestUmlContextChecker(java.lang.String arg0)

Constructor for TestUmlTypeChecker.

Parameters:

arg0 -

Method Detail

main

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

Starts the test.

Parameters:

args - no arguments required.

testCorrectFiles

public void testCorrectFiles()
                      throws java.lang.Exception

Context checks well-defined constraints included in "/test_files/context_checker/uml14" in the context of the UML metamodel 1.4.

Throws:

java.lang.Exception - if an exception occurs.

testFails

public void testFails()
               throws java.lang.Exception

Tests files containing constraints that are malformed

Throws:

java.lang.Exception - when the test fails.