Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes