de.tuberlin.cs.cis.ocl.check.test
Class TestContextChecker

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

All Implemented Interfaces:

junit.framework.Test

public class TestContextChecker

extends junit.framework.TestCase

Testcase testing the class de.tuberlin.cs.cis.eve.ocl.check.ContextChecker. The tests are focused on the context check without typechecking.

Author:

fchabar

Constructor Summary

TestContextChecker(java.lang.String arg0)
Constructs the test.

Method Summary

static void	main(java.lang.String[] args) Starts the test.
void	testCorrectFiles() Tests files that are correctly defined.
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

TestContextChecker

public TestContextChecker(java.lang.String arg0)

Constructs the test.

Parameters:

arg0 - the name of the test.

Method Detail

main

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

Starts the test.

Parameters:

args - unused.

testFails

public void testFails()
               throws java.lang.Exception

Tests files containing constraints that are malformed

Throws:

java.lang.Exception - when the test fails.

testCorrectFiles

public void testCorrectFiles()
                      throws java.lang.Exception

Tests files that are correctly defined.

Throws:

java.lang.Exception - when the test fails.