proguard.classfile.attribute.preverification.visitor
Interface VerificationTypeVisitor

All Known Implementing Classes:

ClassCleaner, ClassPrinter, CodeAttributeComposer, CodeAttributeEditor, ConstantPoolRemapper, ProgramClassReader, ShortestUsageMarker

public interface VerificationTypeVisitor

This interface specifies the methods for a visitor of VerificationType objects. There a methods for stack entries and methods for variable entries.

Method Summary

void	visitDoubleType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, DoubleType doubleType)
void	visitFloatType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, FloatType floatType)
void	visitIntegerType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, IntegerType integerType)
void	visitLongType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, LongType longType)
void	visitNullType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, NullType nullType)
void	visitObjectType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, ObjectType objectType)
void	visitStackDoubleType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, DoubleType doubleType)
void	visitStackFloatType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, FloatType floatType)
void	visitStackIntegerType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, IntegerType integerType)
void	visitStackLongType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, LongType longType)
void	visitStackNullType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, NullType nullType)
void	visitStackObjectType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, ObjectType objectType)
void	visitStackTopType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, TopType topType)
void	visitStackUninitializedThisType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, UninitializedThisType uninitializedThisType)
void	visitStackUninitializedType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, UninitializedType uninitializedType)
void	visitTopType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, TopType topType)
void	visitUninitializedThisType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, UninitializedThisType uninitializedThisType)
void	visitUninitializedType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, UninitializedType uninitializedType)
void	visitVariablesDoubleType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, DoubleType doubleType)
void	visitVariablesFloatType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, FloatType floatType)
void	visitVariablesIntegerType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, IntegerType integerType)
void	visitVariablesLongType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, LongType longType)
void	visitVariablesNullType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, NullType nullType)
void	visitVariablesObjectType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, ObjectType objectType)
void	visitVariablesTopType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, TopType topType)
void	visitVariablesUninitializedThisType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, UninitializedThisType uninitializedThisType)
void	visitVariablesUninitializedType(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, int index, UninitializedType uninitializedType)

Method Detail

visitIntegerType

void visitIntegerType(Clazz clazz,
                      Method method,
                      CodeAttribute codeAttribute,
                      int offset,
                      IntegerType integerType)

visitFloatType

void visitFloatType(Clazz clazz,
                    Method method,
                    CodeAttribute codeAttribute,
                    int offset,
                    FloatType floatType)

visitLongType

void visitLongType(Clazz clazz,
                   Method method,
                   CodeAttribute codeAttribute,
                   int offset,
                   LongType longType)

visitDoubleType

void visitDoubleType(Clazz clazz,
                     Method method,
                     CodeAttribute codeAttribute,
                     int offset,
                     DoubleType doubleType)

visitTopType

void visitTopType(Clazz clazz,
                  Method method,
                  CodeAttribute codeAttribute,
                  int offset,
                  TopType topType)

visitObjectType

void visitObjectType(Clazz clazz,
                     Method method,
                     CodeAttribute codeAttribute,
                     int offset,
                     ObjectType objectType)

visitNullType

void visitNullType(Clazz clazz,
                   Method method,
                   CodeAttribute codeAttribute,
                   int offset,
                   NullType nullType)

visitUninitializedType

void visitUninitializedType(Clazz clazz,
                            Method method,
                            CodeAttribute codeAttribute,
                            int offset,
                            UninitializedType uninitializedType)

visitUninitializedThisType

void visitUninitializedThisType(Clazz clazz,
                                Method method,
                                CodeAttribute codeAttribute,
                                int offset,
                                UninitializedThisType uninitializedThisType)

visitStackIntegerType

void visitStackIntegerType(Clazz clazz,
                           Method method,
                           CodeAttribute codeAttribute,
                           int offset,
                           int index,
                           IntegerType integerType)

visitStackFloatType

void visitStackFloatType(Clazz clazz,
                         Method method,
                         CodeAttribute codeAttribute,
                         int offset,
                         int index,
                         FloatType floatType)

visitStackLongType

void visitStackLongType(Clazz clazz,
                        Method method,
                        CodeAttribute codeAttribute,
                        int offset,
                        int index,
                        LongType longType)

visitStackDoubleType

void visitStackDoubleType(Clazz clazz,
                          Method method,
                          CodeAttribute codeAttribute,
                          int offset,
                          int index,
                          DoubleType doubleType)

visitStackTopType

void visitStackTopType(Clazz clazz,
                       Method method,
                       CodeAttribute codeAttribute,
                       int offset,
                       int index,
                       TopType topType)

visitStackObjectType

void visitStackObjectType(Clazz clazz,
                          Method method,
                          CodeAttribute codeAttribute,
                          int offset,
                          int index,
                          ObjectType objectType)

visitStackNullType

void visitStackNullType(Clazz clazz,
                        Method method,
                        CodeAttribute codeAttribute,
                        int offset,
                        int index,
                        NullType nullType)

visitStackUninitializedType

void visitStackUninitializedType(Clazz clazz,
                                 Method method,
                                 CodeAttribute codeAttribute,
                                 int offset,
                                 int index,
                                 UninitializedType uninitializedType)

visitStackUninitializedThisType

void visitStackUninitializedThisType(Clazz clazz,
                                     Method method,
                                     CodeAttribute codeAttribute,
                                     int offset,
                                     int index,
                                     UninitializedThisType uninitializedThisType)

visitVariablesIntegerType

void visitVariablesIntegerType(Clazz clazz,
                               Method method,
                               CodeAttribute codeAttribute,
                               int offset,
                               int index,
                               IntegerType integerType)

visitVariablesFloatType

void visitVariablesFloatType(Clazz clazz,
                             Method method,
                             CodeAttribute codeAttribute,
                             int offset,
                             int index,
                             FloatType floatType)

visitVariablesLongType

void visitVariablesLongType(Clazz clazz,
                            Method method,
                            CodeAttribute codeAttribute,
                            int offset,
                            int index,
                            LongType longType)

visitVariablesDoubleType

void visitVariablesDoubleType(Clazz clazz,
                              Method method,
                              CodeAttribute codeAttribute,
                              int offset,
                              int index,
                              DoubleType doubleType)

visitVariablesTopType

void visitVariablesTopType(Clazz clazz,
                           Method method,
                           CodeAttribute codeAttribute,
                           int offset,
                           int index,
                           TopType topType)

visitVariablesObjectType

void visitVariablesObjectType(Clazz clazz,
                              Method method,
                              CodeAttribute codeAttribute,
                              int offset,
                              int index,
                              ObjectType objectType)

visitVariablesNullType

void visitVariablesNullType(Clazz clazz,
                            Method method,
                            CodeAttribute codeAttribute,
                            int offset,
                            int index,
                            NullType nullType)

visitVariablesUninitializedType

void visitVariablesUninitializedType(Clazz clazz,
                                     Method method,
                                     CodeAttribute codeAttribute,
                                     int offset,
                                     int index,
                                     UninitializedType uninitializedType)

visitVariablesUninitializedThisType

void visitVariablesUninitializedThisType(Clazz clazz,
                                         Method method,
                                         CodeAttribute codeAttribute,
                                         int offset,
                                         int index,
                                         UninitializedThisType uninitializedThisType)