Dresden OCL Toolkit

tudresden.ocl.test
Class TestNormalize

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended bytudresden.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()

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.