Package org.codehaus.groovy.classgen

Class Verifier

java.lang.Object

org.codehaus.groovy.classgen.Verifier

All Implemented Interfaces:

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

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

Modifier and Type	Class	Description
static interface	Verifier.DefaultArgsAction

Field Summary

Fields

Modifier and Type	Field	Description
static String	__TIMESTAMP
static String	__TIMESTAMP__
static String	DEFAULT_PARAMETER_GENERATED
static String	INITIAL_EXPRESSION
static String	STATIC_METACLASS_BOOL
static String	SWAP_INIT

Fields inherited from interface org.objectweb.asm.Opcodes

AALOAD, AASTORE, ACC_ABSTRACT, ACC_ANNOTATION, ACC_BRIDGE, ACC_DEPRECATED, ACC_ENUM, ACC_FINAL, ACC_INTERFACE, ACC_MANDATED, ACC_MODULE, ACC_NATIVE, ACC_OPEN, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_RECORD, ACC_STATIC, ACC_STATIC_PHASE, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_TRANSITIVE, ACC_VARARGS, ACC_VOLATILE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, ARRAYLENGTH, ASM10_EXPERIMENTAL, ASM4, ASM5, ASM6, ASM7, ASM8, ASM9, ASTORE, ATHROW, BALOAD, BASTORE, BIPUSH, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD, DMUL, DNEG, DOUBLE, DREM, DRETURN, DSTORE, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, F_APPEND, F_CHOP, F_FULL, F_NEW, F_SAME, F_SAME1, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD, FLOAT, FMUL, FNEG, FREM, FRETURN, FSTORE, FSUB, GETFIELD, GETSTATIC, GOTO, H_GETFIELD, H_GETSTATIC, H_INVOKEINTERFACE, H_INVOKESPECIAL, H_INVOKESTATIC, H_INVOKEVIRTUAL, H_NEWINVOKESPECIAL, H_PUTFIELD, H_PUTSTATIC, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD, IMUL, INEG, INSTANCEOF, INTEGER, INVOKEDYNAMIC, INVOKEINTERFACE, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC, LDIV, LLOAD, LMUL, LNEG, LONG, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSUB, LUSHR, LXOR, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, NULL, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SIPUSH, SOURCE_DEPRECATED, SOURCE_MASK, SWAP, T_BOOLEAN, T_BYTE, T_CHAR, T_DOUBLE, T_FLOAT, T_INT, T_LONG, T_SHORT, TABLESWITCH, TOP, UNINITIALIZED_THIS, V_PREVIEW, V1_1, V1_2, V1_3, V1_4, V1_5, V1_6, V1_7, V1_8, V10, V11, V12, V13, V14, V15, V16, V17, V18, V9

Constructor Summary

Constructors

Constructor	Description
Verifier()

Method Summary

Modifier and Type	Method	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)	Deprecated.
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)
ClassNode	getClassNode()
protected FinalVariableAnalyzer.VariableNotFinalCallback	getFinalVariablesCallback()
MethodNode	getMethodNode()
static long	getTimestamp(Class<?> clazz)
static Long	getTimestampFromFieldName(String fieldName)
protected void	setClassNode(ClassNode classNode)
static ConstantExpression	transformToPrimitiveConstantIfPossible(ConstantExpression constantExpression)	When constant expressions are created, the value is always wrapped to a non primitive type.
void	visitClass(ClassNode node)	Visit a ClassNode.
void	visitConstructor(ConstructorNode node)	Visit a ConstructorNode.
void	visitField(FieldNode node)	Visit a FieldNode.
void	visitGenericType(GenericsType genericsType)
void	visitMethod(MethodNode node)	Visit a MethodNode.
void	visitProperty(PropertyNode node)	Visit a PropertyNode.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

SWAP_INIT

public static final String SWAP_INIT

See Also:

Constant Field Values

STATIC_METACLASS_BOOL

public static final String STATIC_METACLASS_BOOL

See Also:

Constant Field Values

INITIAL_EXPRESSION

public static final String INITIAL_EXPRESSION

See Also:

Constant Field Values

DEFAULT_PARAMETER_GENERATED

public static final String DEFAULT_PARAMETER_GENERATED

See Also:

Constant Field Values

__TIMESTAMP

public static final String __TIMESTAMP

See Also:

Constant Field Values

__TIMESTAMP__

public static final String __TIMESTAMP__

See Also:

Constant Field Values

Constructor Details

Verifier

public Verifier()

Method Details

getClassNode

public ClassNode getClassNode()

setClassNode

protected void setClassNode(ClassNode classNode)

getMethodNode

public MethodNode getMethodNode()

visitClass

public void visitClass(ClassNode node)

Description copied from interface: GroovyClassVisitor

Visit a ClassNode.

Specified by:

visitClass in interface GroovyClassVisitor

getFinalVariablesCallback

protected FinalVariableAnalyzer.VariableNotFinalCallback getFinalVariablesCallback()

addDefaultConstructor

protected void addDefaultConstructor(ClassNode node)

addGroovyObjectInterfaceAndMethods

protected void addGroovyObjectInterfaceAndMethods(ClassNode node, String classInternalName)

addMethod

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.

addMethod$$bridge

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

addTimeStamp

@Deprecated protected void addTimeStamp(ClassNode node)

Deprecated.

visitConstructor

public void visitConstructor(ConstructorNode node)

Description copied from interface: GroovyClassVisitor

Visit a ConstructorNode.

Specified by:

visitConstructor in interface GroovyClassVisitor

visitMethod

public void visitMethod(MethodNode node)

Description copied from interface: GroovyClassVisitor

Visit a MethodNode.

Specified by:

visitMethod in interface GroovyClassVisitor

addReturnIfNeeded

protected void addReturnIfNeeded(MethodNode node)

visitField

public void visitField(FieldNode node)

Description copied from interface: GroovyClassVisitor

Visit a FieldNode.

Specified by:

visitField in interface GroovyClassVisitor

visitProperty

public void visitProperty(PropertyNode node)

Description copied from interface: GroovyClassVisitor

Visit a PropertyNode.

Specified by:

visitProperty in interface GroovyClassVisitor

addPropertyMethod

protected void addPropertyMethod(MethodNode method)

addDefaultParameterMethods

protected void addDefaultParameterMethods(ClassNode type)

Creates a new method for each combination of default parameter expressions.

addDefaultParameterConstructors

protected void addDefaultParameterConstructors(ClassNode type)

Creates a new constructor for each combination of default parameter expressions.

addConstructor

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

addDefaultParameters

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

Creates a new helper method for each combination of default parameter expressions.

addDefaultParameters

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

addClosureCode

protected void addClosureCode(InnerClassNode node)

addInitialization

protected void addInitialization(ClassNode node)

addInitialization

protected void addInitialization(ClassNode node, ConstructorNode constructorNode)

addFieldInitialization

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

capitalize

public static String capitalize(String name)

Capitalizes the start of the given bean property name.

createGetterBlock

protected Statement createGetterBlock(PropertyNode propertyNode, FieldNode field)

createSetterBlock

protected Statement createSetterBlock(PropertyNode propertyNode, FieldNode field)

visitGenericType

public void visitGenericType(GenericsType genericsType)

getTimestampFromFieldName

public static Long getTimestampFromFieldName(String fieldName)

getTimestamp

public static long getTimestamp(Class<?> clazz)

addCovariantMethods

protected void addCovariantMethods(ClassNode classNode)

transformToPrimitiveConstantIfPossible

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.