Dresden OCL Toolkit

tudresden.ocl.lib.test
Class TestInteger

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

public class TestInteger
extends junit.framework.TestCase


Field Summary
private  OclInteger i0
           
private  OclInteger i1
           
private  OclInteger i10
           
private  OclInteger i2
           
private  OclInteger i5
           
private  OclInteger im1
           
private  OclInteger iUndef
           
private  OclReal r1k5
           
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestInteger(String s)
           
 
Method Summary
protected  void setUp()
           
static junit.framework.Test suite()
           
 void testAdd()
           
 void testEqual()
           
 void testMisc()
           
 void testMul()
           
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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

i0

private OclInteger i0

i1

private OclInteger i1

i2

private OclInteger i2

im1

private OclInteger im1

i10

private OclInteger i10

i5

private OclInteger i5

iUndef

private OclInteger iUndef

r1k5

private OclReal r1k5
Constructor Detail

TestInteger

public TestInteger(String s)
Method Detail

setUp

protected void setUp()

testEqual

public void testEqual()

testAdd

public void testAdd()

testMul

public void testMul()

testMisc

public void testMisc()

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.