Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
G
I
L
O
P
V
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
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.
getObjectInfo()
- Method in class com.didana.codecontract.core.
ObjectHandler
Utility method for printing information about the current object and method called.
getStaticContracts(Class, Class, String)
- Static method in class com.didana.codecontract.core.
ContractHandler
Returns the contract expression defined on static method.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
G
I
L
O
P
V