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

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

public class TestIntegerInstance
extends junit.framework.TestCase

Testcase testing the class IntegerInstance.

Author:
fchabar

Constructor Summary
TestIntegerInstance(java.lang.String arg0)
          Constructor for TestIntegerInstance.
 
Method Summary
static void main(java.lang.String[] args)
          Starts the test.
 void testAbs()
          Tests the OCL abs operation on Integers.
 void testDiv()
          Tests the OCL div operation on Integers.
 void testMod()
          Tests the OCL mod operation on Integers.
 void testNegation()
          Tests the OCL negation '-' operator on Integers.
 void testPlus()
          Tests the OCL '+' operator on Integers.
 
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

TestIntegerInstance

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

Parameters:
arg0 -
Method Detail

main

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

Parameters:
args - no arguments required.

testNegation

public void testNegation()
Tests the OCL negation '-' operator on Integers.


testPlus

public void testPlus()
              throws java.lang.Exception
Tests the OCL '+' operator on Integers.

java.lang.Exception

testAbs

public void testAbs()
Tests the OCL abs operation on Integers.


testDiv

public void testDiv()
Tests the OCL div operation on Integers.


testMod

public void testMod()
Tests the OCL mod operation on Integers.