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 java.lang.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

  • Field Details

    • SWAP_INIT

      public static final java.lang.String SWAP_INIT
      See Also:
      Constant Field Values

    • STATIC_METACLASS_BOOL

      public static final java.lang.String STATIC_METACLASS_BOOL
      See Also:
      Constant Field Values

    • INITIAL_EXPRESSION

      public static final java.lang.String INITIAL_EXPRESSION
      See Also:
      Constant Field Values

    • DEFAULT_PARAMETER_GENERATED

      public static final java.lang.String DEFAULT_PARAMETER_GENERATED
      See Also:
      Constant Field Values

    • __TIMESTAMP

      public static final java.lang.String __TIMESTAMP
      See Also:
      Constant Field Values

    • __TIMESTAMP__

      public static final java.lang.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, java.lang.String classInternalName)

    • addMethod

      protected MethodNode addMethod​(ClassNode node, boolean shouldBeSynthetic, java.lang.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, java.lang.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​(java.util.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​(java.util.List list, java.util.List staticList, FieldNode fieldNode, boolean isEnumClassNode, java.util.List initStmtsAfterEnumValuesInit, java.util.Set explicitStaticPropsInEnum)

    • capitalize

      public static java.lang.String capitalize​(java.lang.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 java.lang.Long getTimestampFromFieldName​(java.lang.String fieldName)

    • getTimestamp

      public static long getTimestamp​(java.lang.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.