java.lang.Object

org.codehaus.groovy.ast.CodeVisitorSupport

org.codehaus.groovy.classgen.VerifierCodeVisitor

All Implemented Interfaces:: GroovyCodeVisitor, org.objectweb.asm.Opcodes

public class VerifierCodeVisitor extends CodeVisitorSupport implements org.objectweb.asm.Opcodes

Performs various checks on code inside methods and constructors including checking for valid field, variables names etc. that would otherwise lead to invalid code.

Author:: James Strachan

Field Summary

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
Method Summary

Modifier and Type

Method

Description

static void

assertValidIdentifier(String name, String message, ASTNode node)

void

visitConstructorCallExpression(ConstructorCallExpression call)

void

visitFieldExpression(FieldExpression expression)

void

visitForLoop(ForStatement expression)

void

visitListExpression(ListExpression expression)

void

visitVariableExpression(VariableExpression expression)

Methods inherited from class org.codehaus.groovy.ast.CodeVisitorSupport
visitArgumentlistExpression, visitArrayExpression, visitAssertStatement, visitAttributeExpression, visitBinaryExpression, visitBitwiseNegationExpression, visitBlockStatement, visitBooleanExpression, visitBreakStatement, visitBytecodeExpression, visitCaseStatement, visitCastExpression, visitCatchStatement, visitClassExpression, visitClosureExpression, visitClosureListExpression, visitConstantExpression, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitEmptyStatement, visitExpressionStatement, visitGStringExpression, visitIfElse, visitListOfExpressions, visitMapEntryExpression, visitMapExpression, visitMethodCallExpression, visitMethodPointerExpression, visitNotExpression, visitPostfixExpression, visitPrefixExpression, visitPropertyExpression, visitRangeExpression, visitReturnStatement, visitShortTernaryExpression, visitSpreadExpression, visitSpreadMapExpression, visitStaticMethodCallExpression, visitSwitch, visitSynchronizedStatement, visitTernaryExpression, visitThrowStatement, visitTryCatchFinally, visitTupleExpression, visitUnaryMinusExpression, visitUnaryPlusExpression, visitWhileLoop

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- visitForLoop
  
  public void visitForLoop(ForStatement expression)
  
  Specified by:
  
  visitForLoop in interface GroovyCodeVisitor
  
  Overrides:
  
  visitForLoop in class CodeVisitorSupport
- visitFieldExpression
  
  public void visitFieldExpression(FieldExpression expression)
  
  Specified by:
  
  visitFieldExpression in interface GroovyCodeVisitor
  
  Overrides:
  
  visitFieldExpression in class CodeVisitorSupport
- visitVariableExpression
  
  public void visitVariableExpression(VariableExpression expression)
  
  Specified by:
  
  visitVariableExpression in interface GroovyCodeVisitor
  
  Overrides:
  
  visitVariableExpression in class CodeVisitorSupport
- visitListExpression
  
  public void visitListExpression(ListExpression expression)
  
  Specified by:
  
  visitListExpression in interface GroovyCodeVisitor
  
  Overrides:
  
  visitListExpression in class CodeVisitorSupport
- visitConstructorCallExpression
  
  public void visitConstructorCallExpression(ConstructorCallExpression call)
  
  Specified by:
  
  visitConstructorCallExpression in interface GroovyCodeVisitor
  
  Overrides:
  
  visitConstructorCallExpression in class CodeVisitorSupport
- assertValidIdentifier
  
  public static void assertValidIdentifier(String name, String message, ASTNode node)

Class VerifierCodeVisitor

Field Summary

Fields inherited from interface org.objectweb.asm.Opcodes

Method Summary

Methods inherited from class org.codehaus.groovy.ast.CodeVisitorSupport

Methods inherited from class java.lang.Object

Method Details

visitForLoop

visitFieldExpression

visitVariableExpression

visitListExpression

visitConstructorCallExpression

assertValidIdentifier