public class PostconditionLifecycle
extends BaseLifecycleInternal Lifecycle implementation for post-conditions.
| Type Params | Return Type | Name and description |
|---|---|---|
|
public void |
afterProcessingConstructorNode(ProcessingContextInformation processingContextInformation, ClassNode classNode, MethodNode constructorNode)Adds inherited default postconditions to the supplied constructor when needed. |
|
public void |
afterProcessingMethodNode(ProcessingContextInformation processingContextInformation, ClassNode classNode, MethodNode methodNode)Adds inherited default postconditions to the supplied method when needed. |
|
public void |
beforeProcessingClassNode(ProcessingContextInformation processingContextInformation, ClassNode classNode)Ensures the helper method for computing old values exists before postconditions are injected. |
| Methods inherited from class | Name |
|---|---|
class BaseLifecycle |
afterProcessingClassNode, afterProcessingConstructorNode, afterProcessingMethodNode, beforeProcessingClassNode, beforeProcessingConstructorNode, beforeProcessingMethodNode |
Adds inherited default postconditions to the supplied constructor when needed.
processingContextInformation - the current processing contextclassNode - the declaring classconstructorNode - the constructor to updateAdds inherited default postconditions to the supplied method when needed.
processingContextInformation - the current processing contextclassNode - the declaring classmethodNode - the method to update Ensures the helper method for computing old values exists before postconditions are injected.
processingContextInformation - the current processing contextclassNode - the class being prepared