A C D E G H I L M N O P S T V

A

Animal - Interface in com.didana.codecontract.tests
Interface used for testing contract inheritance.
ANNOTATED_METHOD_MISSING - Static variable in exception com.didana.codecontract.core.ContractException

C

CANNOT_GET_CONSTRUCTOR_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
CANNOT_GET_FIELDS - Static variable in exception com.didana.codecontract.core.ContractException
CANNOT_GET_FIELDS_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
CANNOT_GET_INVARIANTS - Static variable in exception com.didana.codecontract.core.ContractException
CANNOT_GET_METHOD_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
CANNOT_GET_METHOD_CONTRACTS - Static variable in exception com.didana.codecontract.core.ContractException
CANNOT_GET_METHODS - Static variable in exception com.didana.codecontract.core.ContractException
CANNOT_GET_METHODS_ANNOTATION_VALUE - Static variable in exception com.didana.codecontract.core.ContractException
checkMethodContracts() - Method in class com.didana.codecontract.core.ObjectHandler
Evaluates the contracts that are currently active
CLASS_INSTANCE_NOT_INITIALIZED - Static variable in exception com.didana.codecontract.core.ContractException
com.didana.codecontract.aspect - package com.didana.codecontract.aspect
 
com.didana.codecontract.core - package com.didana.codecontract.core
 
com.didana.codecontract.tests - package com.didana.codecontract.tests
 
com.didana.codecontract.util - package com.didana.codecontract.util
 
CONTRACT_ANNOTATION_MISSING - Static variable in exception com.didana.codecontract.core.ContractException
ContractException - Exception in com.didana.codecontract.core
This is runtime exception thrown when an error occurs during the runtime check of contracts.
ContractException(String) - Constructor for exception com.didana.codecontract.core.ContractException
ContractException(Exception) - Constructor for exception com.didana.codecontract.core.ContractException
ContractException(String, Exception) - Constructor for exception com.didana.codecontract.core.ContractException
ContractHandler - Class in com.didana.codecontract.core
This class extracts contract values representing pre and post conditions specified on methods and class invariants.
ContractHandler() - Constructor for class com.didana.codecontract.core.ContractHandler
 
ContractHandlerTests - Class in com.didana.codecontract.tests
JUnit test case for testing ContractHandler methods.
ContractHandlerTests() - Constructor for class com.didana.codecontract.tests.ContractHandlerTests
 

D

debug(String) - Method in class com.didana.codecontract.util.LogUtillity
debug(String, Throwable) - Method in class com.didana.codecontract.util.LogUtillity
description - Variable in class com.didana.codecontract.tests.Mammal

E

error(String) - Method in class com.didana.codecontract.util.LogUtillity
error(String, Throwable) - Method in class com.didana.codecontract.util.LogUtillity
evaluate(JexlContext) - Method in class com.didana.codecontract.core.Expression
evaluateExpressions() - Method in class com.didana.codecontract.core.ExpressionHandler
Evaluates the expressions in the current jexl context.
Expression - Class in com.didana.codecontract.core
The class represents a single contract test defined as precondition, postcondition or invariant.
Expression(String) - Constructor for class com.didana.codecontract.core.Expression
ExpressionHandler - Class in com.didana.codecontract.core
This class represents the context in which all contracts are evaluated during a runtime check of precondition/postcondition.
ExpressionHandler(ArrayList<String>, Map) - Constructor for class com.didana.codecontract.core.ExpressionHandler
ExpressionHandlerTest - Class in com.didana.codecontract.tests
JUnit test case for testing ExpressionHandler methods.
ExpressionHandlerTest() - Constructor for class com.didana.codecontract.tests.ExpressionHandlerTest
 

G

getClassInvariants(Class) - Static method in class com.didana.codecontract.core.ContractHandler
Returns the contract expression defined as class invariants that are declared directly in the class.
getConstructorBySignature(Class, String) - Static method in class com.didana.codecontract.core.ContractHandler
Returns constructor object represnted by the parameter signature.
getConstructorContracts(Class, Class, String) - Static method in class com.didana.codecontract.core.ContractHandler
Returns the contract expression defined on constructors method.
getContracts(Class, Class, String, boolean) - Static method in class com.didana.codecontract.core.ContractHandler
Returns the contract expressions defined on non static methods.
getException() - Method in exception com.didana.codecontract.core.ContractException
getFullName() - Method in interface com.didana.codecontract.tests.Animal
getFullName() - Method in class com.didana.codecontract.tests.Human
getFullName() - Method in class com.didana.codecontract.tests.Mammal
getHumanName() - Method in class com.didana.codecontract.tests.Human
getInnerMessage() - Method in exception com.didana.codecontract.core.ContractException
getInvariants(Class) - Static method in class com.didana.codecontract.core.ContractHandler
Returns the contract expression defined as class invariants declared in the class hierarchy.
getMessage() - Method in exception com.didana.codecontract.core.ContractException
getMethodBySignature(Class, String) - Static method in class com.didana.codecontract.core.ContractHandler
Returns method object represnted by the parameter signature.
getNumberOfFingers() - Method in class com.didana.codecontract.tests.Mammal
getNumberOfLegs() - Method in interface com.didana.codecontract.tests.Animal
getNumberOfLegs() - Method in class com.didana.codecontract.tests.Mammal
getNumberTeeth() - Method in class com.didana.codecontract.tests.Human
getObjectInfo() - Method in class com.didana.codecontract.core.ObjectHandler
Utility method for printing information about the current object and method called.
getSpeciesName() - Method in interface com.didana.codecontract.tests.Animal
getSpeciesName() - Method in class com.didana.codecontract.tests.Mammal
getStaticContracts(Class, Class, String) - Static method in class com.didana.codecontract.core.ContractHandler
Returns the contract expression defined on static method.
getSubspeciesName() - Method in class com.didana.codecontract.tests.Mammal

H

Human - Class in com.didana.codecontract.tests
Class used for testing contract inheritance.
Human() - Constructor for class com.didana.codecontract.tests.Human
Human(String) - Constructor for class com.didana.codecontract.tests.Human

I

initializeContracts(ObjectHandler.MethodType) - Method in class com.didana.codecontract.core.ObjectHandler
Initializes the contracts that are currently active.
Interceptor - Class in com.didana.codecontract.aspect
An aspect that supports Design by Contract tests by advising methods from classes that have Design By Contract tests applied to them.
Interceptor() - Constructor for class com.didana.codecontract.aspect.Interceptor
 
INVALID_ANNOTATION - Static variable in exception com.didana.codecontract.core.ContractException

L

LogUtillity - Class in com.didana.codecontract.util
Utility class that wraps the functionality of log4j package and define methods for printing information about a class.
LogUtillity(Class) - Constructor for class com.didana.codecontract.util.LogUtillity

M

Mammal - Class in com.didana.codecontract.tests
Class used for testing contract inheritance.
Mammal() - Constructor for class com.didana.codecontract.tests.Mammal
 

N

numberTeeth - Variable in class com.didana.codecontract.tests.Human

O

ObjectHandler - Class in com.didana.codecontract.core
This class represents the object for which contracts representing conditions are checked at runtime.
ObjectHandler(JoinPoint, Class) - Constructor for class com.didana.codecontract.core.ObjectHandler
ObjectHandler.MethodType - Enum in com.didana.codecontract.core

P

printAnnotation(Annotation) - Method in class com.didana.codecontract.util.LogUtillity
printFields() - Method in class com.didana.codecontract.util.LogUtillity
printMethods(Class) - Method in class com.didana.codecontract.util.LogUtillity

S

setDescription(String) - Method in class com.didana.codecontract.tests.Human
setDescription(String) - Method in interface com.didana.codecontract.tests.Terrestrial
setHumanName(String) - Method in class com.didana.codecontract.tests.Human
setNumberOfFingers(int) - Method in class com.didana.codecontract.tests.Mammal
setNumberOfLegs(int) - Method in interface com.didana.codecontract.tests.Animal
setNumberOfLegs(int) - Method in class com.didana.codecontract.tests.Mammal
setNumberTeeth(int) - Method in class com.didana.codecontract.tests.Human
setUpBeforeClass() - Static method in class com.didana.codecontract.tests.ContractHandlerTests
setUpBeforeClass() - Static method in class com.didana.codecontract.tests.ExpressionHandlerTest
speciesName - Static variable in interface com.didana.codecontract.tests.Animal
staticSet() - Method in class com.didana.codecontract.tests.Human
subspeciesName - Variable in class com.didana.codecontract.tests.Mammal

T

tearDownAfterClass() - Static method in class com.didana.codecontract.tests.ContractHandlerTests
tearDownAfterClass() - Static method in class com.didana.codecontract.tests.ExpressionHandlerTest
Terrestrial - Interface in com.didana.codecontract.tests
Interface used for testing contract inheritance.
testEvaluateExpressions1() - Method in class com.didana.codecontract.tests.ExpressionHandlerTest
testEvaluateExpressions2() - Method in class com.didana.codecontract.tests.ExpressionHandlerTest
testEvaluateExpressions3() - Method in class com.didana.codecontract.tests.ExpressionHandlerTest
testGetContractAnimal1() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractAnimal2() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman1() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman10() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman11() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman12() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman13() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman2() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman3() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman4() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman5() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman6() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman7() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman8() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractHuman9() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractMammal1() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractMammal2() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractMammal3() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetContractMammal4() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetInvariantsAnimal() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetInvariantsHuman() - Method in class com.didana.codecontract.tests.ContractHandlerTests
testGetInvariantsMammal() - Method in class com.didana.codecontract.tests.ContractHandlerTests

V

valueOf(String) - Static method in enum com.didana.codecontract.core.ObjectHandler.MethodType
Returns the enum constant of this type with the specified name.
values() - Static method in enum com.didana.codecontract.core.ObjectHandler.MethodType
Returns an array containing the constants of this enum type, inthe order they're declared.

A C D E G H I L M N O P S T V