|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.didana.codecontract.core.ObjectHandler
public class ObjectHandler
This class represents the object for which contracts representing conditions are checked at runtime.
Nested Class Summary | |
---|---|
static class |
ObjectHandler.MethodType
|
Constructor Summary | |
---|---|
ObjectHandler(org.aspectj.lang.JoinPoint joinPoint,
java.lang.Class annotationClass)
Creates new object handler. |
Method Summary | |
---|---|
boolean |
checkMethodContracts()
Evaluates the contracts that are currently active |
java.lang.String |
getObjectInfo()
Utility method for printing information about the current object and method called. |
void |
initializeContracts(ObjectHandler.MethodType methodType)
Initializes the contracts that are currently active. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ObjectHandler(org.aspectj.lang.JoinPoint joinPoint, java.lang.Class annotationClass)
joinPoint
- current joinpointannotationClass
- the intercepted annotation typeMethod Detail |
---|
public void initializeContracts(ObjectHandler.MethodType methodType)
methodType
- type of the method that is called -
public, non-public, static and constructorpublic boolean checkMethodContracts()
public java.lang.String getObjectInfo()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |