com.didana.codecontract.tests
Class ContractHandlerTests

java.lang.Object
  extended by com.didana.codecontract.tests.ContractHandlerTests

public class ContractHandlerTests
extends java.lang.Object

JUnit test case for testing ContractHandler methods.

Author:
Diana Berberova

Constructor Summary
ContractHandlerTests()
           
 
Method Summary
static void setUpBeforeClass()
          
static void tearDownAfterClass()
          
 void testGetContractAnimal1()
          
 void testGetContractAnimal2()
          
 void testGetContractHuman1()
          
 void testGetContractHuman10()
          
 void testGetContractHuman11()
          
 void testGetContractHuman12()
          
 void testGetContractHuman13()
          
 void testGetContractHuman2()
          
 void testGetContractHuman3()
          
 void testGetContractHuman4()
          
 void testGetContractHuman5()
          
 void testGetContractHuman6()
          
 void testGetContractHuman7()
          
 void testGetContractHuman8()
          
 void testGetContractHuman9()
          
 void testGetContractMammal1()
          
 void testGetContractMammal2()
          
 void testGetContractMammal3()
          
 void testGetContractMammal4()
          
 void testGetInvariantsAnimal()
          
 void testGetInvariantsHuman()
          
 void testGetInvariantsMammal()
          
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ContractHandlerTests

public ContractHandlerTests()
Method Detail

setUpBeforeClass

public static void setUpBeforeClass()
                             throws java.lang.Exception

Throws:
java.lang.Exception

tearDownAfterClass

public static void tearDownAfterClass()
                               throws java.lang.Exception

Throws:
java.lang.Exception

testGetInvariantsAnimal

public void testGetInvariantsAnimal()


testGetInvariantsMammal

public void testGetInvariantsMammal()


testGetInvariantsHuman

public void testGetInvariantsHuman()


testGetContractAnimal1

public void testGetContractAnimal1()


testGetContractAnimal2

public void testGetContractAnimal2()


testGetContractMammal1

public void testGetContractMammal1()


testGetContractMammal2

public void testGetContractMammal2()


testGetContractMammal3

public void testGetContractMammal3()


testGetContractMammal4

public void testGetContractMammal4()


testGetContractHuman1

public void testGetContractHuman1()


testGetContractHuman2

public void testGetContractHuman2()


testGetContractHuman3

public void testGetContractHuman3()


testGetContractHuman4

public void testGetContractHuman4()


testGetContractHuman5

public void testGetContractHuman5()


testGetContractHuman6

public void testGetContractHuman6()


testGetContractHuman7

public void testGetContractHuman7()


testGetContractHuman8

public void testGetContractHuman8()


testGetContractHuman9

public void testGetContractHuman9()


testGetContractHuman10

public void testGetContractHuman10()


testGetContractHuman11

public void testGetContractHuman11()


testGetContractHuman12

public void testGetContractHuman12()


testGetContractHuman13

public void testGetContractHuman13()