Dresden OCL Toolkit

tudresden.ocl.test
Class TestTypeCheck

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended bytudresden.ocl.test.TestTypeCheck
All Implemented Interfaces:
junit.framework.Test

public class TestTypeCheck
extends junit.framework.TestCase

Version:
$Revision: 1.1 $
Author:
frank

Field Summary
(package private)  OclTree tree
           
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestTypeCheck(String name)
           
 
Method Summary
 void testTestFacade()
           
 
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

tree

OclTree tree
Constructor Detail

TestTypeCheck

public TestTypeCheck(String name)
Method Detail

testTestFacade

public void testTestFacade()
                    throws IOException
Throws:
IOException

Dresden OCL Toolkit

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