|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.didana.codecontract.tests.ContractHandlerTests
public class ContractHandlerTests
JUnit test case for testing ContractHandler methods.
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 |
---|
public ContractHandlerTests()
Method Detail |
---|
public static void setUpBeforeClass() throws java.lang.Exception
java.lang.Exception
public static void tearDownAfterClass() throws java.lang.Exception
java.lang.Exception
public void testGetInvariantsAnimal()
public void testGetInvariantsMammal()
public void testGetInvariantsHuman()
public void testGetContractAnimal1()
public void testGetContractAnimal2()
public void testGetContractMammal1()
public void testGetContractMammal2()
public void testGetContractMammal3()
public void testGetContractMammal4()
public void testGetContractHuman1()
public void testGetContractHuman2()
public void testGetContractHuman3()
public void testGetContractHuman4()
public void testGetContractHuman5()
public void testGetContractHuman6()
public void testGetContractHuman7()
public void testGetContractHuman8()
public void testGetContractHuman9()
public void testGetContractHuman10()
public void testGetContractHuman11()
public void testGetContractHuman12()
public void testGetContractHuman13()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |