Package org.codehaus.groovy.classgen
Class Verifier
java.lang.Object
org.codehaus.groovy.classgen.Verifier
- All Implemented Interfaces:
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
- Methods needed to implement GroovyObject
- Property accessor methods
- Covariant methods
- Additional methods/constructors as needed for default parameters
-
Nested Class Summary
-
Field Summary
Modifier and TypeFieldDescriptionstatic final String
static final String
static final String
static final String
static final String
static final String
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, V19, V20, V9
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
addClosureCode
(InnerClassNode node) protected void
addConstructor
(Parameter[] newParams, ConstructorNode ctor, Statement code, ClassNode node) protected void
addCovariantMethods
(ClassNode classNode) protected void
protected void
protected void
Creates a new helper method for each combination of default parameter expressionsprotected void
addDefaultParameters
(List methods, Verifier.DefaultArgsAction action) Creates a new helper method for each combination of default parameter expressionsprotected 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 void
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
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 nameprotected Statement
createGetterBlock
(PropertyNode propertyNode, FieldNode field) protected Statement
createSetterBlock
(PropertyNode propertyNode, FieldNode field) static long
getTimestamp
(Class clazz) 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) walk the classvoid
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.
-
Field Details
-
STATIC_METACLASS_BOOL
- See Also:
-
SWAP_INIT
- See Also:
-
INITIAL_EXPRESSION
- See Also:
-
DEFAULT_PARAMETER_GENERATED
- See Also:
-
__TIMESTAMP
- See Also:
-
__TIMESTAMP__
- See Also:
-
-
Constructor Details
-
Verifier
public Verifier()
-
-
Method Details
-
getClassNode
-
setClassNode
-
getMethodNode
-
visitClass
walk the class- Specified by:
visitClass
in interfaceGroovyClassVisitor
- Parameters:
node
- the node to visit
-
addDefaultConstructor
-
addGroovyObjectInterfaceAndMethods
-
addMethod
protected void 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. -
addTimeStamp
Deprecated. -
visitConstructor
Description copied from interface:GroovyClassVisitor
Visit a ConstructorNode.- Specified by:
visitConstructor
in interfaceGroovyClassVisitor
-
visitMethod
Description copied from interface:GroovyClassVisitor
Visit a MethodNode.- Specified by:
visitMethod
in interfaceGroovyClassVisitor
-
addReturnIfNeeded
-
visitField
Description copied from interface:GroovyClassVisitor
Visit a FieldNode.- Specified by:
visitField
in interfaceGroovyClassVisitor
-
visitProperty
Description copied from interface:GroovyClassVisitor
Visit a PropertyNode.- Specified by:
visitProperty
in interfaceGroovyClassVisitor
-
addPropertyMethod
-
addDefaultParameterMethods
Creates a new helper method for each combination of default parameter expressions -
addDefaultParameterConstructors
-
addConstructor
protected void addConstructor(Parameter[] newParams, ConstructorNode ctor, Statement code, ClassNode node) -
addDefaultParameters
Creates a new helper method for each combination of default parameter expressions -
addDefaultParameters
-
addClosureCode
-
addInitialization
-
addInitialization
-
addFieldInitialization
-
capitalize
Capitalizes the start of the given bean property name -
createGetterBlock
-
createSetterBlock
-
visitGenericType
-
getTimestamp
-
addCovariantMethods
-
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.
-