de.tuberlin.cs.cis.ocl.eval.instance.test
Class TestOclAnyInstance

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--de.tuberlin.cs.cis.ocl.eval.instance.test.TestOclAnyInstance
All Implemented Interfaces:
junit.framework.Test

public class TestOclAnyInstance
extends junit.framework.TestCase

Testcase testing the class OclAnyInstance.

Author:
fchabar

Constructor Summary
TestOclAnyInstance(java.lang.String arg0)
          Constructor for TestOclAnyInstance.
 
Method Summary
static void main(java.lang.String[] args)
          Starts the test.
 void testOclIsKindOf()
          Tests the OclAny.oclIsKindOf() operation.
 void testOclIsTypeOf()
          Tests the OclAny.oclIsTypeOf() operation.
 
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

TestOclAnyInstance

public TestOclAnyInstance(java.lang.String arg0)
Constructor for TestOclAnyInstance.

Parameters:
arg0 -
Method Detail

main

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

Parameters:
args - no arguments required.

testOclIsTypeOf

public void testOclIsTypeOf()
Tests the OclAny.oclIsTypeOf() operation.


testOclIsKindOf

public void testOclIsKindOf()
Tests the OclAny.oclIsKindOf() operation.