public class PreconditionGenerator extends BaseGenerator
Code generator for preconditions.
| Fields inherited from class | Fields | 
|---|---|
| class BaseGenerator | INVARIANT_CLOSURE_PREFIX, META_DATA_USE_INLINE_MODE, source | 
| Constructor and description | 
|---|
| PreconditionGenerator(ReaderSource source) | 
| Type Params | Return Type | Name and description | 
|---|---|---|
|  | public void | generateDefaultPreconditionStatement(ClassNode type, MethodNode methodNode)Generates the default precondition statement for MethodNode instances with the Precondition annotation. | 
|  | public void | generatePreconditionAssertionStatement(MethodNode method, Precondition precondition)Injects a precondition assertion statement in the given method, based on the given annotation of type Requires. | 
| Methods inherited from class | Name | 
|---|---|
| class BaseGenerator | addCallsToSuperMethodNodeAnnotationClosure, getInlineModeBlockStatement, getInvariantMethodName, getInvariantMethodNode, wrapAssertionBooleanExpression | 
Generates the default precondition statement for MethodNode instances with the Precondition annotation.
type -        the current ClassNodemethodNode -  the MethodNode with a Precondition annotationInjects a precondition assertion statement in the given method, based on the given annotation of type Requires.
method -        the MethodNode for assertion injectionprecondition -  the Precondition the assertion statement should be generated fromCopyright © 2003-2025 The Apache Software Foundation. All rights reserved.