public class ClassInvariantLifecycle
extends BaseLifecycleInternal Lifecycle implementation for class-invariants.
| Type Params | Return Type | Name and description |
|---|---|---|
|
public void |
afterProcessingConstructorNode(ProcessingContextInformation processingContextInformation, ClassNode classNode, MethodNode constructorNode)Adds class-invariant checks to an eligible constructor after contract metadata has been assembled. |
|
public void |
afterProcessingMethodNode(ProcessingContextInformation processingContextInformation, ClassNode classNode, MethodNode methodNode)Adds class-invariant checks to an eligible method after contract metadata has been assembled. |
| Methods inherited from class | Name |
|---|---|
class BaseLifecycle |
afterProcessingClassNode, afterProcessingConstructorNode, afterProcessingMethodNode, beforeProcessingClassNode, beforeProcessingConstructorNode, beforeProcessingMethodNode |
Adds class-invariant checks to an eligible constructor after contract metadata has been assembled.
processingContextInformation - the current processing contextclassNode - the declaring classconstructorNode - the constructor to updateAdds class-invariant checks to an eligible method after contract metadata has been assembled.
processingContextInformation - the current processing contextclassNode - the declaring classmethodNode - the method to update