Verifier (Groovy 5.0.0-SNAPSHOT)

org.codehaus.groovy.classgen.Verifier

All Implemented Interfaces and Traits:

GroovyClassVisitor, org.objectweb.asm.Opcodes
```
public class Verifier
extends Object
implements GroovyClassVisitor, org.objectweb.asm.Opcodes
```
Verifies the AST node and adds any default AST code before bytecode generation occurs.
Checks include:
- Methods with duplicate signatures
- Duplicate interfaces
- Reassigned final variables/parameters
- Uninitialized variables
- Bad code in object initializers or constructors
- Mismatches in modifiers or return types between implementations and interfaces/abstract classes
- Invalid record component names
Added code includes:
- Methods needed to implement GroovyObject
- Property accessor methods
- Covariant methods
- Additional methods/constructors as needed for default parameters

Nested Class Summary

Nested classes
Modifiers	Name	Description
`interface`	`Verifier.DefaultArgsAction`

Field Summary

Fields
Modifiers	Name	Description
`static String`	`DEFAULT_PARAMETER_GENERATED`
`static String`	`INITIAL_EXPRESSION`
`static String`	`STATIC_METACLASS_BOOL`
`static String`	`SWAP_INIT`
`static String`	`__TIMESTAMP`
`static String`	`__TIMESTAMP__`

Methods Summary

Methods
Type Params	Return Type	Name and description
	`protected void`	`addClosureCode(InnerClassNode node)`
	`protected void`	`addConstructor(Parameter[] newParams, ConstructorNode ctor, Statement code, ClassNode type)`
	`protected void`	`addCovariantMethods(ClassNode classNode)`
	`protected void`	`addDefaultConstructor(ClassNode node)`
	`protected void`	`addDefaultParameterConstructors(ClassNode type)` Creates a new constructor for each combination of default parameter expressions.
	`protected void`	`addDefaultParameterMethods(ClassNode type)` Creates a new method for each combination of default parameter expressions.
	`protected void`	`addDefaultParameters(List<? extends MethodNode> methods, Verifier.DefaultArgsAction action)` Creates a new helper method for each combination of default parameter expressions.
	`protected void`	`addDefaultParameters(Verifier.DefaultArgsAction action, MethodNode method)`
	`protected void`	`addFieldInitialization(List list, List staticList, FieldNode fieldNode, boolean isEnumClassNode, List initStmtsAfterEnumValuesInit, Set explicitStaticPropsInEnum)`
	`protected void`	`addGroovyObjectInterfaceAndMethods(ClassNode node, String classInternalName)`
	`protected void`	`addInitialization(ClassNode node)`
	`protected void`	`addInitialization(ClassNode node, ConstructorNode constructorNode)`
	`protected MethodNode`	`addMethod(ClassNode node, boolean shouldBeSynthetic, String name, int modifiers, ClassNode returnType, Parameter[] parameters, ClassNode[] exceptions, Statement code)` Helper method to add a new method to a ClassNode.
	`protected void`	`addMethod$$bridge(ClassNode node, boolean shouldBeSynthetic, String name, int modifiers, ClassNode returnType, Parameter[] parameters, ClassNode[] exceptions, Statement code)`
	`protected void`	`addPropertyMethod(MethodNode method)`
	`protected void`	`addReturnIfNeeded(MethodNode node)`
	`protected void`	`addTimeStamp(ClassNode node)`
	`public static String`	`capitalize(String name)` Capitalizes the start of the given bean property name.
	`protected Statement`	`createGetterBlock(PropertyNode propertyNode, FieldNode field)`
	`protected Statement`	`createSetterBlock(PropertyNode propertyNode, FieldNode field)`
	`public ClassNode`	`getClassNode()`
	`protected VariableNotFinalCallback`	`getFinalVariablesCallback()`
	`public MethodNode`	`getMethodNode()`
	`public static long`	`getTimestamp(Class<?> clazz)`
	`public static Long`	`getTimestampFromFieldName(String fieldName)`
	`protected void`	`setClassNode(ClassNode classNode)`
	`public static ConstantExpression`	`transformToPrimitiveConstantIfPossible(ConstantExpression constantExpression)` When constant expressions are created, the value is always wrapped to a non-primitive type.
	`public void`	`variableNotAlwaysInitialized(VariableExpression var)`
	`public void`	`variableNotFinal(Variable var, Expression bexp)`
	`public void`	`visit(org.objectweb.asm.MethodVisitor mv)`
	`public void`	`visit(org.objectweb.asm.MethodVisitor mv)`
	`public void`	`visit(org.objectweb.asm.MethodVisitor mv)`
	`public void`	`visit(org.objectweb.asm.MethodVisitor mv)`
	`public void`	`visit(org.objectweb.asm.MethodVisitor mv)`
	`public void`	`visit(org.objectweb.asm.MethodVisitor mv)`
	`public void`	`visit(org.objectweb.asm.MethodVisitor mv)`
	`public void`	`visitClass(ClassNode node)`
	`public void`	`visitClosureExpression(ClosureExpression expression)`
	`public void`	`visitClosureExpression(ClosureExpression ce)`
	`public void`	`visitClosureExpression(ClosureExpression e)`
	`public void`	`visitConstructor(ConstructorNode node)`
	`public void`	`visitConstructorCallExpression(ConstructorCallExpression cce)`
	`public void`	`visitConstructorCallExpression(ConstructorCallExpression call)`
	`public void`	`visitConstructorCallExpression(ConstructorCallExpression call)`
	`public void`	`visitField(FieldNode node)`
	`public void`	`visitGenericType(GenericsType genericsType)`
	`public void`	`visitMethod(MethodNode node)`
	`public void`	`visitMethodCallExpression(MethodCallExpression mce)`
	`public void`	`visitProperty(PropertyNode node)`
	`public void`	`visitReturnStatement(ReturnStatement statement)`
	`public void`	`visitVariableExpression(VariableExpression ve)`
	`public void`	`visitVariableExpression(VariableExpression e)`
	`public void`	`visitVariableExpression(VariableExpression e)`

Inherited Methods Summary

Inherited Methods
Methods inherited from class	Name
`class Object`	`wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll`

- Field Detail
  - public static final String DEFAULT_PARAMETER_GENERATED
  - public static final String INITIAL_EXPRESSION
  - public static final String STATIC_METACLASS_BOOL
  - public static final String SWAP_INIT
  - public static final String __TIMESTAMP
  - public static final String __TIMESTAMP__
- Method Detail
  - protected void addClosureCode(InnerClassNode node)
  - protected void addConstructor(Parameter[] newParams, ConstructorNode ctor, Statement code, ClassNode type)
  - protected void addCovariantMethods(ClassNode classNode)
  - protected void addDefaultConstructor(ClassNode node)
  - protected void addDefaultParameterConstructors(ClassNode type)
    
    Creates a new constructor for each combination of default parameter expressions.
  - protected void addDefaultParameterMethods(ClassNode type)
    
    Creates a new method for each combination of default parameter expressions.
  - protected void addDefaultParameters(List<? extends MethodNode> methods, Verifier.DefaultArgsAction action)
    
    Creates a new helper method for each combination of default parameter expressions.
  - protected void addDefaultParameters(Verifier.DefaultArgsAction action, MethodNode method)
  - protected void addFieldInitialization(List list, List staticList, FieldNode fieldNode, boolean isEnumClassNode, List initStmtsAfterEnumValuesInit, Set explicitStaticPropsInEnum)
  - protected void addGroovyObjectInterfaceAndMethods(ClassNode node, String classInternalName)
  - protected void addInitialization(ClassNode node)
  - protected void addInitialization(ClassNode node, ConstructorNode constructorNode)
  - protected MethodNode addMethod(ClassNode node, boolean shouldBeSynthetic, String name, int modifiers, ClassNode returnType, Parameter[] parameters, ClassNode[] exceptions, Statement code)
    
    Helper method to add a new method to a ClassNode. Depending on the shouldBeSynthetic flag the call will either be made to ClassNode.addSyntheticMethod() or ClassNode.addMethod(). If a non-synthetic method is to be added the ACC_SYNTHETIC modifier is removed if it has been accidentally supplied.
  - @Deprecated
    protected void addMethod$$bridge(ClassNode node, boolean shouldBeSynthetic, String name, int modifiers, ClassNode returnType, Parameter[] parameters, ClassNode[] exceptions, Statement code)
  - protected void addPropertyMethod(MethodNode method)
  - protected void addReturnIfNeeded(MethodNode node)
  - @Deprecated(since = "2.4.0")
    protected void addTimeStamp(ClassNode node)
  - public static String capitalize(String name)
    
    Capitalizes the start of the given bean property name.
  - protected Statement createGetterBlock(PropertyNode propertyNode, FieldNode field)
  - protected Statement createSetterBlock(PropertyNode propertyNode, FieldNode field)
  - public ClassNode getClassNode()
  - protected VariableNotFinalCallback getFinalVariablesCallback()
  - public MethodNode getMethodNode()
  - public static long getTimestamp(Class<?> clazz)
  - public static Long getTimestampFromFieldName(String fieldName)
  - protected void setClassNode(ClassNode classNode)
  - public static ConstantExpression transformToPrimitiveConstantIfPossible(ConstantExpression constantExpression)
    
    When constant expressions are created, the value is always wrapped to a non-primitive type. Some constant expressions are optimized to return primitive types, but not all primitives are handled. This method guarantees to return a similar constant expression but with a primitive type instead of a boxed type.
    Additionally, single char strings are converted to 'char' types.
    Parameters:
    constantExpression - a constant expression
    Returns:
    the same instance of constant expression if the type is already primitive, or a primitive constant if possible.
  - @Override
    public void variableNotAlwaysInitialized(VariableExpression var)
  - @Override
    public void variableNotFinal(Variable var, Expression bexp)
  - @Override
    public void visit(org.objectweb.asm.MethodVisitor mv)
  - @Override
    public void visit(org.objectweb.asm.MethodVisitor mv)
  - @Override
    public void visit(org.objectweb.asm.MethodVisitor mv)
  - @Override
    public void visit(org.objectweb.asm.MethodVisitor mv)
  - @Override
    public void visit(org.objectweb.asm.MethodVisitor mv)
  - @Override
    public void visit(org.objectweb.asm.MethodVisitor mv)
  - @Override
    public void visit(org.objectweb.asm.MethodVisitor mv)
  - @Override
    public void visitClass(ClassNode node)
  - @Override
    public void visitClosureExpression(ClosureExpression expression)
  - @Override
    public void visitClosureExpression(ClosureExpression ce)
  - @Override
    public void visitClosureExpression(ClosureExpression e)
  - @Override
    public void visitConstructor(ConstructorNode node)
  - @Override
    public void visitConstructorCallExpression(ConstructorCallExpression cce)
  - @Override
    public void visitConstructorCallExpression(ConstructorCallExpression call)
  - @Override
    public void visitConstructorCallExpression(ConstructorCallExpression call)
  - @Override
    public void visitField(FieldNode node)
  - public void visitGenericType(GenericsType genericsType)
  - @Override
    public void visitMethod(MethodNode node)
  - @Override
    public void visitMethodCallExpression(MethodCallExpression mce)
  - @Override
    public void visitProperty(PropertyNode node)
  - @Override
    public void visitReturnStatement(ReturnStatement statement)
  - @Override
    public void visitVariableExpression(VariableExpression ve)
  - @Override
    public void visitVariableExpression(VariableExpression e)
  - @Override
    public void visitVariableExpression(VariableExpression e)

Summary:
Nested
Field
Method

| Detail:
Field
Method

[Java] Class Verifier

Nested Class Summary

Field Summary

Methods Summary

Inherited Methods Summary

Field Detail

public static final String DEFAULT_PARAMETER_GENERATED

public static final String INITIAL_EXPRESSION

public static final String STATIC_METACLASS_BOOL

public static final String SWAP_INIT

public static final String __TIMESTAMP

public static final String __TIMESTAMP__

Method Detail

protected void addClosureCode(InnerClassNode node)

protected void addConstructor(Parameter[] newParams, ConstructorNode ctor, Statement code, ClassNode type)

protected void addCovariantMethods(ClassNode classNode)

protected void addDefaultConstructor(ClassNode node)

protected void addDefaultParameterConstructors(ClassNode type)

protected void addDefaultParameterMethods(ClassNode type)

protected void addDefaultParameters(List<? extends MethodNode> methods, Verifier.DefaultArgsAction action)

protected void addDefaultParameters(Verifier.DefaultArgsAction action, MethodNode method)

protected void addFieldInitialization(List list, List staticList, FieldNode fieldNode, boolean isEnumClassNode, List initStmtsAfterEnumValuesInit, Set explicitStaticPropsInEnum)

protected void addGroovyObjectInterfaceAndMethods(ClassNode node, String classInternalName)

protected void addInitialization(ClassNode node)

protected void addInitialization(ClassNode node, ConstructorNode constructorNode)

protected MethodNode addMethod(ClassNode node, boolean shouldBeSynthetic, String name, int modifiers, ClassNode returnType, Parameter[] parameters, ClassNode[] exceptions, Statement code)

@Deprecatedprotected void addMethod$$bridge(ClassNode node, boolean shouldBeSynthetic, String name, int modifiers, ClassNode returnType, Parameter[] parameters, ClassNode[] exceptions, Statement code)

protected void addPropertyMethod(MethodNode method)

protected void addReturnIfNeeded(MethodNode node)

@Deprecated(since = "2.4.0")protected void addTimeStamp(ClassNode node)

public static String capitalize(String name)

protected Statement createGetterBlock(PropertyNode propertyNode, FieldNode field)

protected Statement createSetterBlock(PropertyNode propertyNode, FieldNode field)

public ClassNode getClassNode()

protected VariableNotFinalCallback getFinalVariablesCallback()

public MethodNode getMethodNode()

public static long getTimestamp(Class<?> clazz)

public static Long getTimestampFromFieldName(String fieldName)

protected void setClassNode(ClassNode classNode)

public static ConstantExpression transformToPrimitiveConstantIfPossible(ConstantExpression constantExpression)

@Overridepublic void variableNotAlwaysInitialized(VariableExpression var)

@Overridepublic void variableNotFinal(Variable var, Expression bexp)

@Overridepublic void visit(org.objectweb.asm.MethodVisitor mv)

@Overridepublic void visit(org.objectweb.asm.MethodVisitor mv)

@Overridepublic void visit(org.objectweb.asm.MethodVisitor mv)

@Overridepublic void visit(org.objectweb.asm.MethodVisitor mv)

@Overridepublic void visit(org.objectweb.asm.MethodVisitor mv)

@Overridepublic void visit(org.objectweb.asm.MethodVisitor mv)

@Overridepublic void visit(org.objectweb.asm.MethodVisitor mv)

@Overridepublic void visitClass(ClassNode node)

@Overridepublic void visitClosureExpression(ClosureExpression expression)

@Overridepublic void visitClosureExpression(ClosureExpression ce)

@Overridepublic void visitClosureExpression(ClosureExpression e)

@Overridepublic void visitConstructor(ConstructorNode node)

@Overridepublic void visitConstructorCallExpression(ConstructorCallExpression cce)

@Overridepublic void visitConstructorCallExpression(ConstructorCallExpression call)

@Overridepublic void visitConstructorCallExpression(ConstructorCallExpression call)

@Overridepublic void visitField(FieldNode node)

public void visitGenericType(GenericsType genericsType)

@Overridepublic void visitMethod(MethodNode node)

@Overridepublic void visitMethodCallExpression(MethodCallExpression mce)

@Overridepublic void visitProperty(PropertyNode node)

@Overridepublic void visitReturnStatement(ReturnStatement statement)

@Overridepublic void visitVariableExpression(VariableExpression ve)

@Overridepublic void visitVariableExpression(VariableExpression e)

@Overridepublic void visitVariableExpression(VariableExpression e)

public static final String TIMESTAMP

@Deprecated
protected void addMethod$$bridge(ClassNode node, boolean shouldBeSynthetic, String name, int modifiers, ClassNode returnType, Parameter[] parameters, ClassNode[] exceptions, Statement code)

@Deprecated(since = "2.4.0")
protected void addTimeStamp(ClassNode node)

@Override
public void variableNotAlwaysInitialized(VariableExpression var)

@Override
public void variableNotFinal(Variable var, Expression bexp)

@Override
public void visit(org.objectweb.asm.MethodVisitor mv)

@Override
public void visit(org.objectweb.asm.MethodVisitor mv)

@Override
public void visit(org.objectweb.asm.MethodVisitor mv)

@Override
public void visit(org.objectweb.asm.MethodVisitor mv)

@Override
public void visit(org.objectweb.asm.MethodVisitor mv)

@Override
public void visit(org.objectweb.asm.MethodVisitor mv)

@Override
public void visit(org.objectweb.asm.MethodVisitor mv)

@Override
public void visitClass(ClassNode node)

@Override
public void visitClosureExpression(ClosureExpression expression)

@Override
public void visitClosureExpression(ClosureExpression ce)

@Override
public void visitClosureExpression(ClosureExpression e)

@Override
public void visitConstructor(ConstructorNode node)

@Override
public void visitConstructorCallExpression(ConstructorCallExpression cce)

@Override
public void visitConstructorCallExpression(ConstructorCallExpression call)

@Override
public void visitConstructorCallExpression(ConstructorCallExpression call)

@Override
public void visitField(FieldNode node)

@Override
public void visitMethod(MethodNode node)

@Override
public void visitMethodCallExpression(MethodCallExpression mce)

@Override
public void visitProperty(PropertyNode node)

@Override
public void visitReturnStatement(ReturnStatement statement)

@Override
public void visitVariableExpression(VariableExpression ve)

@Override
public void visitVariableExpression(VariableExpression e)

@Override
public void visitVariableExpression(VariableExpression e)