tudresden.ocl.test
Class TestNormalize

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          tudresden.ocl.test.TestNormalize

All Implemented Interfaces:

junit.framework.Test

public class TestNormalize

extends junit.framework.TestCase

Field Summary

(package private) static String

ncPrefix the NameCreator default prefix

Fields inherited from class junit.framework.TestCase

Constructor Summary

TestNormalize(String name)

Method Summary

protected boolean	convertsTo(String before, String after) tests if - OclExpression before is normalized to OclExpression after and - OclExpression after is normalized to OclExpression after
static junit.framework.Test	suite()
void	testConstraintNaming()
void	testDefaultContextInsertion()
void	testIteratorInsertion()
void	testMultipleIteratorSolving()
void	testVariableClarification()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ncPrefix

static String ncPrefix

the NameCreator default prefix

Constructor Detail

TestNormalize

public TestNormalize(String name)

Method Detail

testConstraintNaming

public void testConstraintNaming()

testDefaultContextInsertion

public void testDefaultContextInsertion()

testMultipleIteratorSolving

public void testMultipleIteratorSolving()

testIteratorInsertion

public void testIteratorInsertion()

testVariableClarification

public void testVariableClarification()

convertsTo

protected boolean convertsTo(String before,
                             String after)
                      throws Exception

tests if - OclExpression before is normalized to OclExpression after and - OclExpression after is normalized to OclExpression after

Throws:

Exception

suite

public static junit.framework.Test suite()