Dresden OCL Toolkit

tudresden.ocl.lib.test
Class TestBoolean

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

public class TestBoolean
extends junit.framework.TestCase


Field Summary
private  OclBoolean bFalse
           
private  OclBoolean bTrue
           
private  OclBoolean bUndef
           
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestBoolean(String s)
           
 
Method Summary
protected  void setUp()
           
static junit.framework.Test suite()
           
 void testAnd()
           
 void testEqual()
           
 void testImplies()
           
 void testNot()
           
 void testOr()
           
 void testUndefined()
           
 
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

bTrue

private OclBoolean bTrue

bFalse

private OclBoolean bFalse

bUndef

private OclBoolean bUndef
Constructor Detail

TestBoolean

public TestBoolean(String s)
Method Detail

setUp

protected void setUp()

testEqual

public void testEqual()

testOr

public void testOr()

testAnd

public void testAnd()

testNot

public void testNot()

testImplies

public void testImplies()

testUndefined

public void testUndefined()

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.