|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.didana.codecontract.core.ContractHandler
public class ContractHandler
This class extracts contract values representing pre and post conditions specified on methods and class invariants.
Constructor Summary | |
---|---|
ContractHandler()
|
Method Summary | |
---|---|
static java.util.ArrayList<java.lang.String> |
getClassInvariants(java.lang.Class classInstance)
Returns the contract expression defined as class invariants that are declared directly in the class. |
static java.lang.reflect.Constructor |
getConstructorBySignature(java.lang.Class classInstance,
java.lang.String signature)
Returns constructor object represnted by the parameter signature. |
static java.util.ArrayList<java.lang.String> |
getConstructorContracts(java.lang.Class classInstance,
java.lang.Class annotationType,
java.lang.String signature)
Returns the contract expression defined on constructors method. |
static java.util.ArrayList<java.lang.String> |
getContracts(java.lang.Class classInstance,
java.lang.Class annotationType,
java.lang.String signature,
boolean getInvariants)
Returns the contract expressions defined on non static methods. |
static java.util.ArrayList<java.lang.String> |
getInvariants(java.lang.Class classInstance)
Returns the contract expression defined as class invariants declared in the class hierarchy. |
static java.lang.reflect.Method |
getMethodBySignature(java.lang.Class classInstance,
java.lang.String signature)
Returns method object represnted by the parameter signature. |
static java.lang.String |
getStaticContracts(java.lang.Class classInstance,
java.lang.Class annotationType,
java.lang.String signature)
Returns the contract expression defined on static method. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ContractHandler()
Method Detail |
---|
public static java.util.ArrayList<java.lang.String> getContracts(java.lang.Class classInstance, java.lang.Class annotationType, java.lang.String signature, boolean getInvariants)
public static java.lang.String getStaticContracts(java.lang.Class classInstance, java.lang.Class annotationType, java.lang.String signature)
public static java.util.ArrayList<java.lang.String> getConstructorContracts(java.lang.Class classInstance, java.lang.Class annotationType, java.lang.String signature)
public static java.util.ArrayList<java.lang.String> getClassInvariants(java.lang.Class classInstance)
public static java.util.ArrayList<java.lang.String> getInvariants(java.lang.Class classInstance)
public static java.lang.reflect.Method getMethodBySignature(java.lang.Class classInstance, java.lang.String signature)
public static java.lang.reflect.Constructor getConstructorBySignature(java.lang.Class classInstance, java.lang.String signature)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |